Bridging logical, comparative and graphical possibilistic representation frameworks
- First Online:
Possibility theory offers a qualitative framework for representing uncertain knowledge or prioritized desires. A remarkable feature of this framework is the existence of three distinct compact representation formats which are all semantically equivalent to a ranking of possible worlds encoded by a possibility distribution. These formats are respectively: i) a set of weighted prepositional formulas; ii) a set of strict comparative possibility statements of the form ”p is more possible than q”, and iii) a directed acyclic graph where links are weighted by possibility degrees (either qualitative or quantitative). This paper exhibits the direct translation between these formats without resorting to a semantical (exponential) computation at the possibility distribution level. These translations are useful for fusing heterogenous information, and are necessary for taking advantages of the merits of each format at the representational or at the inferential level.
Unable to display preview. Download preview PDF.
- 1.S. Benferhat, D. Dubois, L. Garcia, and H. Prade. Possibilistic logic bases and possibilistic graphs. In 15th Conf. on Uncertainty in Artificial Intelligence, UAI’99, 57-64, 1999.Google Scholar
- 2.S. Benferhat, D. Dubois, and H. Prade. Representing default rules in possibilistic logic. In 3rd Inter. Conf. ofPrinciples of Knowledge Repres. and Reasoning (KR’92), 673–684, 1992.Google Scholar
- 3.S. Benferhat, D. Dubois, H. Prade, and M. Williams. A practical approach to fusing and revising prioritized belief bases. In EPIA 99, LNAI 1695, 222–236, Springer Verlag,, 1999.Google Scholar
- 7.J. Gebhardt and R. Kruse. Possinfer-a software tool for possibilistic inference. In Fuzzy set Methods in Inf. Engineering. A Guided Tour ofApplications; Wiley, 1995.Google Scholar
- 9.D. Poole. Logic, knowledge representation, and bayesian decision theory. In Computational Logic-CL 2000. LNAI 1861, Springer Verlag, 70–86, 2000.Google Scholar