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.