OpenMind Commonsense
And some tools for computerized ontologies.
Monday, February 20, 2006
Sunday, February 19, 2006
ZAP: About Zinfandel: The Zinfandel Aroma Wheel
ZAP: About Zinfandel: The Zinfandel Aroma Wheel
In case you need some help identifying the aromas in your zin.
In case you need some help identifying the aromas in your zin.
Tuesday, February 14, 2006
Wednesday, February 08, 2006
How to Run Algorithmic Information Theory on a Computer
I missed this talk.
Algorithmic Information Theory is recursive function theory plus program complexity.
Chaitin wants to have a real programming language (pure LISP with some enhancements) and a real computer (a particular Universal Turing Machine) and then actually do real stuff, like list out all possible theorems and score them...
LISP is enhanced with a handful of functions. Most importantly, try
(try time-limit expression binary-data).
What this does is evaluate the expression on the data and return at the earlier of when the evaluation is complete or time-limit is exceeded.
Algorithmic Information Theory is recursive function theory plus program complexity.
Chaitin wants to have a real programming language (pure LISP with some enhancements) and a real computer (a particular Universal Turing Machine) and then actually do real stuff, like list out all possible theorems and score them...
LISP is enhanced with a handful of functions. Most importantly, try
(try time-limit expression binary-data).
What this does is evaluate the expression on the data and return at the earlier of when the evaluation is complete or time-limit is exceeded.
Subscribe to:
Posts (Atom)
