Mason Archival Repository Service

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

Show simple item record Laskey, Kathryn B. Costa, Paulo C. G. 2006-01-27T22:58:37Z 2006-01-27T22:58:37Z 2005-07
dc.identifier.citation Laskey, Kathryn B.; and Costa, Paulo .C.G. (2005) Of Starships and Klingons: Bayesian Logic for the 23rd Century, in Uncertainty in Artificial Intelligence: Proceedings of the Twenty-first Conference. 2005, AUAI Press: Edinburgh, Scotland. en
dc.description.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, whereas 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. We present the logic using an example inspired by the Paramount Series Star Trek. MEBN semantics integrates random variables as formalized in mathematical statistics with model theoretic semantics for first-order logic.
dc.description.sponsorship Office of Naval Research, number N00014-04-M-0277 Brazilian Air Force en
dc.format.extent 1320334 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US en
dc.publisher AUAI Press en
dc.relation.ispartofseries C4I-05-04
dc.subject multi-entity Bayesian networks en_US
dc.subject First-Order Bayesian Logic en_US
dc.subject Probabilistic Reasoning en_US
dc.subject Decision Support en_US
dc.subject knowledge representation en_US
dc.title Of Starships and Klingons: Bayesian Logic for the 23rd Century en
dc.type Article en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search MARS


My Account