Inconsistency management and prioritized syntax-based entailment - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1993

Inconsistency management and prioritized syntax-based entailment

Résumé

The idea of ordering plays a basic role in commonsense reasoning for addressing three inter-related tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of non-monotonic inferences induced by various methods for priority-based handling of inconsistent sets of classical formulas. One of them is based on a lexicographic ordering of maximal consistent subsets, and refines Brewka's preferred sub-theories. This new approach leads to a non-monotonic inference which satisfies the "rationality" property while solving the problem of blocking of property inheritance. It differs from and improves previous equivalent approaches such as Gardenfors and Makinson's expectation-based inference, Pearl's System Z and possibilistic logic.
Fichier principal
Vignette du fichier
Inconsistency management and prioritized syntax-based entailment.pdf (286.53 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04057362 , version 1 (05-04-2023)

Identifiants

  • HAL Id : hal-04057362 , version 1

Citer

Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang, Henri Prade. Inconsistency management and prioritized syntax-based entailment. 13th International Joint Conference on Artificial Intelligence (IJCAI 1993), The International Joint Conferences on Artificial Intelligence, Inc., Aug 1993, Chambéry, France. pp.640--645. ⟨hal-04057362⟩
27 Consultations
9 Téléchargements

Partager

Gmail Facebook X LinkedIn More