A fuzzy extension of explanatory relations based on mathematical morphology

Jamal AtifJamal Atif, Isabelle BlochIsabelle Bloch, Felix DistelFelix Distel, Céline HudelotCéline Hudelot

Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
A fuzzy extension of explanatory relations based on mathematical morphology
In Gabriella Pasi and Javier Montero, eds., Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), to appear

Details
Bibtex

KurzfassungAbstract
In this paper, we build upon previous work defining explanatory relations based on mathematical morphology operators on logical formulas in propositional logics. We propose to extend such relations to the case where the set of models of a formula is fuzzy, as a first step towards morphological fuzzy abduction. The membership degrees may represent degrees of satisfaction of the formula, preferences, vague information for instance related to a partially observed situation, imprecise knowledge, etc. The proposed explanatory relations are based on successive fuzzy erosions of the set of models, conditionally to a theory, while the maximum membership degree in the results remains higher than a threshold. Two explanatory relations are proposed, one based on the erosion of the conjunction of the theory and the formula to be explained, and the other based on the erosion of the theory, while remaining consistent with the formula at least to some degree. Extensions of the rationality postulates introduced by Pino-Perez and Uzcategui are proposed. As in the classical crisp case, we show that the second explanatory relation exhibits stronger properties than the first one.
Bemerkung: Note: to appear
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ AtEtAl-EUSFLAT13,
  author = {Jamal {Atif} and Isabelle {Bloch} and Felix {Distel} and C\'{e}line {Hudelot}},
  booktitle = {Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology {(EUSFLAT-2013)}},
  editor = {Gabriella {Pasi} and Javier {Montero}},
  note = {to appear},
  title = {A fuzzy extension of explanatory relations based on mathematical morphology},
  year = {2013},
}