开放逻辑及其实现技术

来源 :北京航空航天大学学报 | 被引量 : 0次 | 上传用户:xiaogui999
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩充,使得假设演算中所构造的删除规则集是完备的;并说明了对任一语句的可判定性。为便于机器实现,文中引入了删除推演序列的概念;并给出了如何构造删除规则的与或树以及如何生成删除推演序列的步骤。最后,讨论了开放逻辑系统的具体实现技术。
其他文献
70年代初,Miele A等人提出SGRA方法用于优化飞行轨迹计算。但方法存在时间加权系数难于确定、长时间的飞行轨迹计算积分精度不易控制及要计算数字微分等不足。对此提出一改进
使用面向对象风范作出的软件产品能很容易地体现软件工程软件质量保证的诸原则。倡导基于Ada的面向对象的程序设计是一个正确的方向。因为Ada不是一个面向对象的编程语言,使
本文指出,现代农业面临新的社会经济环境,农业的功能、效用需要拓展和创新。并对现代农业表现出来的新功能,诸如能源保障功能、生态建设和环境保护功能、旅游观光和休闲功能及文
本文利用Lyapunov-Schmidt约化方法、奇异性理论及摄动方法,对服从Cahn-Hilliard广义扩散定律的带有Schlgl反应项的Cahn-Hilliard-Schlgl反应-扩散方程的分叉情况进行了研究
当前普遍采用的泰沙基极限承载力公式并未提供Nγ的解析解并且Nc的解析式有误。针对以上情况,根据地基土的极限平衡原理研究了条形基础泰沙基极限承载力系数,首次得到一般条
进一步研究了先复制后移位桥函数的性质,例如递推关系式、数学表达式、乘积特性及正交条件。同时,还给出了几组完备的正交函数系。
通过实例,详细介绍了粘土夹杂大量砂礓的特殊地质堤坝防渗处理方案的比选,及高压摆喷注浆法施工工艺在此类地层中的成功应用,为类似地质工程的防渗处理提供一种很成功的施工工艺
首先讨论了当前演绎数据库的数据模型,并在关系模型的基础上构造了演绎数据库的扩充关系模型,使逻辑与数据库操作一体化,最后介绍了基于该模型的系统设计原理及实现方法。该
提出了一种新的圆弧插补算法——角度逼近法。分析了该算法的计算精度,并将该算法与其他圆弧插补算法进行了比较。