Probability logics : probability-based formalization of uncertain reasoning /: probability-based formalization of uncertain reasoning. ([2016])

• Record Type: Book
• Further Information: Note: Zoran Ognjanović, Miodrag Rašković, Zoran Marković.
• Authors: Ognjanović, Zoran; Rašković, Miodrag; Marković, Zoran
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2016
• Copyright Date: 2016
• Extent: 1 online resource (xi, 215 pages), illustrations
• Subjects: 511.3/18; Computer science; Probabilities; Uncertainty (Information theory); MATHEMATICS -- General; Probabilities; Uncertainty (Information theory); Computer Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logic; Mathematical Logic and Foundations; Computers -- Intelligence (AI) & Semantics; Philosophy -- Logic; Mathematics -- Logic; Artificial intelligence; Philosophy: logic; Mathematical foundations; Artificial intelligence; Logic; Logic, Symbolic and mathematical; Mathematical theory of computation; Electronic books
• Languages: English
• ISBNs: 9783319470122; 3319470124
• Related ISBNs: 9783319470115; 3319470116
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (EBSCO, viewed April 3, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.