On the Existence of Answer Sets in Normal Extended Logic Programs

An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingly natural way. To cope with this problem, this paper introduces a class of normal extended logic programs which are extended logic programs, whose defeasible rules are comparable to normal defaults in default logic. Under suitable program transformations, we show that every normal extended logic program always yields at least one answer set.

• Type: Conference
• Year: 2006
• Where: ECAI
• Authors: Martin Caminada, Chiaki Sakama
• Keywords: Answer Set, Artificial Intelligence, ECAI 2006, Extended Logic Program, Normal Extended Logic