Semantical considerations on nonmonotonic logic
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
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
Probabilistic semantics for nonmonotonic reasoning: a survey
Proceedings of the first international conference on Principles of knowledge representation and reasoning
A general non-probabilistic theory of inductive reasoning
UAI '88 Proceedings of the Fourth Annual Conference on Uncertainty in Artificial Intelligence
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning
Argumentative inference in uncertain and inconsistent knowledge bases
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |
This paper presents a formal relationship for probability Ken Satoh Generation Computer Technology Minato-ku, Tokyo 108, Japan ksatoh@icot.jp for probability theory and a class of nonmonotomc reasoning which we call daxy nonmonotonic reusoning. In lazy nonmonotonic reasoning, nonmonotonicity emerges only when new added knowledge is contradictory to the previous belief. In this paper, we consider nonmonotonic reasoning in terms of consequence relation. A consequence relation is a binary relation over formulas which expresses that a formula is derivable from another formula under inference rules of a considered system. A consequence relation which has lazy nonmonotonicity is called a rutionad consequence relation studied by Lehmann and Magidor (1988). We provide a probabilistic semantics which characterizes a rational consequence relation exactly. Then, we show a relationship between propositional circumscription and consequence relation, and apply this semantics to a consequence relation defined by propositional circumscription which has lazy nonmonotonicity.