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

07/04/2012
by   Kathryn Blackmond Laskey, et al.
0

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.

READ FULL TEXT

page 5

page 7

research
06/06/2018

MEBN-RM: A Mapping between Multi-Entity Bayesian Network and Relational Model

Multi-Entity Bayesian Network (MEBN) is a knowledge representation forma...
research
03/06/2013

Using First-Order Probability Logic for the Construction of Bayesian Networks

We present a mechanism for constructing graphical models, specifically B...
research
06/06/2018

Human-aided Multi-Entity Bayesian Networks Learning from Relational Data

An Artificial Intelligence (AI) system is an autonomous system which emu...
research
03/24/2016

An Expressive Probabilistic Temporal Logic

This paper argues that a combined treatment of probabilities, time and a...
research
06/06/2018

Reference Model of Multi-Entity Bayesian Networks for Predictive Situation Awareness

During the past quarter-century, situation awareness (SAW) has become a ...
research
07/11/2012

Propositional and Relational Bayesian Networks Associated with Imprecise and Qualitative Probabilistic Assesments

This paper investigates a representation language with flexibility inspi...
research
09/25/2021

Logical Credal Networks

This paper introduces Logical Credal Networks, an expressive probabilist...

Please sign up or login with your details

Forgot password? Click here to reset