Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Edición: | 1st ed. 2016. |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-47012-2 | ||
| 003 | DE-He213 | ||
| 005 | 20220113132937.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 161024s2016 sz | s |||| 0|eng d | ||
| 020 | |a 9783319470122 |9 978-3-319-47012-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-47012-2 |2 doi | |
| 050 | 4 | |a QA267-268.5 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 005.131 |2 23 |
| 100 | 1 | |a Ognjanović, Zoran. |e author. |0 (orcid)0000-0003-2508-6480 |1 https://orcid.org/0000-0003-2508-6480 |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Probability Logics |h [electronic resource] : |b Probability-Based Formalization of Uncertain Reasoning / |c by Zoran Ognjanović, Miodrag Rašković, Zoran Marković. |
| 250 | |a 1st ed. 2016. | ||
| 264 | 1 | |a Cham : |b Springer International Publishing : |b Imprint: Springer, |c 2016. | |
| 300 | |a XI, 215 p. 5 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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 axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature. An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic. | ||
| 650 | 0 | |a Machine theory. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 1 | 4 | |a Formal Languages and Automata Theory. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a Logic. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 700 | 1 | |a Rašković, Miodrag. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 700 | 1 | |a Marković, Zoran. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319470115 |
| 776 | 0 | 8 | |i Printed edition: |z 9783319470139 |
| 776 | 0 | 8 | |i Printed edition: |z 9783319836379 |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-3-319-47012-2 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||