A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic

Authors:
Zaiyue Zhang;Yuefei Sui;Cungen Cao;Guohua Wu
Affiliations:
Department of Computer Science, Jiangsu University of Science and Technology, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, China;School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore
Venue:
Theoretical Computer Science
Year:
2006

Citing 6
Cited 1

A fuzzy description logic

AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Modal logic

Modal logic
Rough Sets: Theoretical Aspects of Reasoning about Data

Rough Sets: Theoretical Aspects of Reasoning about Data
Graded Similarity-Based Semantics for Nonmonotonic Inferences

Annals of Mathematics and Artificial Intelligence
A comparative study of fuzzy sets and rough sets

Information Sciences: an International Journal
Further study of the fuzzy reasoning based on propositional modal logic

RSKT'06 Proceedings of the First international conference on Rough Sets and Knowledge Technology

Proof Systems for a Gödel Modal Logic

TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	5.23

Visualization

Abstract

We establish in this paper a fuzzy propositional modal logic, FPML, and the associated semantics, fuzzy Kripke semantics. We prove that FPML is sound and complete. Furthermore, we set up a formalized reasoning mechanism based on FPML.