Beyond counter-examples to nonmonotonic formalisms : A possibility-theoretic analysis - Université d'Artois Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

Beyond counter-examples to nonmonotonic formalisms : A possibility-theoretic analysis

Résumé

In nonmonotonic reasoning, Lehmann's preferential System P is known to provide reasonable but very cautious conclusions, while the inference machinery may still remain too cautious or on the contrary provide counter-intuitive conclusions when using the rational closure inference. These two types of inference can be represented using a possibility theory-based semantics. Remedies to the above problems are proposed in this framework. It is shown that counter-examples to inference by rational closure are not due to the technique of selecting a unique ordering of interpretations but to the choice of a wrong ordering, not in accordance with the actual knowledge. Namely when a counterintuitive plausible conclusion of a set of defaults, is in its rational closure, but not in its preferential closure (in the sense of System P), it is always possible to repair the set of defaults so as to produce the desired conclusions.
Fichier non déposé

Dates et versions

hal-03299841 , version 1 (26-07-2021)

Identifiants

  • HAL Id : hal-03299841 , version 1

Citer

Salem Benferhat, Didier Dubois, Henri Prade. Beyond counter-examples to nonmonotonic formalisms : A possibility-theoretic analysis. 12th European Conference on Artificial Intelligence (ECAI 1996), Aug 1996, Budapest, Hungary. pp.652-656. ⟨hal-03299841⟩
27 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More