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 language | English |
|---|---|
| Pages (from-to) | 2883-2884 |
| Number of pages | 2 |
| Journal | IEICE Transactions on Information and Systems |
| Volume | E87-D |
| Issue number | 12 |
| Publication status | Published - 2004 Dec 1 |
Fingerprint
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 journal › Article
}
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 -