Zoran Ognjanovic,
Zoran Ognjanović,
Miodrag Raskovic,
Miodrag Rašković,
Zoran Markovic,
Zoran Marković
e.a.
Springer International Publishing
e druk, 2018
9783319836379
Probability Logics
Probability-Based Formalization of Uncertain Reasoning
Specificaties
Paperback, blz.
|
Engels
Springer International Publishing |
e druk, 2018
ISBN13: 9783319836379
Rubricering
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9783319836379
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing
Inhoudsopgave
<p>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.</p>