IBAL
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.
Keywords for this software
References in zbMATH (referenced in 13 articles )
Showing results 1 to 13 of 13.
Sorted by year (- De Raedt, Luc; Kimmig, Angelika: Probabilistic (logic) programming concepts (2015)
- Sangiorgi, Davide: Higher-order languages: bisimulation and coinductive equivalences (extended abstract) (2014)
- Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen: Measure transformer semantics for Bayesian machine learning (2013)
- Gordon, Andrew D.; Aizatulin, Mihhail; Borgstrom, Johannes; Claret, Guillaume; Graepel, Thore; Nori, Aditya V.; Rajamani, Sriram K.; Russo, Claudio: A model-learner pattern for Bayesian reasoning (2013)
- Freer, Cameron E.; Roy, Daniel M.: Computable de Finetti measures (2012)
- Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc: The magic of logical inference in probabilistic programming (2011)
- Freer, Cameron E.; Roy, Daniel M.: Computable exchangeable sequences have computable de Finetti measures (2009)
- van Otterlo, Martijn: The logic of adaptive behavior. Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains. (2009)
- Dietterich, Thomas G.; Domingos, Pedro; Getoor, Lise; Muggleton, Stephen; Tadepalli, Prasad: Structured machine learning: The next ten years (2008)
- Hasan, Osman; Tahar, Sofiène: Verification of probabilistic properties in HOL using the cumulative distribution function (2007)
- Hasan, Osman; Tahar, Sofiène: Formalization of the standard uniform random variable (2007)
- Angelopoulos, Nicos; Cussens, James: Prolog issues and experimental results of an MCMC algorithm (2003)
- Siskind, Jeffrey Mark: Reconstructing force-dynamic models from video sequences (2003)