Answer Set Semantics for Prioritized Defaults Logic

Hee-Jun YOO  Mino BAI  Jin-Young CHOI 

Publication
IEICE TRANSACTIONS on Information and Systems  Vol.E87-D  No.12  pp.2883-2884
Publication Date: 2004/12/01
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Fundamentals of Software and Theory of Programs
Keyword: 
default reasoning,  courteous logic programs,  priorities,  non-monotonic reasoning,  intelligent agent, 

Full Text: PDF

Summary: 
We describe a new inconsistent case which is susceptible to occur while producing consistent answer set using prioritized default logic. We define new semantics for prioritized default logic in order to solve this problem. There is a sign difference between General and Extended logic programs. Extended logic programs are formulated using classical negation, For this reason, an inconsistent answer set can sometimes be produced. For the most part, default reasoning semantics successfully resolved this problem, but a conflict could still arise in one particular case. The purpose of this paper is to present this eventuality, and revise the semantics of default logic in order to give an answer to this problem.