Two Results on Default Logic

Lukaszewicz, Witold

Two Results on Default Logic

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 459-460.

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.

Witold Lukaszewicz. 1985. Two Results on Default Logic. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 459–460. https://ijcai.org/proceedings/1985/90

@inproceedings{ijcai1985p90,
  title     = {Two Results on Default Logic},
  author    = {Lukaszewicz, Witold},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {459--460},
  year      = {1985},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1985/90},
}

TY  - CPAPER
TI  - Two Results on Default Logic
AU  - Lukaszewicz, Witold
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 459
EP  - 460
UR  - https://ijcai.org/proceedings/1985/90
ER  -