Wednesday, March 21, 2012

Lecture of Prof. Kowalski

Watch online the latest lecture from Professor Robert Kowalski (Professor Emeritus and Senior Research Fellow, Department of Computing, Imperial College, London, UK) (March 8th, 2012 at 12:00-14:00, Auditorium III, AUTH Research Committee )


Video of the Lecture

Slides of the Lecture in PDF


Research in AI has built upon the tools and techniques of many different disciplines, including formal logic, probability theory, decision theory, management science, linguistics and philosophy. However, the application of these disciplines in AI has necessitated the development of many enhancements and extensions. Among the most powerful of these are the methods of computational logic. I will argue that computational logic, embedded in an agent cycle, combines and improves upon both traditional logic and classical decision theory. I will also argue that many of its methods can be used, not only in AI, but also in ordinary life, to help people improve their own human intelligence without the assistance of computers

No comments: