The Cognitive Robotics Group

University of Toronto

Project Leaders: Hector Levesque Ray Reiter
Research Scientist: Fangzhen Lin
Research Assistants: Jeff Lloyd Daniel Marcu
External Collaborators: Gerhard Lakemeyer Yves Lespérance
Javier Pinto Richard Scherl
Graduate Students: Mikhail Soutchanski Eugenia Ternovskaia

The Cognitive Robotics Group is concerned with endowing robotic or software agents with higher level cognitive functions that involve reasoning, for example, about goals, perception, actions, the mental states of other agents, collaborative task execution, etc. To do this, it is necessary to describe, in a language suitable for automated reasoning, enough of the properties of the robot, its abilities, and its environment, to permit it to make high-level decisions about how to act. The group has developed effective methods for representing and reasoning about the prerequisites and effects of actions, perception and other knowledge-producing actions, and natural events and actions by other agents. These methods have been incorporated into a logic programming language for agents called GOLOG (alGOl in LOGic). A prototype implementation of the language has been developed. Experiments have been conducted in using the language to build a high-level robot controller, some software agent applications (e.g. meeting scheduling), and more recently business process modeling tools.

List of Publications available in this archive

Papers submitted for publication








Unpublished Manuscripts

Dept. of Computer Science
University of Toronto
Toronto, ON, CANADA, M5S 1A4
FAX: (416)-978-1455