Access the full text.
Sign up today, get DeepDyve free for 14 days.
J. Pearl (1994)
From Adams' conditionals to default expressions, causal conditionals, and counterfactuals
Alexander Bochman (1988)
Nonmonotonic Reasoning
G.-Q. Zhang (1991)
Logic of Domains
M. Fiore (1999)
Topology via LogicScience of Computer Programming, 33
K. Apt (1989)
Logics and Models of Concurrent Systems, 13
D. Makinson (1994)
General patterns in nonmonotonic reasoning
W. Hoek, J. Meyer, Yao-Hua Tan, C. Witteveen (1992)
Non-monotonic reasoning and partial semantics
S. Abramsky, A. Jung (1995)
Domain theory
G. Winskel (1993)
The formal semantics of programming languagesInternational Journal of Foundations of Computer Science
P. Besnard (1989)
An Introduction to Default Logic
Joseph Halpern, Y. Moses (1985)
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft
D. Lehmann, M. Magidor (1989)
What does a Conditional Knowledge Base Entail?
R. Reiter (1987)
A Logic for Default ReasoningArtif. Intell., 13
V. Stoltenberg-Hansen (1995)
In: Handbook of Logic in Computer Science
G. Winskel (1993)
The formal semantics of programming languages - an introduction
D. Scott (1982)
Domains for Denotational Semantics
E. Adams (1975)
The logic of conditionals
V. Marek, A. Nerode, J. Remmel (1990)
A theory of nonmonotonic rule systems IAnnals of Mathematics and Artificial Intelligence, 1
Fernando Pereira, D. Warren (1980)
Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition NetworksArtif. Intell., 13
D. Gabbay (1989)
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems
(1993)
Semantics of programming languages: structures and techniquesChoice Reviews Online, 30
J. Barwise (1989)
The situation in logic, 17
W. Rounds, Guo-Qiang Zhang (1995)
Domain Theory Meets Default LogicJ. Log. Comput., 5
Mark Young, W. Rounds (1993)
A Logical Semantics for Nonmonotonic Sorts
G. Gazdar, Ewan Klein, G. Pullum, I. Sag (1985)
Generalized Phrase Structure Grammar
H. Levesque (1990)
All I Know: A Study in Autoepistemic LogicArtif. Intell., 42
D. Gabbay, C. Hogger, J. Robinson (1994)
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Sarit Kraus, D. Lehmann, M. Magidor (1990)
Nonmonotonic Reasoning, Preferential Models and Cumulative LogicsArXiv, cs.AI/0202021
R. Kasper, W. Rounds (1990)
The logic of unification in grammarLinguistics and Philosophy, 13
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.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Sep 28, 2004
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.