Probability Logics Probability-Based Formalization of Uncertain Reasoning /

• Κύριοι συγγραφείς: Ognjanović, Zoran (Συγγραφέας), Rašković, Miodrag (Συγγραφέας), Marković, Zoran (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Θέματα: Computer science.; Logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Foundations.

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 axio...

Πίνακας περιεχομένων:

• 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.