Explanatory Relations Based on Mathematical Morphology

Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behavior is analyzed. The results show that these natural ways for defining preferred explanations are robust because these relations satisfy almost all postulates of explanatory reasoning introduced by Pino-P´erez and Uzc´ategui (Artificial Intelligence, 111:131–169, 1999). Actually, the first explanatory relation is Explanatory-Rational. The second one is not even ExplanatoryCumulative but it satisfies new weak postulates.

• Type: Conference
• Year: 2001
• Where: ECSQARU
• Authors: Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui
• Keywords: Automated Reasoning, ECSQARU 2001, Explanatory Reasoning, Explanatory Relation, first Explanatory Relation