Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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

Salem Benferhat 1 Didier Dubois 1 Henri Prade 1 
1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Monday, July 26, 2021 - 4:56:24 PM
Last modification on : Monday, July 4, 2022 - 9:46:23 AM


  • HAL Id : hal-03299841, version 1


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



Record views