Non-monotonic syntax-based entailment: a classification of consequence relations - Université Toulouse - Jean Jaurès Accéder directement au contenu
Communication Dans Un Congrès Année : 1995

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.
Fichier principal
Vignette du fichier
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

Dates et versions

hal-02875489 , version 1 (27-01-2023)

Identifiants

Citer

Claudette Cayrol, Marie-Christine Lagasquie-Schiex. Non-monotonic syntax-based entailment: a classification of consequence relations. European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 1995), Jul 1995, Fribourg, Switzerland. pp.107-114, ⟨10.1007/3-540-60112-0_13⟩. ⟨hal-02875489⟩
35 Consultations
14 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More