Probability Logics

Probability-Based Formalization of Uncertain Reasoning

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

  • 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 
see more benefits

Buy this book

eBook 79,72 €
price for Spain (gross)
  • ISBN 978-3-319-47012-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-319-47011-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

“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)


Table of contents (7 chapters)

  • Introduction

    Ognjanović, Zoran (et al.)

    Pages 1-17

    Preview Buy Chapter 30,19 €
  • History

    Ognjanović, Zoran (et al.)

    Pages 19-76

    Preview Buy Chapter 30,19 €
  • $$\mathbf {LPP_2}$$ , a Propositional Probability Logic Without Iterations of Probability Operators

    Ognjanović, Zoran (et al.)

    Pages 77-108

    Preview Buy Chapter 30,19 €
  • Probability Logics with Iterations of Probability Operators

    Ognjanović, Zoran (et al.)

    Pages 109-131

    Preview Buy Chapter 30,19 €
  • Extensions of the Probability Logics LPP $$_2$$ and LFOP $$_1$$

    Ognjanović, Zoran (et al.)

    Pages 133-164

    Preview Buy Chapter 30,19 €

Buy this book

eBook 79,72 €
price for Spain (gross)
  • ISBN 978-3-319-47012-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-319-47011-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Probability Logics
Book Subtitle
Probability-Based Formalization of Uncertain Reasoning
Authors
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-47012-2
DOI
10.1007/978-3-319-47012-2
Hardcover ISBN
978-3-319-47011-5
Edition Number
1
Number of Pages
XI, 215
Number of Illustrations and Tables
5 b/w illustrations
Topics