Knowledge
Sharing and Communication among Heterogeneous Autonomous Intelligent
Agents Project
Mini-Course
on Cognitive Robotics
IME-USP, 12th to 17th February 2004
Artificial Intelligence Laboratory,
School of Computer Science
and Engineering,
University of New South
Wales,
AUSTRALIA
From February 9th to February 18th, Dr. Maurice
Pagnucco, senior lecturer at the Artificial Intelligence Laboratory,
University of New South
Wales,
Australia, visited LIAMF,
the Logic, Artificial Intelligence and Formal Methods Group. The visit
was a part of the activities of the project Knowledge
Sharing and Communication among Heterogeneous Autonomous Intelligent
Agents, funded by FAPESP.
On February
12th, 13th, 16th, and 17th, Dr. Pagnucco held a mini-course on
Cognitive Robotics, addressing mainly the Situation Calculus, Golog and
Legolog. This last language was developped by
Levesque and Pagnucco in order to allow researchers and students to
experiment and try the theory of situation calculus on LegoMindstorms
Robotics Invention System.
Course schedule:
- Lecture 1: Thursday, 12/2, 14:00, room 136-A
Introduction to reasoning about action with the situation
calculus
slides (.ps) (.pdf)
- Lecture 2: Friday 13/2, 14:00, room 136-A
Cognitive robotics and introduction to Golog
slides (.ps) (.pdf)
- Lecture 3: Monday 16/2, 14:00, room 247/262-A
(Antônio Gilioli)
Legolog
slides (.ps) (.pdf)
- Lecture 4: Monday 17/2, 14:00, room 247/262-A
(Antônio Gilioli)
Reasoning about knowledge and belief in the situation calculus
slides (.ps) (.pdf)
