opening it up with Common Lisp

Favorite weblogs

Lisp Related

Bill Clementson

Finding Lisp

Lemonodor

Lispmeister.com

Planet Lisp

Politics

Orcinus

Talking Points Memo

This Modern World

Working for Change

Other home

Polliblog

Recent Readings

Book review: Darwinia
Reviewed: Friday, August 11, 2006

Summer reading: Spin
Reviewed: Saturday, August 5, 2006

Runner
Reviewed: Tuesday, July 18, 2006

the Omnivoire's Delimma
Reviewed: Wednesday, July 12, 2006

the Golem's Eye
Reviewed: Wednesday, May 31, 2006





tinderbox

Principles and Applications of Continual Computation
Eric Horvitz, 2001 , (Paper URL)
Wednesday, July 21, 2004

That paper provides a pedestrian treatment of an uplifting idea: use excess computational power to help answer future questions. Although this isn't an original idea — I know of web browsers that attempted this at least 10-years ago and some of these were pretty sophisticated. — Horvitz does frame the problem in a formal enough way that he can prove things about how to minimize the total computational delay or how to maximize the quality of answers. These proofs fit into specific scenarios constraining the kinds of problems they can handle (e.g., are they all or nothing or do they fit into an anytime algorithm framework). He also takes into account memory, caching and the real-time nature of some domains.

Looking back over the paper now, I'm not completely certain what it is that I don't like about it. It is well written, complete, and moderately formal. Perhaps that is the problem: its treatment is too formal and sucks the life out of something that should be fun. I react to it in the same way I react to statistical treatments of language learning — yes, we need the formality and some parts of language learning are statistical but statistics aren't the whole story. All the talk of policies and optimization leaves me thinking that the focus is too syntactic. What about semantics and pragmatics? They are harder to talk about and perhaps impossible to formalize sufficiently but they are where our computations begin to matter.

This is a stretch (and a reference to only a so-so movie) but until we computer scientists and artificial intelligence researchers understand the anger of Will Smith's character in I, Robot, we're going to keep creating tools and applications that are brittle and that fail to meet the whole wonderful and wacky world we live in.


Home | About | Quotes | Recent | Archives

Copyright -- Gary Warren King, 2004 - 2006