论文部分内容阅读
Reiter的缺省逻辑的一个缺陷是不能分情形进行推理，为了克服Reiter扩充的这一缺陷，Roos提出了缺省扩充的一种修正定义来解决这一问题。文中将讨论Roos扩充类似于Reiter扩充的一些性质，发现Reiter扩充的一些性质对Roos扩充不再成立，并指出它们的不同。
缺省逻辑的Roos扩充
【摘 要】
：
Reiter的缺省逻辑的一个缺陷是不能分情形进行推理，为了克服Reiter扩充的这一缺陷，Roos提出了缺省扩充的一种修正定义来解决这一问题。文中将讨论Roos扩充类似于Reiter扩充的一
【机 构】
：
青海民族学院数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年14期
其他文献
叙述了采用反相高效液相色谱外标法，以甲醇-水作为流动相，用C18柱和紫外检测器（254nm），测定了15％磺草酮水剂的含量。结果表明：方法的标准偏差为0．072，变异系数为0．47％，平均回收率为99．76％，线
物理试验中经常要求平均值,为了解决在不同实验中平均值的求法,根据实际问题阐明了几种常用求平均值的方法,可以灵活掌握和应用,在试验中快速求出平均值。
OA的出现对传统的信息传播方式产生了重大影响,从OA的价值与利用现状入手,分析了OA在增加信源、扩展信道、增加信宿的可选面、改善信宿的反馈效率和在降低信息噪音方面的作用
介绍了75％吡虫啉水分散粒剂的研制，包括配方筛选和性能测试等，该制剂既环保又安全。
近日，安徽在全国率先出台《低碳技术规划纲要》，重点支持建设合芜蚌滁四大各具特色的低碳技术创新基地，将低碳经济作为新的经济增长点。
地名辞典服务是一个面向大众的、以地名搜索空间信息的GIS服务。为了提高地名辞典服务的互操作性和可扩展性，改善Internet上地名辞典服务的效率和质量，研究了基于Web services