Probability Logics
Probability-Based Formalization of Uncertain Reasoning
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Presents applications of probability logics to real-world reasoning, including default reasoning, spatiotemporal reasoning, and measuring inconsistency Includes extensive bibliographies pointing to related work Useful reference for researchers using probability logic, and textbook for graduate courses in logic Includes supplementary material: sn.pub/extras
Autor*in
Zoran Ognjanović
Themen in »Probability Logics«
Probability Logic Uncertain Reasoning Satisfiability Checking Probability Functions First-Order Logic Default Reasoning Knowledge Inconsistency Real-World Reasoning Spatiotemporal Reasoning
Stimmen zu »Probability Logics«
“This is a book that presents a logical view of probabilistic inference and, despite its biases and choice of presentation, should be of interest for students and researchers who are interested in such a foundational view of the interactions of logic and probabilities.” (Computing Reviews, June, 2017)
()