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 条
  • [21] Defeasible logic with dynamic priorities
    Antoniou, G
    ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, 77 : 521 - 525
  • [22] Defeasible Logic on an Embedded Microcontroller
    Michael A. Covington
    Applied Intelligence, 2000, 13 : 259 - 264
  • [23] Argumentation semantics for defeasible logic
    Governatori, G
    Maher, MJ
    Antoniou, G
    Billington, D
    JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (05) : 675 - 702
  • [24] Defeasible logic with dynamic priorities
    Antoniou, G
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2004, 19 (05) : 463 - 472
  • [25] Dialogue games in defeasible logic
    Thakur, S.
    Governatori, G.
    Padmanabhan, V.
    Lundstrom, J. Eriksson
    AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 497 - +
  • [26] On ASPIC+ and Defeasible Logic
    Lam, Ho-Pun
    Governatori, Guido
    Riveret, Regis
    COMPUTATIONAL MODELS OF ARGUMENT, 2016, 287 : 359 - 370
  • [27] A denotational semantics of defeasible logic
    Maher, MJ
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [28] Formalizing defeasible logic in CAKE
    Madalinska-Bugaj, E
    Lukaszewicz, W
    FUNDAMENTA INFORMATICAE, 2003, 57 (2-4) : 193 - 213
  • [29] Norm Modifications in Defeasible Logic
    Governatori, Guido
    Palmirani, Monica
    Riveret, Regis
    Rotolo, Antonio
    Sartor, Giovanni
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2005, 134 : 13 - 22
  • [30] Visualization of Proofs in Defeasible Logic
    Avguleas, Ioannis
    Gkirtzou, Katerina
    Triantafilou, Sofia
    Bikakis, Antonis
    Antoniou, Grigoris
    Kontopoulos, Efstratios
    Bassiliades, Nick
    RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB, RULEML 2008, 2008, 5321 : 197 - +
12345