β-PSML语言中的混合推理算法
研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为份PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件.
Web智能、智慧Web、分布式问题解决、问题解决标记语言、混合推理
36
TP311(计算技术、计算机技术)
内蒙古自治区自然科学基金资助项目20080404MS0904;内蒙古自治区高等学校科学研究资助项目NJ09068;内蒙古工业大学科学研究资助项目ZD200801
2011-01-24（万方平台首次上网日期，不代表论文的发表时间）
1413-1417
