A fixed-point semantics for Plausible Logic

被引：0
|
作者：
Billington, D [1 ]
机构：
[1] Griffith Univ, Sch Informat & Commun Technol, Brisbane, Qld 4111, Australia
来源：
AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE | 2005年 / 3809卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Plausible Logic is a non-monotonic logic with an efficient implementation, but no semantics. This paper gives Plausible Logic a fixed-point semantics, similar to the extensions of Reiter's Default Logic. The proof theory is sound but deliberately incomplete with respect to this semantics. This is because the semantics is an attempt to define what follows from a plausible theory, rather than merely giving a different characterisation of what is provable.
引用
收藏
页码：812 / 815
页数：4
相关论文
共 50 条
  • [1] CLAUSAL INTUITIONISTIC LOGIC .1. FIXED-POINT SEMANTICS
    MCCARTY, LT
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 1 - 31
  • [2] CATEGORICAL FIXED-POINT SEMANTICS
    MULRY, PS
    [J]. THEORETICAL COMPUTER SCIENCE, 1990, 70 (01) : 85 - 97
  • [3] EXISTENTIAL FIXED-POINT LOGIC
    BLASS, A
    GUREVICH, Y
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 270 : 20 - 36
  • [4] On fixed-point logic with counting
    Flum, J
    Grohe, M
    [J]. JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (02) : 777 - 787
  • [5] Feedback, trace and fixed-point semantics
    Katis, P
    Sabadini, N
    Walters, RFC
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2002, 36 (02): : 181 - 194
  • [6] The fuzzy description logic G-FL0 with greatest fixed-point semantics
    [J]. Borgwardt, Stefan (stefborg@tcs.inf.tu-dresden.de), 1600, Springer Verlag (8761):
  • [7] 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
  • [8] Equivalence of two fixed-point semantics for definitional higher-order logic programs
    Charalambidis, Angelos
    Rondogiannis, Panos
    Symeonidou, Ioanna
    [J]. THEORETICAL COMPUTER SCIENCE, 2017, 668 : 27 - 42
  • [9] The Fuzzy Description Logic G-FL0 with Greatest Fixed-Point Semantics
    Borgwardt, Stefan
    Galano, Jose A. Leyva
    Penaloza, Rafael
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 62 - 76
  • [10] A FIXED-POINT SEMANTICS FOR FEATURE TYPE SYSTEMS
    EMELE, M
    ZAJAC, R
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 383 - 388
12345