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 条
  • [1] Correcting Missing Data Anomalies with Clausal Defeasible Logic
    Darcy, Peter
    Stantic, Bela
    Sattar, Abdul
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 2010, 6295 : 149 - 163
  • [2] Propositional defeasible logic has linear complexity
    Maher, MJ
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 691 - 711
  • [3] Vivifying Propositional Clausal Formulae
    Piette, Cedric
    Hamadi, Youssef
    Sais, Lakhdar
    ECAI 2008, PROCEEDINGS, 2008, 178 : 525 - +
  • [4] On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic
    Allaire, Marc
    Governatori, Guido
    PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2014, 8861 : 74 - 90
  • [5] Defeasible logic
    Nute, D
    WEB KNOWLEDGE MANAGEMENT AND DECISION SUPPORTS, 2003, 2543 : 151 - 169
  • [6] Extending defeasible logic and defeasible prolog
    Pietarinen, AV
    ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 1075 - 1076
  • [7] NON-CLAUSAL α-MINIMAL GENERALIZED RESOLUTION PRINCIPLE FOR LATTICE-VALUED PROPOSITIONAL LOGIC
    Jia, Hairui
    Du, Limin
    Xu, Yang
    UNCERTAINTY MODELLING IN KNOWLEDGE ENGINEERING AND DECISION MAKING, 2016, 10 : 465 - 470
  • [8] Propositional Logic as a Propositional Fuzzy Logic
    Callejas Bedregal, Benjamin Rene
    Cruz, Anderson Paiva
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
  • [9] A Defeasible Logic for Clauses
    Billington, David
    AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, 7106 : 472 - 480
  • [10] A combination of clausal and non clausal temporal logic programs
    Kono, S
    EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 40 - 57
12345