Probability Logics
Probability-Based Formalization of Uncertain Reasoning

Authors: Zoran Ognjanović, Miodrag Rašković, Zoran Marković



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

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.

Table of contents

Front Matter
Pages i-xi

Introduction
Pages 1-17

History
Pages 19-76

LPP2LPP2 , a Propositional Probability Logic Without Iterations of Probability Operators
Pages 77-108

Probability Logics with Iterations of Probability Operators
Pages 109-131

Extensions of the Probability Logics LPP 22 and LFOP 11
Pages 133-164

Some Applications of Probability Logics
Pages 165-185

Related Work
Pages 187-200

Back Matter
Pages 201-215

原版 PDF + EPUB: