A denotational semantics of defeasible logic

被引：0
|
作者：
Maher, MJ [1 ]
机构：
[1] Griffith Univ, CIT, Nathan, Qld 4111, Australia
来源：
COMPUTATIONAL LOGIC - CL 2000 | 2000年 / 1861卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Defeasible logic is an efficient non-monotonic logic for defeasible reasoning. It is defined through a proof theory, and has no model theory. In this paper a denotational semantics is given for defeasible logic, as a step towards a full model theory. The logic is sound and complete wrt this semantics: but the semantics is not completely satisfactory as a model theory. We indicate directions for research that might resolve these issues.
引用
收藏
页码：209 / 222
页数：14
相关论文
共 50 条
  • [1] A denotational semantics for equilibrium logic
    Aguado, Felicidad
    Cabalar, Pedro
    Pearce, David
    Perez, Gilberto
    Vidal, Concepcion
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 620 - 634
  • [2] Argumentation semantics for defeasible logic
    Governatori, G
    Maher, MJ
    Antoniou, G
    Billington, D
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (05) : 675 - 702
  • [3] Denotational semantics for a program logic of objects
    Reus, Bernhard
    Schwinghammer, Jan
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2006, 16 (02) : 313 - 358
  • [4] Argumentation Semantics for Temporal Defeasible Logic
    Riveret, Regis
    Governatori, Guido
    Rotolo, Antonino
    [J]. STAIRS 2006, 2006, 142 : 267 - +
  • [5] A denotational semantics for first-order logic
    Apt, KR
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 53 - 69
  • [6] Well-founded semantics for defeasible logic
    Maier, Frederick
    Nute, Donald
    [J]. SYNTHESE, 2010, 176 (02) : 243 - 274
  • [7] HALO: Haskell to Logic through Denotational Semantics
    Vytiniotis, Dimitrios
    Jones, Simon Peyton
    Rosen, Dan
    Claessen, Koen
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (01) : 431 - 442
  • [8] Well-founded semantics for defeasible logic
    Frederick Maier
    Donald Nute
    [J]. Synthese, 2010, 176 : 243 - 274
  • [9] On the Semantics of Defeasible Reasoning for Description Logic Ontologies
    Viet-Hoai To
    Bac Le
    Ikeda, Mitsuru
    [J]. KNOWLEDGE AND SYSTEMS ENGINEERING (KSE 2013), VOL 1, 2014, 244 : 51 - 63
  • [10] On phase semantics and denotational semantics in multiplicative-additive linear logic
    Bucciarelli, A
    Ehrhard, T
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2000, 102 (03) : 247 - 282
12345