β-PSML中混合推理算法的正确性证明
Correctness Proof of the Existential Entailment Algorithm of β-Problem Solver Markup Language作者机构：内蒙古工业大学信息工程学院呼和浩特010051
出 版 物：《北京工业大学学报》 (Journal of Beijing University of Technology)
年 卷 期：2012年第38卷第3期
页 面：396-400页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：内蒙古自治区自然科学基金资助项目(20080404MS0904) 内蒙古自治区高等学校科学研究资助项目(NJ09068)
摘 要：根据已经给出的β-PSML中的混合推理算法,通过结合产生规则,给出了β-PSML中混合推理算法的正确性证明及其复杂性分析.结果表明,在描述逻辑是可确定的情况下,无递归的β-PSML知识库可以提供一个正确和完备的推理算法.
维普期刊数据库
同方期刊数据库