Abstract
This paper descirbes Exten, an object-oriented system for default reasoning. Its current functionality includes the computation of extensions for various default logics. The efficiency of the system is strongly increased by applying pruning techniques to the search tree. We motivate and present these techniques, and demonstrate that they can cut down the size of the search tree significantly. Quite importantly, they complement very well the recently developed stratification method [4] which has proven to be powerful and has been implemented in our system. Exten supports experimentation with default logics allowing the user to set various parameters. Also it has been designed to be open to future enhancements, which are supported by its object-oriented design. Exten is part of our long-term effort to develop an integrated toolkit for intelligent information management based on nonmonotonic reasoning and belief revision methods.
Original language | English |
---|---|
Title of host publication | PRICAI 1996 |
Subtitle of host publication | Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings |
Editors | Norman Foo, Randy Goebel |
Publisher | Springer Verlag |
Pages | 471-482 |
Number of pages | 12 |
ISBN (Print) | 3540615326, 9783540615323 |
DOIs | |
Publication status | Published - 1996 |
Externally published | Yes |
Event | 4th Pacific Rim International Conference on Artificial Intelligence: Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations - Cairns, Australia Duration: 26 Aug 1996 → 30 Aug 1996 Conference number: 4 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 1114 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 4th Pacific Rim International Conference on Artificial Intelligence |
---|---|
Abbreviated title | PRICAI 1996 |
Country/Territory | Australia |
City | Cairns |
Period | 26/08/96 → 30/08/96 |