
12%
off
off
Explanatory Nonmonotonic Reasoning
Free delivery worldwide
Available. Expected delivery to the United States in 7-10 business days.
Not ordering to the United States? Click here.
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.
show more
show more
Product details
- Hardback | 424 pages
- 155.96 x 237.24 x 27.43mm | 739.36g
- 30 Jan 2005
- World Scientific Publishing Co Pte Ltd
- Singapore, Singapore
- English
- 9812561013
- 9789812561015
Other books in this series
Functional Interpretation Of Logical Deduction, The
04 Dec 2012
Hardback
US$99.92 US$110.00
Save US$10.08
Table of contents
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.
show more
show more
Review quote
.,." written with immense erudition and an unusual, almost superhuman knowledge of the area ..."
show more
show more