Book Description:
Special Interest Categories: Artificial Intelligence, Computer Science

The capability to reason in a world full of uncertainties, vagueness and ignorance is what distinguishes humans. This ability to argument in a partially known world is the informal definition of common-sense reasoning. The question how common-sense reasoning is performed occupied humanity since we can think of. Last century this issue reached an immense importance. Especially during the last three decades the study of common-sense reasoning became one of the major research topics in Artificial Intelligence (AI). Several formalisms to capture the mechanism of common-sense reasoning have been proposed so far. This book concentrates on presenting the most important formalisms for common-sense reasoning, and, showing that one of the discussed formalisms serves perfectly to capture the mechanism of common-sense reasoning, since this formalism subsumes all other in this book introduced formalisms dealing with common-sense reasoning.

Table of Contents:
Preface

1 Monotonic Reasoning
1.1 Set Theory
1.2 Propositional Logic
1.3 Consequences of a Theory

2 Nonmonotonic Reasoning
2.1 Foundations
2.2 Nonmonotonic Systems
2.3 Objections

3 Argumentation Systems
3.1 Formal Development
3.2 Basic Properties
3.3 Separable Argumentation Systems
3.4 Remarks

4 Reiter’s Default Logic
4.1 Syntactic Development
4.2 Semantics of Default Logic
4.3 Translation

5 Autoepistemic Logic
5.1 Autoepistemic Expansions
5.2 Embedding
5.3 Relations To Default Logic
5.4 Inverse Transformation

6 Modified Default Logic
6.1 Modified Extensions
6.2 Semantics for Modified Default Logic
6.3 Characterization of Modified Extensions

7 Alternative Formalizations
7.1 Constrained Default Logic
7.2 Hypothetical Default Logic
7.3 Constrained vs. Hypothetical Default Reasoning
7.4 Super-normal Default Theories

8 Minimization and Falsification
8.1 Circumscription
8.2 Negation as Failure
8.3 Argumentation Systems and Minimization

Bibliography

Index