First-order ground non-monotonic modal logic

被引：0
|
作者：
Grimberg, Benjamin
Kaminski, Michael [1 ]
机构：
[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
来源：
FUNDAMENTA INFORMATICAE | 2008年 / 83卷 / 03期
关键词：
first-order ground non-monotonic modal logic; first-order default logic; preference semantics; minimal model semantics; Herbrand semantics;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We study the extension of propositional ground non-monotonic modal logic to the first-order case. We show that first-order ground non-monotonic modal logic well complies with first-order default logic by interpreting the latter in the former by the Truszczynski like translation and present a minimal model semantics of first-order ground non-monotonic modal logic.
引用
收藏
页码：253 / 276
页数：24
相关论文
共 50 条
  • [31] TABLEAU-BASED TRANSLATION FROM FIRST-ORDER LOGIC TO MODAL LOGIC
    Perkov, Tin
    Mikec, Luka
    REPORTS ON MATHEMATICAL LOGIC, 2021, 56 : 57 - 74
  • [32] A Resilient Behavior Approach Based on Non-monotonic Logic
    Medina, Jose Luis Vilchis
    Siegel, Pierre
    Risch, Vincent
    Doncescu, Andrei
    ADVANCES IN SOFT COMPUTING, MICAI 2019, 2019, 11835 : 403 - 413
  • [33] ANCIENT INDIAN LOGIC AS A THEORY OF NON-MONOTONIC REASONING
    OETKE, C
    JOURNAL OF INDIAN PHILOSOPHY, 1996, 24 (05) : 447 - 539
  • [34] Pronto: A non-monotonic probabilistic description logic reasoner
    Klinov, Pavel
    SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS, 2008, 5021 : 822 - 826
  • [35] A unifying view for logic programming with non-monotonic reasoning
    Brogi, A
    Lamma, E
    Mancarella, P
    Mello, P
    THEORETICAL COMPUTER SCIENCE, 1997, 184 (1-2) : 1 - 59
  • [36] Learning non-monotonic logic programs: Learning exceptions
    Dimopoulos, Y
    Kakas, A
    MACHINE LEARNING: ECML-95, 1995, 912 : 122 - 137
  • [37] A Non-Monotonic Logic as a Pattern of Reasoning in the Unfavorable Conditions
    Wojtowicz, Anna
    Trepczynski, Marcin
    FILOZOFIA NAUKI, 2011, 19 (02): : 99 - +
  • [38] Belief revision in non-monotonic reasoning and logic programming
    Alferes, Jose Julio
    Moniz Pereira, Luis
    Przymusinski, Teodor C.
    Fundamenta Informaticae, 1996, 28 (1-2): : 1 - 22
  • [39] Hybrid Probabilistic Logic Programs with non-monotonic negation
    Saad, E
    Pontelli, E
    LOGIC PROGRAMMING, PROCEEDINGS, 2005, 3668 : 204 - 220
  • [40] Autonomous Aerial Vehicle Based on Non-Monotonic Logic
    Medina, Jose Luis Vilchis
    Siegel, Pierre
    Doncescu, Andrei
    VEHITS: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON VEHICLE TECHNOLOGY AND INTELLIGENT TRANSPORT SYSTEMS, 2017, : 236 - 241
12345