Topology via logic
All I know: a study in autoepistemic logic
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Theoretical foundations for non-monotonic reasoning in expert systems
Logics and models of concurrent systems
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Logic of domains
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
Non-monotonic reasoning and partial semantics
Non-monotonic reasoning and partial semantics
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
From Adams' conditionals to default expressions, causal conditionals, and counterfactuals
Probability and conditionals
Handbook of logic in computer science (vol. 3)
Introduction to Default Logic
Domains for Denotational Semantics
Proceedings of the 9th Colloquium on Automata, Languages and Programming
A logical semantics for nonmonotonic sorts
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
Hi-index | 0.00 |
Default domain theory is a framework for representing and reasoning about commonsense knowledge. Although this theory is motivated by ideas in Reiter’s work on default logic, it is in some sense a dual framework. We make Reiter’s default extension operator into a constructive method of building models, not theories. Domain theory, which is a well established tool for representing partial information in the semantics of programming languages, is adopted as the basis for constructing partial models. This paper considers some of the laws of nonmonotonic consequence, due to Gabbay and to Kraus, Lehmann, and Magidor, in the light of default domain theory. We remark that in some cases Gabbay’s law of cautious monotony is open to question. We consider an axiomatization of the nonmonotonic consequence relation on prime open sets in the Scott topology – the natural logic – of a domain, which omits this law. We prove a representation theorem showing that such relations are in one to one correspondence with the consequence relations determined by extensions in Scott domains augmented with default sets. This means that defaults are very expressive: they can, in a sense, represent any reasonable nonmonotonic entailment. Results about what kind of defaults determine cautious monotony are also discussed. In particular, we show that the property of unique extensions guarantees cautious monotony, and we give several classes of default structures which determine unique extensions.