Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics

被引:9
作者
Nguyen, Linh Anh [1 ]
Nguyen, Ngoc Thanh [2 ]
机构
[1] Univ Warsaw, Fac Math Informat & Mech, PL-02097 Warsaw, Poland
[2] Wroclaw Univ Sci & Technol, Fac Informat & Commun Technol, PL-50370 Wroclaw, Poland
关键词
Semantics; Fuzzy logic; Data structures; Abstract algebra; Urban areas; Task analysis; Symbols; Bisimulation; description logic (DL); fuzzy logic; logical similarity; GREATEST RIGHT; SIMULATIONS; COMPUTATION; AUTOMATA;
D O I
10.1109/TFUZZ.2022.3198853
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Fuzzy description logics (FDLs) are useful for dealing with fuzzy terminological knowledge for domains with linked data. Logical similarity or indiscernibility between individuals with respect to a given FDL is a fuzzy measure, which becomes crisp when the logic is extended with the Baaz projection operator. The measure is closely related to bisimulation. While logical indiscernibility is defined semantically, its corresponding notion based on bisimulation enables the computation. In this article, we study crisp bisimulations between fuzzy interpretations in FDLs with the Baaz projection operator under a general semantics based on an abstract algebra of fuzzy truth values. We define such bisimulations for a large class of FDLs with a rich set of well-known concept and role constructors, including qualified/unqualified number restrictions, nominals and the role constructors that correspond to the program constructors of propositional dynamic logic. We formulate and prove their logical characterizations, including the invariance of concepts under crisp bisimulations and the Hennessy-Milner property of crisp bisimulations. Such logical characterizations do not depend on a concrete semantics, such as the Godel, Lukasiewicz, and product semantics. Based on crisp bisimulations, we also study indiscernibility of individuals in FDLs with the Baaz projection operator. An interesting consequence of our results states that, when restricting to the considered FDLs and image-finite fuzzy interpretations that are witnessed and modally saturated, indiscernibility of individuals is independent from the underlying algebra of fuzzy truth values in the case without number restrictions, and it is the same for both the Godel and product semantics in the case with number restrictions.
引用
收藏
页码:1294 / 1304
页数:11
相关论文
共 53 条
[1]  
Nguyen LA, 2020, Arxiv, DOI arXiv:2008.02857
[2]  
[Anonymous], 1984, Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, DOI DOI 10.1007/978-94-009-6259-04
[3]  
Baaz M., 1996, P LOG FDN MATH COMP, V6, P23
[4]  
Blackburn P., 2001, SER CAMBRIDGE TRACTS
[5]  
Bobillo F., 2015, Handbook of Mathematical Fuzzy Logic Volume III, Vol. 58 of Studies in Logic, VIII, P1105
[6]   Fuzzy Description Logics - A Survey [J].
Borgwardt, Stefan ;
Penaloza, Rafael .
SCALABLE UNCERTAINTY MANAGEMENT (SUM 2017), 2017, 10564 :31-45
[7]   A Behavioral Distance for Fuzzy-Transition Systems [J].
Cao, Yongzhi ;
Sun, Sherry X. ;
Wang, Huaiqing ;
Chen, Guoqing .
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (04) :735-747
[8]   Bisimulations for Fuzzy-Transition Systems [J].
Cao, Yongzhi ;
Chen, Guoqing ;
Kerre, Etienne E. .
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2011, 19 (03) :540-552
[9]   Computation of the greatest simulations and bisimulations between fuzzy automata [J].
Ciric, Miroslav ;
Ignjatovic, Jelena ;
Jancic, Ivana ;
Damljanovic, Nada .
FUZZY SETS AND SYSTEMS, 2012, 208 :22-42
[10]   Bisimulations for fuzzy automata [J].
Ciric, Miroslav ;
Ignjatovic, Jelena ;
Damljanovic, Nada ;
Basic, Milan .
FUZZY SETS AND SYSTEMS, 2012, 186 (01) :100-139