论文部分内容阅读
引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.
子句型缺省逻辑中的分情形推理
【摘 要】
：
引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的
【机 构】
：
南京大学数学系,贵州科学院
【出 处】
：
软件学报
【发表日期】
：
2001年8期
其他文献
量子力学中用波函数全面地描述了微观粒子的运动状态，但它并不能作为量子力学中的力学量，于是又引进了算符这一非常重要的基本概念。正确理解和计算力学量的确定值、可能值和平
封闭带毒素(ZOT)是霍乱弧菌编码的第二个毒素,相对分子质量约45 000.zot基因位于鞭毛噬菌体CTXφ基因组中.ZOT通过激活复杂的细胞间一系列级联反应来调节紧密排列的上皮细胞
基于组件的软件开发(component-based software development,简称CBSD)现已成为软件开发的主流范型之一,其关心的核心问题是组件标准化与组件间的互操作性.它在互操作方面被
恶性转化试验及在其基础上建立起来的相关试验体系是当前用于环境致癌因素检测的主要手段.本文以各种试验方法为核心,以试验中应用的靶材料为依据,从体内、体外两个方面,对现
使用支持向量机理论计算海量数据的支持向量是相当困难的.为了解决这个问题,提出了基于邻域原理计算支持向量的方法.在对支持向量机原理与邻域原理比较分析的基础上讨论了以
可视化编程环境的出现给人机界面的开发带来了巨大的变化,使人机界面的实现可以通过可视化操作,以'所见即所得'的方式进行定制,并在环境的支持下生成程序代码.这种变