A sequent calculus for skeptical reasoning in predicate default logic - (Extended abstract)

被引：0
|
作者：
Milnikel, RS [1 ]
机构：
[1] Kenyon Coll, Gambier, OH 43022 USA
来源：
SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING | 2003年 / 2711卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A sound and complete sequent calculus for skeptical consequence in predicate default logic is presented. While skeptical consequence is decidable in the finite propositional case, the move to predicate or infinite theories increases the complexity of skeptical reasoning to being II11-complete. This implies the need for sequent rules with countably many premises, and such rules are employed.
引用
下载
收藏
页码：564 / 575
页数：12
相关论文
共 50 条
  • [41] Reasoning by cases in default logic
    Roos, N
    ARTIFICIAL INTELLIGENCE, 1998, 99 (01) : 165 - 183
  • [42] DEFAULT REASONING IN A TERMINOLOGICAL LOGIC
    SEBASTIANI, F
    STRACCIA, U
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (03): : 225 - 251
  • [43] A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur
    Pkhakadze, Sopo
    Tompits, Hans
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2019, 2019, 11481 : 163 - 177
  • [44] Description logic with default reasoning
    Dong, Ming-Kai
    Jiang, Yun-Cheng
    Shi, Zhong-Zhi
    Jisuanji Xuebao/Chinese Journal of Computers, 2003, 26 (06): : 729 - 736
  • [45] A base logic for default reasoning
    Zhou Beihai
    Mao Yi
    FRONTIERS OF PHILOSOPHY IN CHINA, 2006, 1 (04) : 688 - 709
  • [46] AN EXTENDED FRAMEWORK FOR DEFAULT REASONING
    ABDALLAH, MAN
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 339 - 348
  • [47] Rule-Irredundancy and the Sequent Calculus for Core Logic
    Tennant, Neil
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2016, 57 (01) : 105 - 125
  • [48] Suppes-style sequent calculus for probability logic
    Boricic, Marija
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (04) : 1157 - 1168
  • [49] Algebraic logic for rational Pavelka predicate calculus
    Dragulici, D
    Georgescu, G
    MATHEMATICAL LOGIC QUARTERLY, 2001, 47 (03) : 315 - 326
  • [50] Three Types and Traditions of Logic: Syllogistic, Calculus and Predicate Logic
    Kienzler, Wolfgang
    PHILOSOPHY OF LOGIC AND MATHEMATICS, 2020, 27 : 133 - 152
12345