menu
{ "item_title" : "Explanatory Nonmonotonic Reasoning", "item_author" : [" Alexander Bochman "], "item_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.", "item_img_path" : "https://covers4.booksamillion.com/covers/bam/9/81/256/101/9812561013_b.jpg", "price_data" : { "retail_price" : "153.00", "online_price" : "153.00", "our_price" : "153.00", "club_price" : "153.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Explanatory Nonmonotonic Reasoning|Alexander Bochman

Explanatory Nonmonotonic Reasoning

local_shippingShip to Me
On Order. Usually ships in 2-4 weeks
FREE Shipping for Club Members help

Overview

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.

This item is Non-Returnable

Details

  • ISBN-13: 9789812561015
  • ISBN-10: 9812561013
  • Publisher: World Scientific Publishing Company
  • Publish Date: January 2005
  • Dimensions: 9.34 x 6.14 x 1.08 inches
  • Shipping Weight: 1.63 pounds
  • Page Count: 424

Related Categories

You May Also Like...

    1

BAM Customer Reviews