Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics Sequent calculi for skeptical consequence in predicate default logic, predicate stable model logic programming, and infinite autoepistemic theories are presented and proved sound and complete. While skeptical consequence is decidable in the finite propositional case of all three formalisms, the move to predicate or infinite theories increases the complexity of skeptical reasoning to being Π 1 1 -complete. This implies the need for sequent rules with countably many premises, and such rules are employed. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

Loading next page...
 
/lp/springer-journals/sequent-calculi-for-skeptical-reasoning-in-predicate-default-logic-and-saH1hAgwSC

References (39)

Publisher
Springer Journals
Copyright
Copyright © 2005 by Springer
Subject
Computer Science; Artificial Intelligence (incl. Robotics); Mathematics, general; Computer Science, general; Complex Systems
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/s10472-005-1808-3
Publisher site
See Article on Publisher Site

Abstract

Sequent calculi for skeptical consequence in predicate default logic, predicate stable model logic programming, and infinite autoepistemic theories are presented and proved sound and complete. While skeptical consequence is decidable in the finite propositional case of all three formalisms, the move to predicate or infinite theories increases the complexity of skeptical reasoning to being Π 1 1 -complete. This implies the need for sequent rules with countably many premises, and such rules are employed.

Journal

Annals of Mathematics and Artificial IntelligenceSpringer Journals

Published: Feb 7, 2005

There are no references for this article.