The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics

被引：0
|
作者：
Borgwardt, Stefan [1 ]
Galano, Jose A. Leyva [1 ]
Penaloza, Rafael [1 ]
机构：
[1] Tech Univ Dresden, Dresden, Germany
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014 | 2014年 / 8761卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We study the fuzzy extension of the Description Logic FL0 with semantics based on the Godel t-norm. We show that subsumption w.r.t. a finite set of primitive definitions, using greatest fixed-point semantics, can be characterized by a relation on weighted automata. We use this result to provide tight complexity bounds for reasoning in this logic, showing that it is PSpace-complete. If the definitions do not contain cycles, subsumption becomes co-NP-complete.
引用
收藏
页码：62 / 76
页数：15
相关论文
共 50 条
  • [1] The fuzzy description logic G-FL0 with greatest fixed-point semantics
    [J]. Borgwardt, Stefan (stefborg@tcs.inf.tu-dresden.de), 1600, Springer Verlag (8761):
  • [2] A fixed-point semantics for Plausible Logic
    Billington, D
    [J]. AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3809 : 812 - 815
  • [3] CLAUSAL INTUITIONISTIC LOGIC .1. FIXED-POINT SEMANTICS
    MCCARTY, LT
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 1 - 31
  • [4] CATEGORICAL FIXED-POINT SEMANTICS
    MULRY, PS
    [J]. THEORETICAL COMPUTER SCIENCE, 1990, 70 (01) : 85 - 97
  • [5] ON THE GREATEST FIXED-POINT OF A SET FUNCTOR
    ADAMEK, J
    KOUBEK, V
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 150 (01) : 57 - 75
  • [6] EXISTENTIAL FIXED-POINT LOGIC
    BLASS, A
    GUREVICH, Y
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 270 : 20 - 36
  • [7] On fixed-point logic with counting
    Flum, J
    Grohe, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (02) : 777 - 787
  • [8] Feedback, trace and fixed-point semantics
    Katis, P
    Sabadini, N
    Walters, RFC
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2002, 36 (02): : 181 - 194
  • [9] Fixed-Point Theorems on Fuzzy Bipolar <mml:semantics>b</mml:semantics>-Metric Spaces
    Ramalingam, Balaji
    Ege, Ozgur
    Aloqaily, Ahmad
    Mlaiki, Nabil
    [J]. SYMMETRY-BASEL, 2023, 15 (10):
  • [10] Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs
    Charalambidis, Angelos
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (191): : 18 - 32
12345