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 条
  • [31] A denotational semantics of defeasible logic
    Maher, MJ
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [32] Combining description logic and Defeasible Logic for the Semantic Web
    Wang, KW
    Billington, D
    Blee, J
    Antoniou, G
    [J]. RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 170 - 181
  • [33] A logic of defeasible argumentation: Constructing arguments in justification logic
    Pandzic, Stipe
    [J]. ARGUMENT & COMPUTATION, 2022, 13 (01) : 3 - 47
  • [34] On Influence and Contractions in Defeasible Logic Programming
    Garcia, Diego R.
    Gottifredi, Sebastian
    Kruempelmann, Patrick
    Thimm, Matthias
    Kern-Isberner, Gabriele
    Falappa, Marcelo A.
    Garcia, Alejandro J.
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 199 - 204
  • [35] An ASP Implementation of Defeasible Deontic Logic
    Governatori, Guido
    [J]. KUNSTLICHE INTELLIGENZ, 2024,
  • [36] Defeasible logic programming:: an argumentative approach
    García, AJ
    Simari, GR
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 95 - 138
  • [37] A defeasible logic reasoner for the Semantic Web
    Bassiliades, N
    Antoniou, G
    Vlahavas, L
    [J]. RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS, 2004, 3323 : 49 - 64
  • [38] Logical control of an elevator with defeasible logic
    Covington, MA
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (07) : 1347 - 1349
  • [39] A java implementation of temporal defeasible logic
    CIRSFID/Law School, University of Bologna, Italy
    [J]. Lect. Notes Comput. Sci., 1600, (297-304):
  • [40] From Defeasible Logic to Counterfactual Reasoning
    Cristani, Matteo
    Governatori, Guido
    Olivieri, Francesco
    Rotolo, Antonino
    [J]. RULES AND REASONING, RULEML+RR 2022, 2022, 13752 : 65 - 80
12345