Representation theorems for explanatory reasoning based on cumulative models

DOI10.1016/j.jal.2008.05.001zbMath1158.68445OpenAlexW1978811696MaRDI QIDQ959052

Carlos Uzcátegui, Arelis Díaz

Publication date: 11 December 2008

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2008.05.001

zbMATH Keywords

abductioncumulative modelsexplanatory reasoning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items

Morphologic for knowledge dynamics: revision, fusion and abduction

Cites Work

• Preferences and explanations
• Abductive reasoning. Logical investigations into discovery and explanation
• Nonmonotonic reasoning, preferential models and cumulative logics
• The relationship between KLM and MAK models for nonmonotonic inference operations
• Jumping to explanations versus jumping to conclusions
• Abductive logics in a belief revision framework
• Abduction as belief revision
• Normal conditions for inference relations and injective models
• A characterization theorem for injective model classes axiomatized by general rules
• Injective Models and Disjunctive Relations
• On representation theorems for nonmonotonic consequence relations
• Explanatory Nonmonotonic Reasoning
• A Causal Theory of Abduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Representation theorems for explanatory reasoning based on cumulative models