Of Starships and Klingons: Bayesian Logic for the 23rd Century

2012/07/04 by Kathryn Blackmond Laskey, Laskey, Kathryn Blackmond, Paulo da Costa +1
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #cs.AI

paper · pdf · doi:10.48550/arxiv.1207.1354

Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

arxiv created 2012/07/04 · arxiv updated 2012/07/09

Abstract

Intelligent systems in an open world must reason about many interacting entities related to each other in diverse ways and having uncertain features and relationships. Traditional probabilistic languages lack the expressive power to handle relational domains. Classical first-order logic is sufficiently expressive, but lacks a coherent plausible reasoning capability. Recent years have seen the emergence of a variety of approaches to integrating first-order logic, probability, and machine learning. This paper presents Multi-entity Bayesian networks (MEBN), a formal system that integrates First Order Logic (FOL) with Bayesian probability theory. MEBN extends ordinary Bayesian networks to allow representation of graphical models with repeated sub-structures, and can express a probability distribution over models of any consistent, finitely axiomatizable first-order theory. We present the logic using an example inspired by the Paramount Series StarTrek.

Related

• Bayesian Logic Programs
• Using First-Order Probability Logic for the Construction of Bayesian Networks
• Combining Bayesian Networks with Higher-Order Data Representations
• Human-aided Multi-Entity Bayesian Networks Learning from Relational Data
• Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assesments