A theme common in much AI research is that to behave intelligently, computers must come to "know" a good deal of what every human being knows about the world and the organisms that inhabit it. Knowledge representation and reasoning (or KR) is the study of how to impart this knowledge to a computer: how do we write down descriptions of the world in such a way that a computer would be able to draw appropriate conclusions about the world by manipulating them?
Once knowledge is represented effectively, action selection to create a behavioural strategy involves solving a variety of planning and constraint satisfaction problems, often in the face of uncertain information.
The Knowledge Representation Group at the University of Toronto is located in the D.L.Pratt and the Sandford Fleming buildings (building codes PT and SF respectively) on St.George campus (Google map, campus map). For general inquiries, contact the Artificial Intelligence Office, 6 King's College Road, Room: PT283, Toronto, Ontario, M5S 3H5, Canada, Phone: 978-8737, Fax: 416-978-1455
For questions or comments regarding the KR web page, please send email to firstname.lastname@example.org...edu.