Mathematics and Cognition Seminar
Spring 2008
Tuesdays 12:15 PM
PSA 206
Seminar Series Schedule:<http://math.la.asu.edu/~tom/cognition/math+cogsched.html>
Cookies and Coffee Starting at 12:00
Note the Special Location!

NOTE THE SPECIAL DATE AND LOCATION!

On Thursday, March 20, at 12:15 in ECA 219,
the Mathematics and Cognition Seminar
will present a discussion with

Dr. David Wolpert,
Intellegent Systems Division
NASA Ames Research Center

on the topic

"Recent developments on the physical limits of inference"

Abstract:

 In this talk I first review the fact that all physical devices that perform observation, prediction, or recollection share an underlying mathematical structure. Devices with that structure are called inference devices''.

I then present new existence and impossibility results concerning inference devices.  These results have close connections with the mathematics of Turing Machines (TM's), e.g., some of the impossibility results for inference devices are related to the Halting theorem for TM's. Furthermore, one can define an analog of Universal TM's (UTM's) for inference devices, called “strong inference devices”. Strong inference devices can be used to define the ``inference complexity'' of an inference task, which is the analog of the Kolmogorov complexity of computing a string.  Whereas the Kolmogorov complexity of a string is arbitrary up to specification of the UTM, there is no such arbitrariness in the inference complexity of an inference task. I present some new results bounding inference complexity.

Next I present some new graph-theoretic properties that govern any set of multiple inference devices. After this I present an extension of the framework to address physical devices that are used for control. I end with an extension of the framework to address probabilistic inference.

Directions
ECA is the building just across the street from the bookstore. The conference rooms if on the second floor on the east end of the hallway. Satellite Image