ML Anthology

Computing Default Logic Extensions: An Implementation

Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou
AAAI 1996 pp. 1381
/aaai/1996/courtney1996aaai-computing/

Abstract

Default logic is a useful formalism for reasoning with incomplete information, its intuitive characteristics making it particularly suited for applications. Exten is a system currently capable of computing first-order Reiter, Justified and Constrained default extensions. It is part of a project to create a full default logic workbench, with future work involving query evaluation, further support for default variants and integration with belief revision. As such, it has been implemented in an object-oriented manner, and is designed to facilitate experimentation. The interface is based around a small language, giving the user flexibility in editing default theories and changing various parameters (such as compute next n extensions or carry out open_quotesuccess{close_quote} checks every m steps).

PDF AAAI Semantic Scholar

Cite

Text

Courtney et al. "Computing Default Logic Extensions: An Implementation." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Courtney et al. "Computing Default Logic Extensions: An Implementation." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/courtney1996aaai-computing/)

BibTeX

@inproceedings{courtney1996aaai-computing,
  title     = {{Computing Default Logic Extensions: An Implementation}},
  author    = {Courtney, Allen P. and Foo, Norman Y. and Antoniou, Grigoris},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {1381},
  url       = {https://mlanthology.org/aaai/1996/courtney1996aaai-computing/}
}