NONMONOTONIC REASONING AND MODAL LOGIC, FROM NEGATION AS FAILURE TO DEFAULT LOGIC

被引：0
|
作者：
BALBIANI, P
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 521卷
关键词：
NONMONOTONIC REASONING; LOGIC PROGRAMMING; MODAL LOGIC;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a modal characterization of two well-known nonmonotonic formalisms : the negation as failure rule and default logic. The semantics of logic programming with the negation as failure rule is described through the definition of a modal completion. In modal logic K4, this completion characterizes provability in logic programming with respect to SLDNF-resolution while in modal logic Pr (the modal logic of provability) it characterizes unprovability in logic programs.
引用
收藏
页码：223 / 231
页数：9
相关论文
共 50 条
  • [1] Default logic and specification of nonmonotonic reasoning
    Engelfriet, J
    Marek, VW
    Treur, J
    Truszczynski, M
    [J]. JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2001, 13 (02) : 99 - 112
  • [2] The role of negation in nonmonotonic logic and defeasible reasoning
    Schurz, G
    [J]. NEGATION: A NOTION IN FOCUS, 1996, 7 : 197 - 231
  • [3] 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming
    José Júlio Alferes
    Luís Moniz Pereira
    Teodor C. Przymusinski
    [J]. Journal of Automated Reasoning, 1998, 20 : 107 - 142
  • [4] 'Classical' negation in nonmonotonic reasoning and logic programming
    Alferes, JJ
    Pereira, LM
    Przymusinski, TC
    [J]. JOURNAL OF AUTOMATED REASONING, 1998, 20 (1-2) : 107 - 142
  • [5] Infinitary default logic for specification of nonmonotonic reasoning
    Engelfriet, J
    Marek, VW
    Treur, J
    Truszczynski, M
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 224 - 236
  • [6] Embedding Modal Nonmonotonic Logics into Default Logic
    Robert Milnikel
    [J]. Studia Logica, 2003, 75 (3) : 377 - 382
  • [7] A modal logic for subjective default reasoning
    Ben-David, S
    Ben-Eliyahu-Zohary, R
    [J]. ARTIFICIAL INTELLIGENCE, 2000, 116 (1-2) : 217 - 236
  • [8] A modal nonmonotonic logic
    Lin, ZQ
    [J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 39 (03): : 303 - 321
  • [9] A modal nonmonotonic logic
    林作铨
    [J]. Science China Technological Sciences, 1996, (03) : 303 - 321
  • [10] An Epistemic Programming Approach for Automated Nonmonotonic Reasoning based on Default Logic
    Goto, Yuichi
    Ito, Takuya
    [J]. 2018 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTING, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2018, : 222 - 227
12345