Abduction versus closure in causal theories.

DOI10.1016/0004-3702(92)90073-7zbMath1193.68236OpenAlexW1967802770MaRDI QIDQ989166

Kurt Konolige

Publication date: 27 August 2010

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(92)90073-7

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (20)

Abduction in logic programming: A new definition and an abductive procedure based on rewriting ⋮ A Measure of Arbitrariness in Abductive Explanations ⋮ Representing diagnosis knowledge ⋮ Theory diagnoses: A concise characterization of faulty systems ⋮ Abduction from logic programs: Semantics and complexity ⋮ Complexity results for abductive logic programming ⋮ Abductive consequence relations ⋮ Semantics and complexity of abduction from default theories ⋮ On some tractable classes in deduction and abduction ⋮ Equality and abductive residua for Horn clauses ⋮ On strongest necessary and weakest sufficient conditions ⋮ Indefinite abductive explanations ⋮ Optimizing group learning: an evolutionary computing approach ⋮ Abductive reasoning through filtering ⋮ Abductive inference in defeasible reasoning: a model for research programmes ⋮ Abduction as belief revision ⋮ Probabilistic Horn abduction and Bayesian networks ⋮ Preferences and explanations ⋮ Complexity results for explanations in the structural-model approach ⋮ A causal approach to nonmonotonic reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A formal model of diagnostic inference. I. Problem formulation and decomposition
• A theory of diagnosis from first principles
• Characterizing diagnoses and systems
• Miracles in formal theories of action
• A methodology for using a default and abductive reasoning system

This page was built for publication: Abduction versus closure in causal theories.