Probability Logics
-15%
portes grátis
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
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.
