Probability Logics

Probability Logics

Probability-Based Formalization of Uncertain Reasoning

Markovic, Zoran; Raskovic, Miodrag; Ognjanovic, Zoran

Springer International Publishing AG

06/2018

215

Mole

Inglês

9783319836379

15 a 20 dias

3577

Descrição não disponível.

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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

Probability Logic;Uncertain Reasoning;Satisfiability Checking;Probability Functions;First-Order Logic;Default Reasoning;Knowledge Inconsistency;Real-World Reasoning;Spatiotemporal Reasoning