Probability Logics Probability-Based Formalization of Uncertain Reasoning /

The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axio...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Ognjanović, Zoran (Autor), Rašković, Miodrag (Autor), Marković, Zoran (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Temas:
Machine theory.
Artificial intelligence.
Logic.
Mathematical logic.
Formal Languages and Automata Theory.
Artificial Intelligence.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares