Central Library

Normal view MARC view ISBD view

Probability Logics [electronic resource] : Probability-Based Formalization of Uncertain Reasoning / by Zoran Ognjanović, Miodrag Rašković, Zoran Marković.

By: Ognjanović, Zoran [author.].
Contributor(s): Rašković, Miodrag [author.] | Marković, Zoran [author.] | SpringerLink (Online service).
Material type: materialTypeLabelBookPublisher: Cham : Springer International Publishing : Imprint: Springer, 2016Description: XI, 215 p. 5 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319470122.Subject(s): Computer science | Logic | Mathematical logic | Artificial intelligence | Computer Science | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics) | Logic | Mathematical Logic and FoundationsAdditional physical formats: Printed edition:: No titleDDC classification: 005.131 Online resources: Click here to access online
Contents:
Introduction, Historical Background -- Syntax and Semantics of Probability Logics -- Completeness -- Decidability -- Heuristic Procedure for Satisfiability Checking -- Qualitative Probabilities -- Probability Functions -- Intuitionistic, Temporal, First-Order Logic -- Conditional Probabilities -- Probabilistic Approach to Default Reasoning -- Reasoning About Evidence -- Measuring Knowledge Inconsistency.
In: Springer eBooksSummary: The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature. An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.
    average rating: 0.0 (0 votes)
No physical items for this record

Introduction, Historical Background -- Syntax and Semantics of Probability Logics -- Completeness -- Decidability -- Heuristic Procedure for Satisfiability Checking -- Qualitative Probabilities -- Probability Functions -- Intuitionistic, Temporal, First-Order Logic -- Conditional Probabilities -- Probabilistic Approach to Default Reasoning -- Reasoning About Evidence -- Measuring Knowledge Inconsistency.

The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature. An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.

There are no comments for this item.

Log in to your account to post a comment.