Probability Logics: Probability-Based Formalization of Uncertain Reasoning - Softcover

Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran

 
9783319470139: Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9783319470115: Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Vorgestellte Ausgabe

ISBN 10:  3319470116 ISBN 13:  9783319470115
Verlag: Springer, 2016
Hardcover