|
|||||
|
|
| β-PSML语言中的混合推理算法 | |
| 引用本文： | 苏依拉,刘椿年.β-PSML语言中的混合推理算法[J].北京工业大学学报,2010,36(10). |
| 作者姓名： | 苏依拉 刘椿年 |
| 作者单位： | 内蒙古工业大学,信息工程学院,呼和浩特,010051;北京工业大学,多媒体与智能软件技术北京市重点实验室,北京,100124 |
| 基金项目： | 内蒙古自治区自然科学基金资助项目，内蒙古自治区高等学校科学研究资助项目，内蒙古工业大学科学研究资助项目 |
| 摘 要： | 研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为β-PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件. |
| 关 键 词： | Web智能 智慧Web 分布式问题解决 问题解决标记语言 混合推理 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |