• 人工智能与模式识别 •

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

1. 贵州大学 计算机科学与技术学院，贵阳 550025
• 出版日期:2015-06-01 发布日期:2015-06-04

### Unfounded Sets and Its Application for Disjunctive Logic Programs with Functions

MEI Junjie, LIU Hong, YUAN Guowei, WANG Yisong+

1. College of Computer Science and Technology, Guizhou University, Guiyang 550025, China
• Online:2015-06-01 Published:2015-06-04

Abstract: Under answer sets (stable models) semantics, disjunctive logic programming with functions provides an important knowledge representation and reasoning method. As it is difficult (Σ2-complete) to determine whether the disjunctive logic programs have an answer set, checking if a set of atoms is an answer set is coNP-complete, no effective method for computing answer sets of disjunctive logic programming with functions has been found. This paper puts forward a notion of unfounded sets for the disjunctive logic programming with functions, and finds a one-to-one relationship between the unfounded-free sets and answer sets. Accordingly this paper discovers that a model is an answer set of a logic program whenever a corresponding propositional formula is unsatisfiable. Thus, it theoretically provides an efficient approach to compute answer sets of disjunctive logic programs with functions.