描述逻辑程序系统的设计与实现

• 作者: 杨卓群 王以松
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 描述逻辑 逻辑程序 回答集 环公式 可满足性问题(SAT)
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 人工智能与模式识别
• 页码范围: 338-344
• 页数: 7页
• 分类号: TP181
• 字数: 6014字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1306008

摘要

Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序，获得了本体上的非单调表达和推理能力。王以松等人证明了描述逻辑程序的完备化和环公式可以精确刻画描述逻辑程序的回答集。在此基础上，进一步证明了若完备化公式的模型不是回答集则一定存在终止环公式反例，它们是多项式时间可计算的。设计并实现了借助SAT求解器MiniSAT以及描述逻辑推理机RacerPro计算描述逻辑强回答集的原型DLP_SAT。实验结果表明，该原型能有效地计算一些熟知的描述逻辑程序的强回答集。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨卓群	贵州大学计算机科学与技术学院	3	9	2.0	3.0
2	王以松	贵州大学计算机科学与技术学院	23	51	4.0	5.0