| Presentation | 2006-11-10 Compiling Prioritized Circumscription into General Disjunctive Programs by Integration of Guess and Check Programs Toshiko WAKAKI, Kazuo TOMITA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Recently we proposed a method of compiling prioritized circumscription into ASP. However, its encoding has the guess and check structure, where the candidates are generated by the guess program and the check is expressed by the inconsistency of the check program. In this paper, we present another method which compiles prioritized circumscription into a single general disjunctive program (GDP) by means of integration of the guess and check programs. The answer sets of the transformed GDP yield models of a given circumscription by emulating the inconsistency of the check program using integrity constraints. Moreover, thanks to our integration technique, to evaluate a query with respect to prioritized circumscription is easily established by expressing the inco nsistency check in a single GDP. Our experimental results show that the performance of the tool we have implemented using our new method has not only improved remarkably, i.e. reduction of runtime as compared to our previous method, but has also exceeded that of the recently developed software tool, prio_tirc2dlp, for prioritized circumscription as far as our experiments are concerned. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | prioritized circumscription / general disjunctive programs / answer set programming / ASP solver |
| Paper # | AI2006-20 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2006/11/3(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 | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Compiling Prioritized Circumscription into General Disjunctive Programs by Integration of Guess and Check Programs |
| Sub Title (in English) | |
| Keyword(1) | prioritized circumscription |
| Keyword(2) | general disjunctive programs |
| Keyword(3) | answer set programming |
| Keyword(4) | ASP solver |
| 1st Author's Name | Toshiko WAKAKI |
| 1st Author's Affiliation | Faculty of Systems Engineering, Shibaura Institute of Technology() |
| 2nd Author's Name | Kazuo TOMITA |
| 2nd Author's Affiliation | NTT DATA CREATION CORPORATION |
| Date | 2006-11-10 |
| Paper # | AI2006-20 |
| Volume (vol) | vol.106 |
| Number (no) | 340 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |