Probability Logics

Probability Logics

Probability-Based Formalization of Uncertain Reasoning

Raskovic, Miodrag; Markovic, Zoran; 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