Fuzzy Bisimulation for Gödel Modal Logic

Bisimulation is a central concept in the model theory of modal logic with extensive computational applications. It is a relation between two models in which related states have identical atomic properties and matching transition possibilities. Bisimulation captures the expressive power of propositio...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on fuzzy systems 2015-12, Vol.23 (6), p.2387-2396
Main Author: Fan, Tuan-Fang
Format: Article
Language:English
Subjects:
Automata
bisimulation
Cognition
Computational modeling
fuzzy automata
Fuzzy logic
Fuzzy modal logic
fuzzy transition system
mathematical fuzzy logic
Mathematical model
Semantics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Bisimulation is a central concept in the model theory of modal logic with extensive computational applications. It is a relation between two models in which related states have identical atomic properties and matching transition possibilities. Bisimulation captures the expressive power of propositional modal logic in the sense that bisimilar states are not distinguishable by any propositional modal formula. In recent years, fuzzy modal logic has received much attention because of the connection between uncertainty measures and fuzzy modalities. In this paper, we define the notion of fuzzy bisimulation and prove that, in a fuzzified version, it bears the same relationship to fuzzy modal logic that bisimulation bears to propositional modal logic.
ISSN:1063-6706
1941-0034
DOI:10.1109/TFUZZ.2015.2426724