Presentation | 2003/5/22 Computing Preferred Answer Sets by means of Answer Set Programming Toshiko WAKAKl, Katsumi INOUE, Chiaki SAKAMA, Katsumi NITTA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | A framework of Prioritized logic programs (PLPs) is useful to represent explicit priorities between literals of logic programs. With its expressive power, PLPs theoretically enable us to realize various frameworks of nonmonotonic reasoning as well as preference abduction. However, so far, its implementation issues have scarcely been provided and even any sound procedure to compute preferred answer sets which give the semantics of PLPs, has not been proposed. In this paper, we present a procedure to compute all preferred answer sets of a PLP in answer set programming. We show soundness and completeness theorems for the procedure. Finally we show that our procedure makes PLPs not only practically available, but also have the capability of representing the dynamic preferences in addition to static ones. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Prioritized Logic Programs / preferred answer sets / dynamic preferences |
Paper # | AI2003-5 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 2003/5/22(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Computing Preferred Answer Sets by means of Answer Set Programming |
Sub Title (in English) | |
Keyword(1) | Prioritized Logic Programs |
Keyword(2) | preferred answer sets |
Keyword(3) | dynamic preferences |
1st Author's Name | Toshiko WAKAKl |
1st Author's Affiliation | Faculty of Systems Engineering, Shibaura Institute of Technology,() |
2nd Author's Name | Katsumi INOUE |
2nd Author's Affiliation | Department of Electrical and Electronics Engineering, Kobe University, |
3rd Author's Name | Chiaki SAKAMA |
3rd Author's Affiliation | Department of Electrical and Electronics Engineering, Kobe University, |
4th Author's Name | Katsumi NITTA |
4th Author's Affiliation | Department of Computational Intelligence and Systems Science, Tokyo Institute of Technology, |
Date | 2003/5/22 |
Paper # | AI2003-5 |
Volume (vol) | vol.103 |
Number (no) | 103 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |