| 带函数析取逻辑程序的无基集及其应用 |
| |
| 引用本文： | 梅俊杰,刘蕻,原国伟,王以松.带函数析取逻辑程序的无基集及其应用[J].计算机科学与探索,2015(6). |
| |
| 作者姓名： | 梅俊杰 刘蕻 原国伟 王以松 |
| |
| 作者单位： | 贵州大学 计算机科学与技术学院,贵阳,550025 |
| |
| 摘 要： | 基于回答集（也称稳定模型）语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的（Σ2完全的），目前还没有有效的方法来计算带函数析取逻辑程序的回答集，主要原因之一是检查一个集合是否是回答集是coNP完全的。提出了带函数析取逻辑程序无基集（unfounded sets）的概念，发现了空无基集（unfounded-free sets）与稳定模型之间的一一对应关系，在此基础上，证明了一个逻辑程序的模型是该程序的稳定模型当且仅当它们对应的一个命题公式是不可满足的，从而在理论上为计算带函数析取逻辑程序的回答集提供了一种有效的途径。
|
| 关 键 词： | 析取逻辑程序 回答集 函数 无基集 |
Unfounded Sets and Its Application for Disjunctive Logic Programs with Functions |
| |
| MEI Junjie,LIU Hong,YUAN Guowei,WANG Yisong.Unfounded Sets and Its Application for Disjunctive Logic Programs with Functions[J].Journal of Frontier of Computer Science and Technology,2015(6). |
| |
| Authors: | MEI Junjie LIU Hong YUAN Guowei WANG Yisong |
| |
| Abstract: | |
| |
| Keywords: | disjunctive logic program answer set function unfounded set |
| 本文献已被 万方数据 等数据库收录！ |
