Description

Book Synopsis
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.

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.

Explanatory Nonmonotonic Reasoning

    Product form

    A Hardback by Alexander Bochman

    £128.25

    Includes FREE delivery

    RRP £135.00 – you save £6.75 (5%)

    Order before 4pm tomorrow for delivery by Fri 23 Oct 2026.

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Explanatory Nonmonotonic Reasoning by Alexander Bochman

      Book details

      Publisher World Scientific Publishing Co Pte Ltd
      Published 20 January 2005
      ISBN-13 9789812561015
      978-9812561015
      ISBN-10 9812561013

      Description

      Book Synopsis
      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.

      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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account