高级检索
检索提示：高级检索多个条件检索时是按照顺序运算的：如 A或B与C 即:(A或B)与C
[期刊论文]
β-PSML语言中的混合推理算法
作者：
收录：
摘要：
研究了由描述逻辑和Horn子句组成的β-PSML语言逻辑基础的理论问题,给出了基于可确定描述逻辑的混合推理算法.在无递归情况下,β-PSML语言中单步的Horn子句推理需要由一个更为复杂的推理步骤所取代,称这个推理步骤为份PSML语言中的混合推理.β-PSML语言中的混合推理问题可以描述为:通过结合Horn子句的前件与描述逻辑的术语是否可以推导出Horn子句集中一些Horn子句的前件.
关键词：
作者机构：
通讯作者信息：
电子邮件地址：
相关关键词：
相关文章：
2011，北京工业大学学报
2005，北京工业大学学报
2005，计算机工程
来源 ：
北京工业大学学报
ISSN： 0254-0037
年份： 2010
期： 10
卷： 36
页码： 1413-1417
被引次数：
WoS核心集被引频次： 0
SCOPUS被引频次：
ESI高被引论文在榜： 0 展开所有
万方被引频次： 1
中文被引频次：
近30日浏览量： 2
归属院系：
全文获取
外部链接：
