4th January 2010 – Reasoning Machines

robot_medDr Louise Dennis‘s background is in artificial intelligence and, more specifically, in automated reasoning. Over the years she has worked primarily on the development of automated reasoning and theorem-proving tools.

Wouldn’t it be better if a bunch of satellites could take any appropriate action by talking together on their own without awaiting instructions from their ground base? It sounds a bit difficult since we don’t seem to know much about our own reasoning processes – never mind a machine’s.

Join us and discover what machines might do.

Come on in R2D2, why are you sad?

This entry was posted in 2010, monthly_meeting and tagged , . Bookmark the permalink.