β-PSML语言中的混合推理算法  

The Existential Entailment Algorithm of β-Problem Solver Markup Language

作　　者：苏依拉[1] 刘椿年[2] 

机构地区：[1]内蒙古工业大学信息工程学院,呼和浩特010051 [2]北京工业大学多媒体与智能软件技术北京市重点实验室,北京100124

出　　处：《北京工业大学学报》2010年第10期1413-1417,共5页Journal of Beijing University of Technology

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

摘　　要：研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件.Problem Solver Markup Language constructed by combining OWL and Horn clauses are studied. The existential entailment algorithm for the decidable description logic is described. In a nonrecursive case,it is shown that a single step of applying a Horn clause needs to be replaced by a more sophisticated reasoning step in β-PSML. This step is isolated and referred to as existential entailment. The existential entailment problem is to decide whether the antecedent of a Horn clause,together with a description logic terminology,logically entail the disjunction of the antecedents of a set of Horn clauses.

关 键 词：WEB智能 智慧Web 分布式问题解决 问题解决标记语言 混合推理 

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