×

IBAL

swMATH ID: 8945
Software Authors: Avi Pfeffer
Description: IBAL: a probabilistic rational programming language. In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the situation. This paper presents IBAL, a rational programming language for probabilistic and decision-theoretic agents. IBAL provides a rich declarative language for describing probabilistic models. The expression language allows the description of arbitrarily complex generative models. In addition, IBAL’s observation language makes it possible to express and compose rejective models that result from conditioning on the observations. IBAL also integrates Bayesian parameter estimation and decisiontheoretic utility maximization thoroughly into the framework. All these are packaged together into a programming language that has a rich type system and built-in extensibility. This paper presents a detailed account of the syntax and semantics of IBAL, as well as an overview of the implementation.
Homepage: http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.1299
Related Software: Church; BLOG; PRISM; FACTORIE; PR-OWL; BUGS; Haskell; BayesOWL; ProbLog; MEBN; Infer.NET; KnowRob; Dyna; SPOOK; darch; PITA; UnBBayes; trueskill; ETPS; Blaise
Cited in: 27 Publications

Citations by Year