
Explanatory Nonmonotonic Reasoning
Alexander Bochman(Author)
World Scientific Publishing Co Pte Ltd
Published on 20. January 2005
Book
Hardback
424 pages
978-981-256-101-5 (ISBN)
Description
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 programs with negation as failure. This approach provides a clear separation between logical (monotonic) and nonmonotonic aspects of nonmonotonic reasoning. The separation allows, in particular, to single out the logics underlying modern logic programming and restore thereby the connection between logic programming and logic.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
Professional and scholarly
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 237 mm
Width: 156 mm
Thickness: 27 mm
Weight
739 gr
ISBN-13
978-981-256-101-5 (9789812561015)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Content
Scott Consequence Relations; Biconsequence Relations; Four-Valued Logics; Nonmonotonic Semantics; Default Consequence Relations; Argumentation Theory; Production and Causal Inference; Epistemic Consequence Relations; Modal Nonmonotonic Logics.