Exten: A system for computing default logic extensions

Allen P. Courtney, Grigoris Antoniou, Norman Y. Foo

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

2 Citations (Scopus)

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.

LanguageEnglish
Title of host publicationPRICAI 1996
Subtitle of host publicationTopics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings
EditorsNorman Foo, Randy Goebel
PublisherSpringer Verlag
Pages471-482
Number of pages12
ISBN (Print)3540615326, 9783540615323
DOIs
Publication statusPublished - 1996
Externally publishedYes
Event4th Pacific Rim International Conference on Artificial Intelligence - Cairns, Australia
Duration: 26 Aug 199630 Aug 1996
Conference number: 4

Publication series

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

Conference

Conference4th Pacific Rim International Conference on Artificial Intelligence
Abbreviated titlePRICAI 1996
CountryAustralia
CityCairns
Period26/08/9630/08/96

Fingerprint

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

Cite this

Courtney, A. P., Antoniou, G., & Foo, N. Y. (1996). Exten: A system for computing default logic extensions. In N. Foo, & R. Goebel (Eds.), PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings (pp. 471-482). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1114). Springer Verlag. https://doi.org/10.1007/3-540-61532-6_40
Courtney, Allen P. ; Antoniou, Grigoris ; Foo, Norman Y. / Exten : A system for computing default logic extensions. PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. editor / Norman Foo ; Randy Goebel. Springer Verlag, 1996. pp. 471-482 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{9e5101e9d95f4157841cbd380fbc7b7b,
title = "Exten: A system for computing default logic extensions",
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.",
author = "Courtney, {Allen P.} and Grigoris Antoniou and Foo, {Norman Y.}",
year = "1996",
doi = "10.1007/3-540-61532-6_40",
language = "English",
isbn = "3540615326",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "471--482",
editor = "Norman Foo and Randy Goebel",
booktitle = "PRICAI 1996",

}

Courtney, AP, Antoniou, G & Foo, NY 1996, Exten: A system for computing default logic extensions. in N Foo & R Goebel (eds), PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1114, Springer Verlag, pp. 471-482, 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, 26/08/96. https://doi.org/10.1007/3-540-61532-6_40

Exten : A system for computing default logic extensions. / Courtney, Allen P.; Antoniou, Grigoris; Foo, Norman Y.

PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. ed. / Norman Foo; Randy Goebel. Springer Verlag, 1996. p. 471-482 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1114).

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

TY - GEN

T1 - Exten

T2 - A system for computing default logic extensions

AU - Courtney, Allen P.

AU - Antoniou, Grigoris

AU - Foo, Norman Y.

PY - 1996

Y1 - 1996

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

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

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

U2 - 10.1007/3-540-61532-6_40

DO - 10.1007/3-540-61532-6_40

M3 - Conference contribution

SN - 3540615326

SN - 9783540615323

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

SP - 471

EP - 482

BT - PRICAI 1996

A2 - Foo, Norman

A2 - Goebel, Randy

PB - Springer Verlag

ER -

Courtney AP, Antoniou G, Foo NY. Exten: A system for computing default logic extensions. In Foo N, Goebel R, editors, PRICAI 1996: Topics in Artificial Intelligence - 4th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer Verlag. 1996. p. 471-482. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-61532-6_40