Explanatory Relations Revisited: Links with Credibility-Limited Revision
We study binary relations \(\rhd \) over propositional formulas built over a finite set of variables. The meaning of \(\alpha \rhd \gamma \) is that \(\gamma \) is a preferred explanation of the observation \(\alpha \). These relations are called Explanatory or abductive relations. We find two important families of abductive relations characterized by his axiomatic behavior: the ordered explanatory relations and the weakly reflexive explanatory relations. We show that both families have tight links with the framework of Credibility limited revision. These relationships allow to establish semantical representations for each family. An important corollary of our representations results is that our axiomatizations allow us to overcome the background theory present in most axiomatizations of abduction.
KeywordsBinary Relation Semantical Representation Belief Revision Background Theory Propositional Formula
Thanks to the anonymous referees for their helpful remarks. The second author was partially supported by the research project CDCHT-ULA N\(^\circ \) C-1451-07-05- A.
- 4.Booth, R., Fermé, E., Konieczny, S., Pino Pérez, R.: Credibility limited revision operators in propositional logic. In: Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation And Reasoning, pp. 116–125 (2012)Google Scholar
- 8.Fermé, E., Rodríguez, R.: DFT and belief revision. Análisis Filosófico XXVII(2), 373–393 (2006)Google Scholar
- 9.Flach, P.A.: Rationality postulates for induction. In: Shoam, Y. (ed.) Proceedings of the Sixth Conference of Theoretical Aspects of Rationality and Knowledge (TARK-96), pp. 267–281 (1996)Google Scholar
- 10.Flach, P.A.: Logical characteristics of inductive learning. In: Gabbay, D.M., Kruse, R. (eds.) Abductive Reasoning and Learning, pp. 155–196 (2000)Google Scholar
- 13.Levesque, H.J.: A knowledge level account of abduction. In: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, pp. 1061–1067 (1989)Google Scholar
- 14.Pagnucco, M.: The Role of Abductive Reasoning Within the Process of Belief Revision. Ph.D. thesis, Department of Computer Science, University of Sydney, February 1996Google Scholar