Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Nonmonotonic inference based on expectations
Artificial Intelligence
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
General Preferential Entailments as Circumscriptions
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Possible Worlds Semantics for Credulous and Contraction Inference
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Hi-index | 0.01 |
We present a formal characterization and semantic representation for a number of credulous inference relations based on the notion of an epistemic state. It is shown, in particular, that credulous inference can be naturally represented in terms of expectations (see [Gardenfors and Makinson, 1994]). We describe also the relationships between credulous and usual skeptical nonmonotonic inference and show how they can facilitate each other.