The Automation of Reasoning with Incomplete Information

From Semantic Foundations to Efficient Computation

By: Torsten Schaub

Write A Review

Paperback | 1 June 1998

At a Glance

Paperback
180 Pages

Dimensions(cm)
23.39 x 15.6 x 0.97

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available.
A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Expert Systems & Knowledge-Based Systems Mathematics Mathematical Foundation Mathematical Logic

Preface	p. v
Acknowledgments	p. vii
Introduction	p. 1
The plan of the book	p. 4
The book in context	p. 6
Preliminaries	p. 9
The original approach: Classical default logic	p. 11
Formal properties	p. 13
Restricted default theories	p. 18
A semantics for classical default logic	p. 20
An alternative approach: Constrained default logic	p. 23
Motivation	p. 23
Constrained default logic	p. 24
Formal properties	p. 26
The focused models semantics	p. 28
Variations of constrained default logic	p. 30
Conclusion	p. 32
Putting default logics into perspective	p. 33
Variants modifying the notion of consistency	p. 33
A guiding example	p. 33
Justified default logic	p. 34
Constrained default logic: Revisited	p. 37
Rational default logic	p. 40
Variants recording consistency assumptions	p. 41
Cumulative default logic	p. 42
Variants of cumulative default logic	p. 47
Other Variants	p. 50
Conclusion	p. 51
A context-based framework for default logics	p. 53
Motivation	p. 53
Contextual default logic	p. 55
Embedding existing default logics	p. 58
Formal properties	p. 61
Conclusion	p. 62
Possible worlds semantics for default logics	p. 63
Motivation	p. 63
Possible worlds semantics for constrained default logic	p. 65
Possible worlds semantics for classical default logic	p. 67
Possible worlds semantics for justified default logic	p. 69
Possible worlds semantics for contextual default logic	p. 72
Conclusion	p. 74
Adding specificity to default logics	p. 75
Motivation	p. 75
Determination of specificity information	p. 76
Compiling specificity into default theories	p. 80
Conclusion	p. 82
Adding lemma handling to default logics	p. 85
Motivation	p. 85
Lemma handling in constrained default logic	p. 86
Lemma handling in classical default logic	p. 90
Conclusion	p. 90
Query-answering in default logics	p. 93
Motivation	p. 93
Computational characterizations	p. 96
A method for query-answering in default logics	p. 98
The connection method	p. 99
Complementarity	p. 100
Admissibility	p. 102
Compatibility	p. 103
Characterizing default proofs	p. 105
Implementing the approach	p. 106
An algorithm	p. 107
A preliminary case-study	p. 111
An incremental approach	p. 112
An alternative characterization of extensions	p. 113
Incremental compatibility	p. 114
An incremental algorithm	p. 116
Discussion	p. 119
Experiments	p. 121
A straightforward implementation	p. 121
Implementations separating compatibility	p. 123
Implementations integrating compatibility	p. 125
Extensions	p. 127
Integration of lemma handling	p. 128
Model-based consistency-checking	p. 129
Skeptical query-answering	p. 131
Conclusion	p. 132
A Prolog-technology compiler for query-answering 135
Motivation	p. 135
Implementing query-answering	p. 136
Extensions and implementation	p. 140
Conclusion	p. 141
Conclusions and perspectives	p. 143
Appendix	p. 147
Original definition of rational extensions	p. 147
Modal logic	p. 148
References	p. 149
Table of Contents provided by Publisher. All Rights Reserved.

The Automation of Reasoning with Incomplete Information

From Semantic Foundations to Efficient Computation

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Nexus

A Brief History of Information Networks from the Stone Age to AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The Tech Coup

How to Save Democracy from Silicon Valley

Creative Machines

AI, Art & Us

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Python All-in-One For Dummies

3rd Edition

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

The Shortest History of AI

Building Machine Learning Systems with a Feature Store

Batch, Real-Time, and LLM Systems

Artificial Intelligence and Human Existence

Insights on Education, Technology, and Society

Causal Inference and Machine Learning

In Economics, Social, and Health Sciences

Deep Learning Applications in Operations Research

Metaheuristics in Engineering Applications

Advances in Metaheuristics

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Thermal and Flow Measurements

It's Not in the Manual

Real-World Leadership for Security and Risk Professionals

Digital Hermeneutics II

Sources, Analysis, Interpretation, Annotation, and Curation : Third International Workshop, Frankfurt am Main, Germany, November 23-24, 2023, Revised Selected Papers

Learning and Reasoning

4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings

Proceedings of the International Symposium on Intelligent Computing and Networking 2025

ISICN 2025

Knowledge Science, Engineering and Management

18th International Conference, KSEM 2025, Macao, China, August 4-7, 2025, Proceedings, Part IV

Quantum Computing from Hopfield Nets

A Textbook with Python Code Examples

This product is categorised by