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 all top 5 Cited by 57 Authors 3 Borgström, Johannes 3 Gordon, Andrew D. 3 Hasan, Osman 3 Tahar, Sofiène 2 De Raedt, Luc 2 Freer, Cameron E. 2 Getoor, Lise 2 Greenberg, Michael D. 2 Kimmig, Angelika 2 Lloyd, John Wylie 2 Margetson, James 2 Mauá, Denis Deratani 2 Ng, Kee Siong 2 Roy, Daniel M. 2 Sangiorgi, Davide 2 Uther, William T. B. 2 Van Gael, Jurgen 1 Abdallah, Samer A. 1 Aizatulin, Mihhail 1 Angelopoulos, Nicos 1 Bach, Stephen H. 1 Broecheler, Matthias 1 Bruynooghe, Maurice 1 Carvalho, Rommel N. 1 Claret, Guillaume 1 Costa, Paulo C. G. 1 Cozman, Fabio G. 1 Crubillé, Raphaëlle 1 Cussens, James 1 Dal Lago, Ugo 1 Dietterich, Thomas G. 1 Domingos, Pedro 1 Gagliardi Cozman, Fabio 1 Graepel, Thore 1 Gutmann, Bernd 1 Howard, Catherine 1 Huang, Bert 1 Hutter, Marcus 1 Kane, Jonathan M. 1 Laskey, Kathryn B. 1 Morrisett, Greg 1 Muggleton, Stephen H. 1 Nori, Aditya Vithal 1 Park, Sungwoo 1 Pfenning, Frank 1 Rajamani, Sriram K. 1 Russo, Claudio V. 1 Siskind, Jeffrey Mark 1 Stumptner, Markus 1 Sylvester, Zoltán 1 Tadepalli, Prasad 1 Thon, Ingo 1 Thrun, Sebastian 1 van Otterlo, Martijn 1 Vignudelli, Valeria 1 Wingate, David Lionel 1 Wolinsky, Matt all top 5 Cited in 13 Serials 3 International Journal of Approximate Reasoning 2 Artificial Intelligence 2 Machine Learning 1 ACM Computing Surveys 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Annals of Mathematics and Artificial Intelligence 1 Theory and Practice of Logic Programming 1 Journal of Machine Learning Research (JMLR) 1 Journal of Applied Logic 1 Frontiers in Artificial Intelligence and Applications 1 Logical Methods in Computer Science 1 Mathematical Geosciences all top 5 Cited in 8 Fields 26 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 5 Probability theory and stochastic processes (60-XX) 3 Statistics (62-XX) 1 History and biography (01-XX) 1 Numerical analysis (65-XX) 1 Geophysics (86-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year