Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Probability Logics
Probability-Based Formalization of Uncertain Reasoning
Taschenbuch von Zoran Ognjanovi¿ (u. a.)
Sprache: Englisch

139,09 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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.
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.
Zusammenfassung

Presents applications of probability logics to real-world reasoning, including default reasoning, spatiotemporal reasoning, and measuring inconsistency

Includes extensive bibliographies pointing to related work

Useful reference for researchers using probability logic, and textbook for graduate courses in logic

Includes supplementary material: [...]

Inhaltsverzeichnis

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.

Details
Erscheinungsjahr: 2018
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: xi
215 S.
5 s/w Illustr.
215 p. 5 illus.
ISBN-13: 9783319836379
ISBN-10: 3319836374
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Ognjanovi¿, Zoran
Markovi¿, Zoran
Ra¿kovi¿, Miodrag
Auflage: Softcover reprint of the original 1st ed. 2016
Hersteller: Springer International Publishing
Springer International Publishing AG
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 235 x 155 x 13 mm
Von/Mit: Zoran Ognjanovi¿ (u. a.)
Erscheinungsdatum: 29.06.2018
Gewicht: 0,359 kg
Artikel-ID: 114238057
Zusammenfassung

Presents applications of probability logics to real-world reasoning, including default reasoning, spatiotemporal reasoning, and measuring inconsistency

Includes extensive bibliographies pointing to related work

Useful reference for researchers using probability logic, and textbook for graduate courses in logic

Includes supplementary material: [...]

Inhaltsverzeichnis

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.

Details
Erscheinungsjahr: 2018
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: xi
215 S.
5 s/w Illustr.
215 p. 5 illus.
ISBN-13: 9783319836379
ISBN-10: 3319836374
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Ognjanovi¿, Zoran
Markovi¿, Zoran
Ra¿kovi¿, Miodrag
Auflage: Softcover reprint of the original 1st ed. 2016
Hersteller: Springer International Publishing
Springer International Publishing AG
Verantwortliche Person für die EU: Books on Demand GmbH, In de Tarpen 42, D-22848 Norderstedt, info@bod.de
Maße: 235 x 155 x 13 mm
Von/Mit: Zoran Ognjanovi¿ (u. a.)
Erscheinungsdatum: 29.06.2018
Gewicht: 0,359 kg
Artikel-ID: 114238057
Sicherheitshinweis