BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Universal Artificial Intelligence\, and Probability Monads - Pedro
  Ortega and Frederik Eaton
DTSTART:20070222T130000Z
DTEND:20070222T150000Z
UID:TALK6732@talks.cam.ac.uk
CONTACT:Frederik Eaton
DESCRIPTION:The two halves of this meeting will be on separate topics\, bo
 th of which should be new to most of the regular participants. First\, Ped
 ro Ortega will talk about Universal Artificial Intelligence\, and then Fre
 derik Eaton will talk about Probability Monads.\n\nThe reading for Univers
 al AI is:\n\nM Hutter\, "Universal sequential decisions in unknown environ
 ments":http://www.hutter1.net/ai/pdecision.pdf (2001)\n\nand optionally:\n
 \nM Hutter\, "Universal Algorithmic Intelligence":http://www.hutter1.de/ai
 /aixigentle.pdf\n (2003)\n\nThe reading for Probability Monads is:\n\nP Wa
 dler\, "Comprehending Monads":http://homepages.inf.ed.ac.uk/wadler/papers/
 monads/monads.ps\n (1992)\n(introduction\, section 2\, subsections 3.1 and
  4.1)\n\nN Ramsey\, A Pfeffer\, "Stochastic Lambda Calculus and Monads of 
 Probability Distributions":http://www.eecs.harvard.edu/nr/pubs/pmonad.pdf\
 n (2002)\n\nand optionally:\n\nD Koller\, D McAllester\, A Pfeffer "Effect
 ive Bayesian Inference for Stochastic Programs":http://ai.stanford.edu/~ko
 ller/Papers/Koller+al:AAAI97a.pdf\n (1997)\n\nS Park\, F Pfenning\, S Thru
 n\, "A Monadic Probabilistic Language":http://www-2.cs.cmu.edu/People/fp/p
 apers/prob03.pdf\n (2003)\n\nAlso\, Frederik has written a glossary of sor
 ts for Wadler 1992 which should be read first: "Comprehending 'Comprehendi
 ng Monads'":http://ofb.net/~frederik/comp2.pdf\n\n
LOCATION:5th floor meeting room\, Engineering Department
END:VEVENT
END:VCALENDAR