Probability Logics Probability-Based Formalization of Uncertain Reasoning /

• Main Authors: Ognjanović, Zoran (Author), Rašković, Miodrag (Author), Marković, Zoran (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Subjects: Computer science.; Logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Foundations.

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 axio...

Table of 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.