Propositional Clausal Defeasible Logic

被引：16
|
作者：
Billington, David [1 ]
机构：
[1] Griffith Univ, Sch ICT, Brisbane, Qld 4111, Australia
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2008年 / 5293卷
关键词：
Defeasible logic; Non-monotonic reasoning; Knowledge representation and reasoning; Artificial intelligence;
D O I：
10.1007/978-3-540-87803-2_5
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Defeasible logics are non-monotonic reasoning systems that have efficient implementations and practical applications. We list several desirable properties and note that each defeasible logic fails to have some of these properties. We define and explain a new defeasible logic, called clausal defeasible logic (CDL), which has all these properties. CDL is easy to implement, consistent, detects loops, terminates, and has a range of deduction algorithms to cater for a range of intuitions.
引用
收藏
页码：34 / 47
页数：14
相关论文
共 50 条
  • [21] Preferences of agents in defeasible logic
    Dastani, M
    Governatori, G
    Rotolo, A
    van der Torre, L
    AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3809 : 695 - 704
  • [22] Dynamic superiorities in Defeasible Logic
    Olivieri, Francesco
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [23] Relating defeasible logic to extended logic programs
    Antoniou, G
    METHODS AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2002, 2308 : 54 - 64
  • [24] Temporal extensions to defeasible logic
    Governatori, Guido
    Terenziani, Paolo
    AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 476 - +
  • [25] A bounded translation of intuitionistic propositional logic into basic propositional logic
    Aghaei, M
    Ardeshir, M
    MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 199 - 206
  • [26] ALE defeasible description logic
    Pothipruk, Pakornpong
    Governatori, Guido
    AI 2006: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4304 : 110 - +
  • [27] Nested rules in defeasible logic
    Song, I
    Governatori, G
    RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2005, 3791 : 204 - 208
  • [28] A study of provability in defeasible logic
    Maher, MJ
    Antoniou, G
    Billington, D
    ADVANCED TOPICS IN ARTIFICIAL INTELLIGENCE, 1998, 1502 : 215 - 226
  • [29] Normal forms for defeasible logic
    Antoniou, G
    Billington, D
    Maher, MJ
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 160 - 174
  • [30] Meaning Negotiation with Defeasible Logic
    Cristani, Matteo
    Rotolo, Antonino
    AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGY AND APPLICATIONS, 2018, 74 : 67 - 76
12345