On the Semantics of Supernormal Defaults
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 578-582.
Abstract
Our aim is to clarify which nonmonotonic consequence relation ~~ is given by a setof "supernormal" defaults, i.e. defaults of the form (true: 6)/6. There are in fact a number of proposals for ~(e.g. the skeptical and the credulous semantics). In this paper we look at the space of all possible default semantics and try to characterize the known ones by their properties, especially the valid deduction rules. For instance, it seems reasonable to require that any useful semantics should coincide with the original CWA if this is consistent. We might also want to allow proofs by case analysis. Then we get the skeptical semantics (assuming some other very natural deduction rules). Our results are in fact completeness proofs for "natural deduction systems" based on different default semantics.
@inproceedings{ijcai1993p81,
title = {On the Semantics of Supernormal Defaults},
author = {Brass, Stefan},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {578--582},
year = {1993},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1993/81},
}
TY - CPAPER TI - On the Semantics of Supernormal Defaults AU - Brass, Stefan T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 578 EP - 582 UR - https://ijcai.org/proceedings/1993/81 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
