Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

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

Uproszczony widok
dc.abstract.enBisimulation 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 learning in description logics (DLs). Fuzzy bisimulation is a counterpart of bisimulation for dealing with fuzzy structures. In this article, we present an efficient algorithm with a complexity O((m+n)n) for computing the greatest fuzzy bisimulation between two finite fuzzy interpretations in the fuzzy DL fALC under the Gödel semantics, where n is the number of individuals and m is the number of nonzero instances of roles in the given fuzzy interpretations. We also adapt our algorithm for computing fuzzy bisimulations and simulations between fuzzy finite automata, as well as for dealing with other fuzzy DLs. The resulting algorithms are much more efficient than the previously known ones, as they reduce the complexity from O(n5) to O((m+n)n) .
dc.affiliationUniwersytet Warszawski
dc.contributor.authorTran, Dat Xuan
dc.contributor.authorNguyen, Anh Linh
dc.date.accessioned2024-01-24T19:52:50Z
dc.date.available2024-01-24T19:52:50Z
dc.date.issued2021
dc.description.financePublikacja bezkosztowa
dc.description.number7
dc.description.volume29
dc.identifier.doi10.1109/TFUZZ.2020.2985000
dc.identifier.issn1063-6706
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/103488
dc.identifier.weblinkhttp://xplorestaging.ieee.org/ielx7/91/9470877/09056459.pdf?arnumber=9056459
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofIEEE Transactions on Fuzzy Systems
dc.relation.pages1715-1724
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleComputing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics
dc.typeJournalArticle
dspace.entity.typePublication