AutoBayes: A System for Generating Data Analysis Programs from Statistical Models

Fischer, Bernd and Schumann, Johann (2003) AutoBayes: A System for Generating Data Analysis Programs from Statistical Models Journal of Functional Programming, 13, (3), pp. 483-508.


[img] PDF jfp2001.pdf - Other
Download (320kB)


Data analysis is an important scientific task which is required whenever information needs to be extracted from raw data. Statistical approaches to data analysis, which use methods from probability theory and numerical analysis, are well-founded but dificult to implement: the development of a statistical data analysis program for any given application is time-consuming and requires substantial knowledge and experience in several areas. In this paper, we describe AutoBayes, a program synthesis system for the generation of data analysis programs from statistical models. A statistical model specifies the properties for each problem variable (i.e., observation or parameter) and its dependencies in the form of a probability distribution. It is a fully declarative problem description, similar in spirit to a set of differential equations. From such a model, AutoBayes generates optimized and fully commented C/C++ code which can be linked dynamically into the Matlab and Octave environments. Code is produced by a schema-guided deductive synthesis process. A schema consists of a code template and applicability constraints which are checked against the model during synthesis using theorem proving technology. AutoBayes augments schema-guided synthesis by symbolic-algebraic computation and can thus derive closed-form solutions for many problems. It is well-suited for tasks like estimating best-fitting model parameters for the given data. Here, we describe AutoBayes's system architecture, in particular the schema-guided synthesis kernel. Its capabilities are illustrated by a number of advanced textbook examples and benchmarks.

Item Type: Article
ISSNs: 0956-7968 (print)
Organisations: Electronic & Software Systems
ePrint ID: 262356
Date :
Date Event
May 2003Published
Date Deposited: 12 Apr 2006
Last Modified: 17 Apr 2017 21:42
Further Information:Google Scholar

Actions (login required)

View Item View Item