【摘 要】
：
本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系
论文部分内容阅读
本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。
其他文献
The determination of structural dynamic stress spectrum distribution is of great significance in the structural fatigue strength evaluation as well as reliabili
We show that any continuously differentiable force is decomposed into the sum of a Rayleigh force and a gyroscopic force. We also extend this result to piecewis
The temporal instability of parallel viscous two-phase mixing layers is extended to current-fluid mud by considering a composite error function velocity profile
<正> 弗兰西斯·培根是“英国唯物主义和整个现代实验科学的真正始祖”。他在人类认识史上的巨大贡献在于,致力于认识论的探讨,提出并解决了若干重要的认识论问题,实现了哲学研究方向的根本转换。关于培根认识论的性质与特点,学术界
<正> 在当代中国,"市场经济乃是法制经济"已成为人们的普遍共识。但是,对社会经济现象与伦理现象之间的关系问题,人们却较少关注。实际上,经济与伦理的关系问题和经济与法的关系问题一样,也是社会关系体系中十分重要而
再说《三国志通俗演义》的“旧本”和小字注问题──答章培恒先生王长友一九七九年，上海古籍出版社排印了嘉靖本《三国志通俗演义》。章培恒先生和马美信先生合写的《前言》，根据嘉靖本中的“今地名”考证出“《三国志通俗演义》似当写于文宗天历二年（一三二九）之前”...
Spread of fire smoke in the elevator shaft of a high-rise building is influenced by many driving facts. We simulate smoke spreading in the elevator shaft,stair
Kinematic dynamo problem is studied with tsunami motion in open oceans.Using long wave approximation,a series solution of the dynamo problem is established with
We address the flow of incompressible fluid with a pressure-dependent viscosity through a pipe with helical shape. The viscosity-pressure relation is defined by
文化转型与教育模式的转换马维娜（一）文化模式与教育模式教育模式问题，是现代中国教育研究的热点与前沿性课题之一。然而，当人们对中国教育的有关理论问题还在争论不休的时候，教育本身已经在悄悄地发生着变革。教育实践呼唤着新的教育理论的指导，但它的变化本身并不...