On Modal Logics for Qualitative Possibility in a Fuzzy Setting
Petr Hajek, Dagmar Harmancová, Francesc Esteva, Pere Garcia, Lluis Godo
Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative modal logic to the many--valued analogues MVS5 and MVKD45 of the well known modal logics of knowledge and belief S5 and KD45 respectively. Completeness results are obtained for such logics and therefore, they extend previous existing results for qualitative possibilistic logics in the classical non-fuzzy setting.
Keywords: Possibilistic Logic, Fuzzy Logic, Qualitative Possibility, Many-valued Modal Logic.
PS Link: ftp://sun.uivt.cas.cz/pub/papers/hhegg.uai94.ps.Z
PDF Link: /papers/94/p278-hajek.pdf
AUTHOR = "Petr Hajek
and Dagmar Harmancová and Francesc Esteva and Pere Garcia and Lluis Godo",
TITLE = "On Modal Logics for Qualitative Possibility in a Fuzzy Setting",
BOOKTITLE = "Proceedings of the Tenth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-94)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Francisco, CA",
YEAR = "1994",
PAGES = "278--285"