| Presentation | 2005-10-21 The Circum System Toshiko WAKAKI, Katsumi NITTA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | So far many studies have been proposed for the automation of circumscription. However, not only few efficient implementations have been developed, but also there have not been provided enough benchmarks for prioritized circumscription. Recently, we proposed a new method of computing models of prioritized circumscription in answer set programming. Based on our new method, we have implemented the circumscriptive models generator (the circum, for short) to compute models of prioritized circumscription. In this paper, we show the theoretical background of our circum and present its usage as well as the performance. We have obtained the interesting evaluation results that our circum is often more efficient than Janhunen et al.'s system when the size of prioritized circumscription, i.e. the number of hierarchical levels among minimized predicates becomes larger. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | circumscriptive models generator / answer set programming / prioritized circumscription / parallel circumscription / minimal models / priority / preferences |
| Paper # | AI2005-20 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 2005/10/14(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) | The Circum System |
| Sub Title (in English) | |
| Keyword(1) | circumscriptive models generator |
| Keyword(2) | answer set programming |
| Keyword(3) | prioritized circumscription |
| Keyword(4) | parallel circumscription |
| Keyword(5) | minimal models |
| Keyword(6) | priority |
| Keyword(7) | preferences |
| 1st Author's Name | Toshiko WAKAKI |
| 1st Author's Affiliation | Shibaura Institute of Technology() |
| 2nd Author's Name | Katsumi NITTA |
| 2nd Author's Affiliation | Department of Computational Intelligence and Systems Science, Tokyo Institute of Technology |
| Date | 2005-10-21 |
| Paper # | AI2005-20 |
| Volume (vol) | vol.105 |
| Number (no) | 361 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |