Authors:
- 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
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Reviews
Authors and Affiliations
-
Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia
Zoran Ognjanović, Miodrag Rašković, Zoran Marković
Bibliographic Information
Book Title: Probability Logics
Book Subtitle: Probability-Based Formalization of Uncertain Reasoning
Authors: Zoran Ognjanović, Miodrag Rašković, Zoran Marković
DOI: https://doi.org/10.1007/978-3-319-47012-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Hardcover ISBN: 978-3-319-47011-5Published: 01 November 2016
Softcover ISBN: 978-3-319-83637-9Published: 29 June 2018
eBook ISBN: 978-3-319-47012-2Published: 24 October 2016
Edition Number: 1
Number of Pages: XI, 215
Number of Illustrations: 5 b/w illustrations
Topics: Mathematical Logic and Formal Languages, Artificial Intelligence, Logic, Mathematical Logic and Foundations