In: International Conference on Software Engineering (14th : 1992 : Melbourne, Vic). 14th International Conference on Software Engineering: Proceedings. New York: Association for Computing Machinery, 1992: 158-172.
Pfeffer, Avi. 2005. The Design and Implementation of IBAL: A General-Purpose Probabilistic Language. Harvard Computer Science Group Technical Report TR-12-05.
This paper describes IBAL, a high level representation language for probabilistic AI. IBAL integrates several aspects of probability-based rational behavior, including probabilistic reasoning, Bayesian parameter estimation and decision theoretic utility maximization. IBAL is based on the functional programming paradigm, and is an ideal rapid prototyping language for probabilistic modeling. The paper presents the IBAL language, and presents a number of examples in the language. It then discusses the semantics of IBAL, presenting the semantics in two different ways. Finally, the inference algorithm of IBAL is presented. Seven desiderata are listed for inference, and it is shown how the algorithm fulfills each of them. Engineering and Applied Sciences