Probability Logics
Probability-Based Formalization of Uncertain Reasoning
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
142.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Probability Logics “
Klappentext zu „Probability Logics “
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.
Inhaltsverzeichnis zu „Probability Logics “
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.Bibliographische Angaben
- Autoren: Zoran Ognjanovic , Miodrag Raskovic , Zoran Markovic
- 2018, Softcover reprint of the original 1st ed. 2016, XI, 215 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer, Berlin
- ISBN-10: 3319836374
- ISBN-13: 9783319836379
Sprache:
Englisch
Pressezitat
"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)Kommentar zu "Probability Logics"
Schreiben Sie einen Kommentar zu "Probability Logics".
Kommentar verfassen