ML Anthology

Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover

Gerhard Brewka
AAAI 1986 pp. 8-12
/aaai/1986/brewka1986aaai-tweety/

Abstract

This paper describes FAULTY, a default prover for a decidable subset of predicate calculus. FAULTY is based on McDermott s and Doyle's Nonmonotonic Logic I and avoids the well-known weakness of this logic by a restriction to specific theories, which are sufficient for default reasoning purposes, however. The defaults are represented in a way that allows explicit control of their applicability. By blocking the applicability of a default the problem of interacting defaults can be avoided.

PDF AAAI Semantic Scholar

Cite

Text

Brewka. "Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover." AAAI Conference on Artificial Intelligence, 1986.

Markdown

[Brewka. "Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover." AAAI Conference on Artificial Intelligence, 1986.](https://mlanthology.org/aaai/1986/brewka1986aaai-tweety/)

BibTeX

@inproceedings{brewka1986aaai-tweety,
  title     = {{Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover}},
  author    = {Brewka, Gerhard},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1986},
  pages     = {8-12},
  url       = {https://mlanthology.org/aaai/1986/brewka1986aaai-tweety/}
}