Non-monotonic syntax-based entailment: a classification of consequence relations
Résumé
The purpose of this paper is to provide a comparative study of non-monotonic syntax-based consequence relations, from different points of view. Starting from a (not necessarily consistent) belief base E and a pre-ordering on E, we first remind different mechanisms for selecting preferred consistent subbases in syntax-based approaches. Then, we present three entailment principles in order to cope with these multiple subbases. The crossing point of each generation mechanism and each principle defines a syntax-based consequence relation. Pursuing previous work of the authors concerning the computational complexity point of view, we first provide a comparison from the cautiousness point of view. Our proposal restates previous results [18] in a single framework and provides new results. In the last part of this paper, we study the validity of deduction rules (such as those introduced by [15, 12]). Results are discussed in the conclusion.
Domaines
Intelligence artificielle [cs.AI]
Fichier principal
Non-monotonic syntax-based entailment_a classification of consequence relations.pdf (535.22 Ko)
Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte