Executable temporal logic for non-monotonic reasoning

被引：4
|
作者：
Engelfriet, J
Treur, J
机构：
[1] Free University Amsterdam, Dept. of Math. and Computer Science, 1081 HV Amsterdam
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1996年 / 22卷 / 5-6期
关键词：
D O I：
10.1006/jsco.1996.0068
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we view non-monotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning processes. We show that it is possible to execute finite specifications in this language, which leads to executability of a large class of finite non-monotonic reasoning processes. (C) 1996 Academic Press Limited.
引用
收藏
页码：615 / 625
页数：11
相关论文
共 50 条
  • [1] Redundancy in logic III: Non-monotonic reasoning
    Liberatore, Paolo
    [J]. ARTIFICIAL INTELLIGENCE, 2008, 172 (11) : 1317 - 1359
  • [2] Prolegomena to logic programming for non-monotonic reasoning
    Dix, J
    Pereira, LM
    Przymusinski, T
    [J]. NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 1 - 36
  • [3] NoMoRe: Non-monotonic reasoning with logic programs
    Anger, C
    Konczak, K
    Linke, T
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 521 - 524
  • [4] A unifying view for logic programming with non-monotonic reasoning
    Brogi, A
    Lamma, E
    Mancarella, P
    Mello, P
    [J]. THEORETICAL COMPUTER SCIENCE, 1997, 184 (1-2) : 1 - 59
  • [5] ANCIENT INDIAN LOGIC AS A THEORY OF NON-MONOTONIC REASONING
    OETKE, C
    [J]. JOURNAL OF INDIAN PHILOSOPHY, 1996, 24 (05) : 447 - 539
  • [6] A Non-Monotonic Logic as a Pattern of Reasoning in the Unfavorable Conditions
    Wojtowicz, Anna
    Trepczynski, Marcin
    [J]. FILOZOFIA NAUKI, 2011, 19 (02): : 99 - +
  • [7] A non-monotonic Description Logic for reasoning about typicality
    Giordano, L.
    Gliozzi, V.
    Olivetti, N.
    Pozzato, G. L.
    [J]. ARTIFICIAL INTELLIGENCE, 2013, 195 : 165 - 202
  • [8] A framework to incorporate non-monotonic reasoning into constraint logic programming
    Dix, J
    Stolzenburg, F
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 47 - 76
  • [9] A Logic for Context-Aware Non-monotonic Reasoning Agents
    Rakib, Abdur
    Ul Haque, Hafiz Mahfooz
    [J]. HUMAN-INSPIRED COMPUTING AND ITS APPLICATIONS, PT I, 2014, 8856 : 453 - 471
  • [10] Semantic matchmaking as non-monotonic reasoning: A description logic approach
    Di Noia, Tommaso
    Di Sciascio, Eugenio
    Donini, Francesco M.
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 29 : 269 - 307
12345