Probability Logics: Probability-Based Formalization of Uncertain Reasoning - Couverture souple

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

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

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

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

Edition présentée

ISBN 10 :  3319470116 ISBN 13 :  9783319470115
Editeur : Springer International Publishin..., 2016
Couverture rigide