β-PSML中混合推理算法的正确性证明  

Correctness Proof of the Existential Entailment Algorithm of β-Problem Solver Markup Language

作　　者：苏依拉[1] 

机构地区：[1]内蒙古工业大学信息工程学院,呼和浩特010051

出　　处：《北京工业大学学报》2012年第3期396-400,共5页Journal of Beijing University of Technology

基　　金：内蒙古自治区自然科学基金资助项目(20080404MS0904);内蒙古自治区高等学校科学研究资助项目(NJ09068)

摘　　要：根据已经给出的β-PSML中的混合推理算法,通过结合产生规则,给出了β-PSML中混合推理算法的正确性证明及其复杂性分析.结果表明,在描述逻辑是可确定的情况下,无递归的β-PSML知识库可以提供一个正确和完备的推理算法.Based on the existential entailment algorithm proposed, this paper proves the correctness of the existential entailment algorithm by combining production rules. The algorithm provides a sound and complete inference procedure for nonrecursive β-PSML knowledge base in which the description logic component is confirmable.

关 键 词：分布式问题解决 问题解决标记语言 混合推理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]