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 条

[1] SKEPTICAL REASONING IN CONSTRAINED DEFAULT LOGIC USING SEQUENT CALCULUS
Lupea, Mihaiela
[J]. KEPT 2009: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2009, : 275 - 282
[2] A sequent calculus for skeptical default logic
Bonatti, PA
Olivetti, N
[J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 107 - 121
[3] Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
Milnikel, RS
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2005, 44 (1-2) : 1 - 34
[4] Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
Robert Saxon Milnikel
[J]. Annals of Mathematics and Artificial Intelligence, 2005, 44 : 1 - 34
[5] Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus
Lupea, Mihaiela
[J]. PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, 2009, : 47 - 53
[6] A Sequent Calculus for Counterfactual Reasoning
McCall, McKenna
Loh, Lay Kuan
Jia, Limin
[J]. PROCEEDINGS OF THE 2017 WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS' 17), 2017, : 91 - 106
[7] A tree-sequent calculus for a natural predicate extension of Visser's propositional logic
Ishigaki, Ryo
Kikuchi, Kentaro
[J]. LOGIC JOURNAL OF THE IGPL, 2007, 15 (02) : 149 - 164
[8] A Sequent Calculus for Urn Logic
French, Rohan
[J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2015, 24 (02) : 131 - 147
[9] A Sequent Calculus for Urn Logic
Rohan French
[J]. Journal of Logic, Language and Information, 2015, 24 : 131 - 147
[10] A SEQUENT CALCULUS FOR KROGER LOGIC
SZABO, ME
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 295 - 303

← 1 2 3 4 5 →