Nonmonotonic Reasoning Logical Foundations of Commonsense

Name: Nonmonotonic Reasoning Logical Foundations of Commonsense
Price: 47.49 USD
Availability: InStock
ISBN: 9780521181303

ISBN-10: 0521181305

ISBN-13: 9780521181303

Edition: 2010

Authors: Gerhard Brewka

List price: $54.95

30 day, 100% satisfaction guarantee!

Marketplace

2 new & used from $47.49

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Book details

List price: $54.95
Copyright year: 2010
Publisher: Cambridge University Press
Publication date: 3/29/2012
Binding: Paperback
Pages: 184
Size: 6.69" wide x 9.61" long x 0.39" tall
Weight: 0.660
Language: English



Foreword


Preface


Acknowledgements



Introduction



What is Nonmonotonic Reasoning?



Types of Nonmonotonicity



Applications of Nonmonotonic Reasoning



An Overview of this Book



Modal Nonmonotonic Logics



McDermott and Doyle's Nonmonotonic Logic



Autoepistemic Logic



Hierarchic Autoepistemic Logic



Default Logic



Defaults, Default Theories and Extensions



Which Defaults are Needed?



The Relation Between DL and AEL



Cumulative Default Logic



Circumscription



Predicate Circumscription



Variable Circumscription



Prioritized Circumscription



The Relation Between Circumscription and DL/AEL



Preferential Entailment: A Semantical Framework



Preferred Subtheories



A Framework for Nonmonotonic Systems



Poole's System: Default Reasoning as Theory Construction



First Generalization: Levels of Reliability



Second Generalization: Partially Ordered Defaults



Related Work



A Conditional Approach



Delgrande's Logic N



Using N for Nonmonotonic Inference



Nonmonotonic Theorem Proving



Expressiveness Versus Tractability



Circumscriptive Theorem Proving



Theorem Proving in Default Logic



A Modal Default Prover



Inheritance Systems



A Classification



The Logic of Frames with Exceptions



An Approach Based on DL



Touretzky's Credulous System



A System for Skeptical Inheritance



Further Approaches



Nonmonotonic Rule-Based Systems



Introduction



Nonmonotonic Formal Systems: A Generalization of DL



Nonmonotonic Process Systems: A Pragmatic Approach



Dependency Directed Backtracking



Nonmonotonic Reasoning - Where Do We Stand?



What has been Achieved?



The Yale Shooting Problem



What Next?


Logical Syntax


References


Index