A semantics for default logic

Authors:
David W. Etherington
Affiliations:
Artificial Intelligence Principles Research Department, AT&T Bell Laboratories, Murray Hill, NJ
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 6
Cited 3

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Applications of circumscription to formalizing common-sense knowledge

Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
Reasoning with Incomplete Information

Reasoning with Incomplete Information
Formalizing Non-Monotonic Reasoning Systems

Formalizing Non-Monotonic Reasoning Systems
The mathematics of inheritance systems

The mathematics of inheritance systems

Pragmatic Reasoning: Inferring Contexts

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Common sense retrieval

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Possible Worlds Semantics For Default Logics

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

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.