Inductive Inference 1.1

Lloyd Allison, School of Computer Science and Software Engineering, Monash University, Clayton, Victoria, Australia 3800.

LA home
Computing
 Algorithms
 Bioinformatics
 FP,  λ
 Logic,  π
 MML
 Prog.Langs

FP
 II
  #refs
  TR'153
  Ver.1.1(.hs)
   mMm
   tsm
   Bnet

  Ver.1.0

Technical Report 2004/153.
May 2004.

Abstract: Examined, the succinct expression of general solutions to inductive inference problems. Haskell types and type classes define the properties of various kinds of statistical model -- distributions, function models and time-series. This is an application of Haskell which itself has applications, and is almost as general as Haskell's own area of application. Case studies in inductive inference, including mixtures of Markov models, state-based time-series, missing data, and mixed Bayesian networks, illustrate the functional style of programming with models. Polymorphic types, type inference, high-order functions and lazy evaluation are all useful.

Keywords: Bayesian networks, inductive inference, machine learning, minimum message length, MDL, MML, statistical models.

[TR153.pdf], [seminar slides].

Also see [more refs] and later work.

window on the wide world:

Computer Science Education Week

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite,
ver 3.4+

The GIMP
~ free photoshop
Firefox
web browser
FlashBlock
like it says!

© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of Computer Science and Software Engineering, Fac. Info. Tech., Monash University,
was Department of Computer Science, Fac. Comp. & Info. Tech., '89 was Department of Computer Science, Fac. Sci., '68-'71 was Department of Information Science, Fac. Sci.)
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Tuesday, 21-Oct-2014 23:00:03 EST.