ML Anthology

Two Results on Default Logic

Witold Lukaszewicz
IJCAI 1985 pp. 459-461
/ijcai/1985/lukaszewicz1985ijcai-two/

Abstract

We focus on default logic, a formalism introduced by Reiter to model default reasoning. The paper consists of two parts. In the first one a translation method of non-normal defaults into the normal ones is given. Although not generally valid, this translation seems to work for a wide class of defaults. In the second part a semantics for normal default theories is given and the completeness theorem is proved.

PDF Semantic Scholar

Cite

Text

Lukaszewicz. "Two Results on Default Logic." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Lukaszewicz. "Two Results on Default Logic." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/lukaszewicz1985ijcai-two/)

BibTeX

@inproceedings{lukaszewicz1985ijcai-two,
  title     = {{Two Results on Default Logic}},
  author    = {Lukaszewicz, Witold},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {459-461},
  url       = {https://mlanthology.org/ijcai/1985/lukaszewicz1985ijcai-two/}
}