Answer set semantics for prioritized defaults logic

Hee J. Yoo, Mino Bai, Jin Young Choi

Research output: Contribution to journalArticle

Abstract

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
VolumeE87-D
Issue number12
Publication statusPublished - 2004 Dec 1

Fingerprint

Semantics

Keywords

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

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Information Systems
  • Software

Cite this

Answer set semantics for prioritized defaults logic. / Yoo, Hee J.; Bai, Mino; Choi, Jin Young.

In: IEICE Transactions on Information and Systems, Vol. E87-D, No. 12, 01.12.2004, p. 2883-2884.

Research output: Contribution to journalArticle

Yoo, Hee J. ; Bai, Mino ; Choi, Jin Young. / Answer set semantics for prioritized defaults logic. In: IEICE Transactions on Information and Systems. 2004 ; Vol. E87-D, No. 12. pp. 2883-2884.
@article{6ff1d544e30e4ea4a2b1bc31f245415a,
title = "Answer set semantics for prioritized defaults logic",
abstract = "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.",
keywords = "Courteous logic programs, Default reasoning, Intelligent agent, Non-monotonic reasoning, Priorities",
author = "Yoo, {Hee J.} and Mino Bai and Choi, {Jin Young}",
year = "2004",
month = "12",
day = "1",
language = "English",
volume = "E87-D",
pages = "2883--2884",
journal = "IEICE Transactions on Information and Systems",
issn = "0916-8532",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "12",

}

TY - JOUR

T1 - Answer set semantics for prioritized defaults logic

AU - Yoo, Hee J.

AU - Bai, Mino

AU - Choi, Jin Young

PY - 2004/12/1

Y1 - 2004/12/1

N2 - 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.

AB - 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.

KW - Courteous logic programs

KW - Default reasoning

KW - Intelligent agent

KW - Non-monotonic reasoning

KW - Priorities

UR - http://www.scopus.com/inward/record.url?scp=11144262745&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=11144262745&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:11144262745

VL - E87-D

SP - 2883

EP - 2884

JO - IEICE Transactions on Information and Systems

JF - IEICE Transactions on Information and Systems

SN - 0916-8532

IS - 12

ER -