A first-order conditional logic for prototypical properties
Artificial Intelligence
An approach to default reasoning based on a first-order conditional logic: revised report
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
General theory of cumulative inference
Proceedings of the 2nd international workshop on Non-monotonic reasoning
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
What does a conditional knowledge base entail?
Artificial Intelligence
Editorial: Belief Revision Theory Today
Journal of Logic, Language and Information
Artificial Intelligence - Special issue on nonmonotonic reasoning
Reasoning about an agent based on its revision history with missing inputs
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Permissions and uncontrollable propositions in DSDL3: non-monotonicity and algorithms
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
A minimal model semantics for nonmonotonic reasoning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
The notion of the rational closure of a positive knowledge base K ofconditional assertions &thetas;_i |∼ &phis;_i(standing for if &thetas;_i then normally &phis;_i) was first introduced by Lehmann (1989) and developedby Lehmann and Magidor (1992). Following those authors we would also argue that the rational closure is, in a strong sense, the minimal information, or simplest, rational consequence relation satisfying K. In practice,however, one might expect a knowledge base to consist not just of positiveconditional assertions, &thetas;_i |∼ &phis;_i, but also negative conditional assertions, &thetas;__i |∼ &phis;_i (standing for{if &thetas;_i then normally &phis;_i}).Restricting ourselves to a finite language we show that the rational closure still exists for satisfiable knowledge bases containing bothpositive and negative conditional assertions and has similar properties tothose exhibited in Lehmann and Magidor (1992). In particular an algorithm in Lehmann and Magidor (1992) which constructs the rational closure can beadapted to this case and yields, in turn, completeness theorems for theconditional assertions entailed by such a mixed knowledge base.