Uncertainty in Artificial Intelligence
First Name   Last Name   Password   Forgot Password   Log in!
    Proceedings   Proceeding details   Article details         Authors         Search    
On Modal Logics for Qualitative Possibility in a Fuzzy Setting
Petr Hajek, Dagmar Harmancov√°, Francesc Esteva, Pere Garcia, Lluis Godo
Abstract:
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.
Pages: 278-285
PS Link: ftp://sun.uivt.cas.cz/pub/papers/hhegg.uai94.ps.Z
PDF Link: /papers/94/p278-hajek.pdf
BibTex:
@INPROCEEDINGS{Hajek94,
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"
}


hosted by DSL   •   site info   •   help