An overview of hybrid possibilistic reasoning

Authors:
Churn-Jung Liau
Affiliations:
Institute of Information Science, Academia Sinica, Taipei, Taiwan
Venue:
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
Year:
2003

Citing 6
Cited 0

Attributive concept descriptions with complements

Artificial Intelligence
Quantitative modal logic and possibilistic reasoning

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Possibilistic logic

Handbook of logic in artificial intelligence and logic programming (vol. 3)
A model of multimedia information retrieval

Journal of the ACM (JACM)
Hybridizing concept languages

Annals of Mathematics and Artificial Intelligence
A Modal Analysis of Possibility Theory

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The objective of this paper is to introduce the hybrid logic methodology into possibilistic reasoning. It has been well-known that possibilistic logic has some strong modal logic flavor. However, modal logic lacks the capability of referring to states or possible worlds though states are crucial to its semantics. Hybrid logic circumvents the problem by blending the classical logic mechanism into modal logic. It is a hybrid of classical logic and modal logic, however, unlike classical logic, it treats terms and formulas uniformly. We study some variants of hybrid possibilistic logic, including hybrid qualitative possibility logic, hybrid graded modal logic, and hybrid possibilistic description logic. The syntax and semantics of the logics are presented. Some possible applications of the proposed logics are also suggested.