Qi, Guilin and Perrussel, Laurent (2013) Prime Forms in Possibilistic Logic. In: 2nd workshop on Weighted Logic For Artificial Intelligence, August 2013, Beijing, China.

[thumbnail of wl4ai-2013-gq-lp.pdf]
Download (284kB)


Possibilistic logic is a weighted logic used to represent uncertain and inconsistent knowledge. Its semantics is often defined by a possibility distribution, which is a function from a set of interpretations to a totally ordered scale. In this paper, we consider a new semantic characteristics of knowledge bases in possibilistic logic (or possibilistic knowledge bases) by a generalized notion of propositional prime implicant, which we call prioritized
prime implicant. We first consider several desirable
properties of a prioritized prime implicant for characterizing possibilistic knowledge bases. Some examples show that existing generalizations of prime
implicant in possibilistic logic do not satisfy all of
these properties. We then provide a novel definition of prioritized prime implicant, which is a set
of weighted literals that may be inconsistent. We
show that the prioritized prime implicants satisfy
all the desirable properties. Finally, we discuss the
problem of computing prioritized prime implicants
of a possibilistic knowledge base.

Item Type: Conference or Workshop Item (Paper)
Date: 2013
Divisions: Institut de Recherche en Informatique de Toulouse
Site: UT1
Date Deposited: 06 Nov 2013 09:01
Last Modified: 02 Apr 2021 15:46
URI: https://publications.ut-capitole.fr/id/eprint/13931
View Item


Downloads per month over past year