Embracing causality in fault reasoning
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Abduction versus closure in causal theories
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Abduction to plausible causes: an event-based model of belief update
Artificial Intelligence
Artificial Intelligence
On the logic of causal explanation
Artificial Intelligence
Causality in commonsense reasoning about actions
Causality in commonsense reasoning about actions
A logic of universal causation
Artificial Intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Default Reasoning: Causal and Conditional Theories
Default Reasoning: Causal and Conditional Theories
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Model-based diagnosis using causal networks
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
EPDL: a logic for causal reasoning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
On the relation between default and modal nonmonotonic reasoning
Artificial Intelligence
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A logic of abstract argumentation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
A logic of argumentation for specification and verification of abstract argumentation frameworks
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
A socio-cognitive model of trust using argumentation theory
International Journal of Approximate Reasoning
Hi-index | 0.00 |
We introduce logical formalisms of production and causal inference relations based on input/output logics of Makinson and Van der Torre [J. Philos. Logic 29 (2000) 383-408]. These inference relations will be assigned, however, both standard semantics (giving interpretation to their rules), and natural nonmonotonic semantics based on the principle of explanation closure. The resulting nonmonotonic formalisms will be shown to provide a logical representation of abductive reasoning, and a complete characterization of causal nonmonotonic reasoning from McCain and Turner [Proc. AAAI-97, Providence, RI, 1997, pp. 460-465]. The results of the study suggest production and causal inference as general nonmonotonic formalisms providing an alternative representation for a significant part of nonmonotonic reasoning.