Explanatory nonmonotonic reasoning / Alexander Bochman.

Format:

Book

Author/Creator:

Bochman, Alexander, 1955-

Series:

Advances in logic ; v. 4.

Advances in logic ; v. 4

Language:

English

Subjects (All):

Nonmonotonic reasoning.

Artificial intelligence.

Physical Description:

1 online resource (424 p.)

Edition:

1st ed.

Place of Publication:

Hackensack, NJ : World Scientific, c2005.

Language Note:

English

Summary:

Many approaches in the field of nonmonotonic and ""commonsense"" reasoning are actually different representations of the same basic ideas and constructions. This book gives a logical formalization of the original, explanatory approach to nonmonotonic reasoning. It uses the basic formalism of biconsequence relations, as well as derived systems of default, autoepistemic and causal inference, to cover in a single framework such diverse systems as default logic, autoepistemic and modal nonmonotonic logics, input/output and causal logics, argumentation theory, and semantics of general logic program

Contents:

Preface; Contents; Chapter 1 Introduction; Chapter 2 Scott Consequence Relations; Chapter 3 Biconsequence Relations; Chapter 4 Four-Valued Logics; Chapter 5 Nonmonotonic Semantics; Chapter 6 Default Consequence Relations; Chapter 7 Argumentation Theory; Chapter 8 Production and Causal Inference; Chapter 9 Epistemic Consequence Relations; Chapter 10 Modal Nonmonotonic Logics; Bibliography; Index

Notes:

Description based upon print version of record.

Includes bibliographical references (p. 395-402) and index.

ISBN:

9786611372545

9781281372543

1281372544

9789812567802

9812567801

OCLC:

475965534