Lattice-Based Graded Logic: a Multimodal Approach
Philippe Chatalic, Christine Froidevaux
Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical formulas. Uncertain information is expressed by means of parameterized modal operators. We propose a semantics for this multimodal logic and give a sound and complete axiomatization. We study the links with related approaches and suggest how this framework might be used to manage both uncertain and incomplere knowledge.
PDF Link: /papers/92/p33-chatalic.pdf
AUTHOR = "Philippe Chatalic
and Christine Froidevaux",
TITLE = "Lattice-Based Graded Logic: a Multimodal Approach",
BOOKTITLE = "Proceedings of the Eighth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-92)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Mateo, CA",
YEAR = "1992",
PAGES = "33--40"