Back

Cognitive Robotics: An Introduction to Knowledge Representation and Reasoning

Richard Scherl
Section: Logic and Computation
Level: Introductory

Description

One of the areas of active research in the branch of artificial intelligence known as knowledge representation and reasoning is the high-level logical specification of autonomous agents -- entities that can sense and act in flexible ways in changing and incompletely known environments. These may be robots or intelligent software agents. This course concentrates on one approach to the specification of such agents -- the situation calculus. Alternative approaches (e.g. the event calculus) will be covered in less detail.

The course is to introduce students to the area of knowledge knowledge representation and reasoning through an introduction to the field of cognitive robotics. The aim of the course is to provide such an introduction in a way that will be accessible to beginning graduate students in a variety of fields. The only prerequisite is a background in the syntax and semantics of first-order logic. It is expected that the students will have had an undergraduate logic course. The needed logic will be reviewed on the first day of class, though.

Prerequisites

An introductory logic class.

Materials

Literature

Yves Lesp\'{e}rance, Hector Levesque, Fangzhen Lin and Richard Scherl. Ability and Knowing How in the Situation Calculus, To appear in Studia Logica 2000.

H.J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R.B. Scherl. GOLOG: A Logic Programming Language for Dynamic Domains, Journal of Logic Programming, special issue on Reasoning about Action and Change, vol 31(1-3), May 1997.

Sheila McIlraith and Richard Scherl, What Sensing Tells Us: Towards A Formal Theory of Testing for Dynamical Systems, to appear in {\em Proceedings of the American Association for Artificial Intelligence}, Austin, Texas, July 2000.

R. Scherl and H. Levesque. The Frame Problem and Knowledge Producing Actions, pp. 689-695, in Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93). Washington, DC. July 1993. (Menlo Park: AAAI Press/ The MIT Press)

Stephen Zimmerbaum and Richard Scherl. Sensing Actions, Time, and Concurrency in the Situation Calculus. To appear in Proceedings of the Seventh International Workshop on Agent Theories, Architectures, and Languages. July 7-9, Boston MA.

Lecturer

Department of Computer and Information Sciences
New Jersey Institute of Technology
University Heights
Newark, NJ 07102-1982
Tel: (1)(201) 596-2657
Fax: (1)(201) 596-5777
scherl@cis.njit.edu