Saurabh Paul, Christos Boutsidis, et al.
JMLR
Causal theories are default theories which explicitly accommodate a distinction between 'explained' and 'unexplained' propositions. This is accomplished by means of an operator 'C in the language for which propositions α are assumed explained when literals of the form Cα hold. The behavior of causal theories is determined by a preference relation on models based on the minimization of unexplained abnormality. We show that causal networks, general logic programs and theories for reasoning about change can be all naturally expressed as causal theories. We also develop a prooftheory for causal theories and discuss how they relate to autoepistemic theories, prioritized circumscription, and Pearl's C-E calculus.
Saurabh Paul, Christos Boutsidis, et al.
JMLR
Joxan Jaffar
Journal of the ACM
Rakesh Mohan, Ramakant Nevatia
IEEE Transactions on Pattern Analysis and Machine Intelligence
Peter K. Malkin, Sanjaya Addanki
AAAI 1990