A Semantics for Default Logic
Abstract
In spite of the importance of well-understood semantics for knowledge representation systems, proponents of default logic have tended to ignore the lack of a general model-theoretic semantics for the formalism. This shortcoming is addressed by the presentation of such a model-theory. This characterization differs in some ways from traditional semantics. These differences are explained and motivated, and some applications of the semantics are discussed.
Cite
Text
Etherington. "A Semantics for Default Logic." International Joint Conference on Artificial Intelligence, 1987.Markdown
[Etherington. "A Semantics for Default Logic." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/etherington1987ijcai-semantics/)BibTeX
@inproceedings{etherington1987ijcai-semantics,
title = {{A Semantics for Default Logic}},
author = {Etherington, David W.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1987},
pages = {495-498},
url = {https://mlanthology.org/ijcai/1987/etherington1987ijcai-semantics/}
}