A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 1991

A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision

Résumé

In this paper we present an extension of the ATMS, called "possibilistic ATMS", where the management of uncertainty is integrated inside the basic capabilities of the ATMS. Uncertainty pervading justifications or grading assumptions is represented in the framework of possibility theory using necessity measures. The main interest of a possibilistic ATMS is to take advantage of the uncertainty pervading the available knowledge and rank-order environments in which a given proposition is true. Possibilistic ATMS offer a solution to the revision of uncertain knowledge bases by deleting the least certain piece(s) of knowledge that cause(s) the inconsistency. Moreover the functionalities of the possibilistic ATMS provide a simple procedure for computing the most "acceptable" maximal consistent sub-bases of a partially inconsistent knowledge base. The implementation of a possibilistic ATMS using a specially tailored typed-resolution is briefly discussed.

Dates et versions

hal-04072915 , version 1 (18-04-2023)

Identifiants

Citer

Didier Dubois, Jérôme Lang, Henri Prade. A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision. Workshop on Truth Maintenance Systems @ 9th European Conference on Artificial Intelligence (ECAI 1990), Aug 1990, Stockholm, Sweden. pp.87--106, ⟨10.1007/BFb0037031⟩. ⟨hal-04072915⟩
13 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More