Answer set semantics for prioritized defaults logic

Hee Jun Yoo, Mino Bai, Jin Young Choi

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)2883-2884
Number of pages2
JournalIEICE Transactions on Information and Systems
Issue number12
Publication statusPublished - 2004 Dec


  • Courteous logic programs
  • Default reasoning
  • Intelligent agent
  • Non-monotonic reasoning
  • Priorities

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering
  • Artificial Intelligence


Dive into the research topics of 'Answer set semantics for prioritized defaults logic'. Together they form a unique fingerprint.

Cite this