On modal logics for qualitative possibility in a fuzzy setting

Authors:
Petr Hájek;Dagmar Harmancová;Franeesc Esteva;Pere Garcia;Lluís Goda
Affiliations:
Institute of Computer Science, Academy of Sciences, Prague, Czech Republic;Institute of Computer Science, Academy of Sciences, Prague, Czech Republic;Artificial Intelligence Research Institute, Spanish Council for Scientific Research;Artificial Intelligence Research Institute, Spanish Council for Scientific Research;Artificial Intelligence Research Institute, Spanish Council for Scientific Research
Venue:
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Year:
1994

Citing 8
Cited 3

Belief structures, possibility theory and decomposable confidence measures on finite sets

Computers and Artificial Intelligence
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities

Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
A logic for fuzzy data analysis

Fuzzy Sets and Systems - Special issue on applications of fuzzy systems theory, Iizuka '88
A guide to completeness and complexity for modal logics of knowledge and belief

Artificial Intelligence
Modal logics for qualitative possibility and beliefs

UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
Many-valued modal logics II

Fundamenta Informaticae - Special issue on modal logics in knowledge representation
A Comparative Fuzzy Modal Logic

FLAI '93 Proceedings of the 8th Austrian Artificial Intelligence Conference on Fuzzy Logic in Artificial Intelligence
A Modal Analysis of Possibility Theory

ECSQAU Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

Extending possibilistic logic over Gödel logic

International Journal of Approximate Reasoning
A Fuzzy Modal Logic for Belief Functions

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
A simple logic for reasoning about incomplete knowledge

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.