Extending defeasible logic and defeasible prolog

被引：0
|
作者：
Pietarinen, AV [1 ]
机构：
[1] Univ Helsinki, Dept Philosophy, Helsinki, Finland
来源：
ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2004年 / 110卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-Prolog) is a Prolog metainterpreter to implement DL. We give proof conditions for the even-if clauses of DL with the pre-emption of defeaters to prevent rules from rebutting more specific rules, implemented in d-Prolog.
引用
收藏
页码：1075 / 1076
页数：2
相关论文
共 50 条
  • [1] On Extending RuleML for Modal Defeasible Logic
    Pham, Duy Hoang
    Governatori, Guido
    Raboczi, Simon
    Newman, Andrew
    Thakur, Subhasis
    RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB, RULEML 2008, 2008, 5321 : 89 - +
  • [2] 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
  • [3] Defeasible logic
    Nute, D
    WEB KNOWLEDGE MANAGEMENT AND DECISION SUPPORTS, 2003, 2543 : 151 - 169
  • [4] Modal Rules: Extending Defeasible Logic with Modal Operators
    Governatori, Guido
    RULES AND REASONING (RULEML+RR 2018), 2018, 11092 : 9 - 30
  • [5] A Defeasible Logic for Clauses
    Billington, David
    AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, 7106 : 472 - 480
  • [6] Forgetting for Defeasible Logic
    Antoniou, Grigoris
    Eiter, Thomas
    Wang, Kewen
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-18), 2012, 7180 : 77 - 91
  • [7] A LOGIC FOR DEFEASIBLE RULES
    NUTE, D
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1088 - 1088
  • [8] Annotated defeasible logic
    Governatori, Guido
    Maher, Michael J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 819 - 836
  • [9] Embedding defeasible logic into logic programming
    Antoniou, Grigoris
    Billington, David
    Governatori, Guido
    Maher, Michael J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 703 - 735
  • [10] Embedding defeasible logic into logic programs
    Antoniou, G
    Maher, MJ
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 393 - 404
12345