带函数析取逻辑程序的无基集及其应用

• 作者: 刘蕻 原国伟 梅俊杰 王以松
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 析取逻辑程序 回答集 函数 无基集
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 人工智能与模式识别
• 页码范围: 747-755
• 页数: 9页
• 分类号: TP18
• 字数: 8770字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1409065

摘要

基于回答集（也称稳定模型）语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的（Σ2完全的），目前还没有有效的方法来计算带函数析取逻辑程序的回答集，主要原因之一是检查一个集合是否是回答集是coNP完全的。提出了带函数析取逻辑程序无基集（unfounded sets）的概念，发现了空无基集（unfounded-free sets）与稳定模型之间的一一对应关系，在此基础上，证明了一个逻辑程序的模型是该程序的稳定模型当且仅当它们对应的一个命题公式是不可满足的，从而在理论上为计算带函数析取逻辑程序的回答集提供了一种有效的途径。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王以松	贵州大学计算机科学与技术学院	23	51	4.0	5.0
2	梅俊杰	贵州大学计算机科学与技术学院	4	6	1.0	2.0
3	刘蕻	贵州大学计算机科学与技术学院	4	6	1.0	2.0
4	原国伟	贵州大学计算机科学与技术学院	3	3	1.0	1.0