Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics

Bisimulation is a well-known notion in modal logic and the theory of labeled transition systems. It is used for characterizing indiscernibility between states and has important applications in minimizing structures, separating expressive powers of modal and related logics, as well as concept learnin...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on fuzzy systems Jg. 29; H. 7; S. 1715 - 1724
Hauptverfasser:	Nguyen, Linh Anh, Tran, Dat Xuan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.07.2021 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Adaptation models Algorithms Automata Complexity Complexity theory Computation Computational modeling Fans Fuzzy automata fuzzy bisimulation fuzzy description logics fuzzy labeled transition systems Fuzzy logic Semantics Social networking (online)
ISSN:	1063-6706, 1941-0034
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!