A system for computing constrained default logic extensions

G. Antoniou, A. P. Courtney, J. Ernsttand, M. A. Williams

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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 languageEnglish
Title of host publicationLogics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings
EditorsJose Julio Alferes, Luis Moniz Pereira, Ewa Orlowska
PublisherSpringer Verlag
Pages237-250
Number of pages14
ISBN (Print)9783540616306
DOIs
Publication statusPublished - Oct 1996
Externally publishedYes
Event6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 - Evora, Portugal
Duration: 30 Sep 19963 Oct 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1126
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference6th European Workshop on Logics in Artificial Intelligence, JELIA 1996
CountryPortugal
CityEvora
Period30/09/963/10/96

Fingerprint

Default Logic
Information management
Computing
Search Trees
Object-oriented Design
Nonmonotonic Reasoning
Information Management
Stratification
Pruning
Experimentation
Complement
Enhancement
Demonstrate

Cite this

Antoniou, G., Courtney, A. P., Ernsttand, J., & Williams, M. A. (1996). A system for computing constrained default logic extensions. In J. J. Alferes, L. M. Pereira, & E. Orlowska (Eds.), Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings (pp. 237-250). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1126). Springer Verlag. https://doi.org/10.1007/3-540-61630-6
Antoniou, G. ; Courtney, A. P. ; Ernsttand, J. ; Williams, M. A. / A system for computing constrained default logic extensions. Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. editor / Jose Julio Alferes ; Luis Moniz Pereira ; Ewa Orlowska. Springer Verlag, 1996. pp. 237-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{86b73f0c21264dd29716f4ec52d8b6f3,
title = "A system for computing constrained default logic extensions",
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.",
author = "G. Antoniou and Courtney, {A. P.} and J. Ernsttand and Williams, {M. A.}",
year = "1996",
month = "10",
doi = "10.1007/3-540-61630-6",
language = "English",
isbn = "9783540616306",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "237--250",
editor = "Alferes, {Jose Julio} and Pereira, {Luis Moniz} and Ewa Orlowska",
booktitle = "Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings",

}

Antoniou, G, Courtney, AP, Ernsttand, J & Williams, MA 1996, A system for computing constrained default logic extensions. in JJ Alferes, LM Pereira & E Orlowska (eds), Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1126, Springer Verlag, pp. 237-250, 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996, Evora, Portugal, 30/09/96. https://doi.org/10.1007/3-540-61630-6

A system for computing constrained default logic extensions. / Antoniou, G.; Courtney, A. P.; Ernsttand, J.; Williams, M. A.

Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. ed. / Jose Julio Alferes; Luis Moniz Pereira; Ewa Orlowska. Springer Verlag, 1996. p. 237-250 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1126).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - A system for computing constrained default logic extensions

AU - Antoniou, G.

AU - Courtney, A. P.

AU - Ernsttand, J.

AU - Williams, M. A.

PY - 1996/10

Y1 - 1996/10

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=70449495267&partnerID=8YFLogxK

U2 - 10.1007/3-540-61630-6

DO - 10.1007/3-540-61630-6

M3 - Conference contribution

SN - 9783540616306

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 237

EP - 250

BT - Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings

A2 - Alferes, Jose Julio

A2 - Pereira, Luis Moniz

A2 - Orlowska, Ewa

PB - Springer Verlag

ER -

Antoniou G, Courtney AP, Ernsttand J, Williams MA. A system for computing constrained default logic extensions. In Alferes JJ, Pereira LM, Orlowska E, editors, Logics in Artificial Intelligence - European Workshop, JELIA 1996, Proceedings. Springer Verlag. 1996. p. 237-250. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-61630-6