Abstract
The aim of this paper is to describe the algorithmic foundations of the part of the program Exten responsible for the computation of extensions in Constrained Default Logic. Exten is a system that computes extensions for various default logics. The efficiency of the system is increased by pruning techniques for 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 well the recently developed stratification method. This technique has to be modified to work properly with Constrained Default Logic, and we show how this can be done. Exten supports experimentation with default logic, 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 befief revision methods.
Original language | English |
---|---|
Title of host publication | Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings |
Editors | Jose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska |
Publisher | Springer Verlag |
Pages | 237-250 |
Number of pages | 14 |
ISBN (Print) | 9783540616306 |
DOIs | |
Publication status | Published - Oct 1996 |
Externally published | Yes |
Event | 6th European Workshop on Logics in Artificial Intelligence - Evora, Portugal Duration: 30 Sep 1996 → 3 Oct 1996 Conference number: 6 https://dblp.org/db/conf/jelia/jelia96 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 1126 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 6th European Workshop on Logics in Artificial Intelligence |
---|---|
Abbreviated title | JELIA 1996 |
Country/Territory | Portugal |
City | Evora |
Period | 30/09/96 → 3/10/96 |
Internet address |