Proving quantified literals in Defeasible Logic

被引：0
|
作者：
Billington, D [1 ]
机构：
[1] Griffith Univ, Sch Comp & Informat Technol, Brisbane, Qld 4111, Australia
来源：
INFORMATION SCIENCES | 1999年 / 116卷 / 01期
关键词：
D O I：
10.1016/S0020-0255(98)10093-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Defeasible Logic is a nonmonotonic reasoning approach which has an efficient implementation. Currently Defeasible Logic can only prove ground literals. We describe a version of Defeasible Logic which is capable of proving existentially and universally closed literals, as well as ground literals. The intuition motivating the formalism is presented, and some of its properties are proved. We also discuss and justify the claim that existentially and universally closed literals can be proved. (C) 1999 Elsevier Science Inc. All rights reserved.
引用
收藏
页码：55 / 81
页数：27
相关论文
共 50 条
  • [1] On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic
    Allaire, Marc
    Governatori, Guido
    [J]. PRIMA 2014: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, 2014, 8861 : 74 - 90
  • [2] Defeasible logic
    Nute, D
    [J]. WEB KNOWLEDGE MANAGEMENT AND DECISION SUPPORTS, 2003, 2543 : 151 - 169
  • [3] Extending defeasible logic and defeasible prolog
    Pietarinen, AV
    [J]. ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 1075 - 1076
  • [4] Boolean Propagation Based on Literals for Quantified Boolean Formulae
    Stephan, Igor
    [J]. ECAI 2006, PROCEEDINGS, 2006, 141 : 452 - +
  • [5] A Defeasible Logic for Clauses
    Billington, David
    [J]. AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2011, 7106 : 472 - 480
  • [6] Embedding defeasible logic into logic programming
    Antoniou, Grigoris
    Billington, David
    Governatori, Guido
    Maher, Michael J.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 703 - 735
  • [7] Forgetting for Defeasible Logic
    Antoniou, Grigoris
    Eiter, Thomas
    Wang, Kewen
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-18), 2012, 7180 : 77 - 91
  • [8] Annotated defeasible logic
    Governatori, Guido
    Maher, Michael J.
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 819 - 836
  • [9] A LOGIC FOR DEFEASIBLE RULES
    NUTE, D
    [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1088 - 1088
  • [10] Embedding defeasible logic into logic programs
    Antoniou, G
    Maher, MJ
    [J]. LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 393 - 404
12345