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

Simple item page
dc.contributor.authorLaskey, Kathryn B.
dc.contributor.authorCosta, Paulo C. G.
dc.date.accessioned2006-01-27T22:58:37Z
dc.date.available2006-01-27T22:58:37Z
dc.date.issued2005-07
dc.description.abstractIntelligent 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.sponsorshipOffice of Naval Research, number N00014-04-M-0277 Brazilian Air Forceen
dc.format.extent1320334 bytes
dc.format.mimetypeapplication/pdf
dc.identifier.citationLaskey, 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.
dc.identifier.urihttps://hdl.handle.net/1920/453
dc.language.isoen_US
dc.publisherAUAI Pressen
dc.relation.ispartofseriesC4I-05-04
dc.subjectMulti-entity Bayesian networks
dc.subjectFirst-Order Bayesian Logic
dc.subjectProbabilistic Reasoning
dc.subjectDecision support
dc.subjectKnowledge representation
dc.titleOf Starships and Klingons: Bayesian Logic for the 23rd Century
dc.typeArticle

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
UAI05_Laskey_Costa.pdf
Size:
1.26 MB
Format:
Adobe Portable Document Format
Description:
Main Article - PDF format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.72 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Papers and Publications, Center of Excellence in Command, Control, Communications, and Intelligence