Yves Lespérance

Professor Emeritus, York University

Visiting Faculty 2023-26, DIAG, Sapienza University of Rome

B.Sc.(1978) Montréal, M.Sc. (1980) Toronto, Ph.D. (1991) Toronto

Associate Editor of Autonomous Agents and Multi-Agent Systems Journal (JAAMAS) 2021-26.

Former Associate Editor of the Artificial intelligence Journal 2017-24.

Former Associate Editor of the Journal of Artificial intelligence Research (JAIR) 2016-22.

Address

Department of Electrical Engineering and Computer Science
York University
4700 Keele Street
Toronto, ON, M3J 1P3, CANADA

E-Mail: lesperan "at" eecs.yorku.ca
Dept Phone: +1-416-736-5053 Fax: +1-416-736-5872

Recent Publications

Current/Recent Courses

Research Interests

Recent Research Projects

Golog/ConGolog/IndiGolog Software

A very simple Golog interpreter in SWI Prolog can be found here (suitable for running simple examples such as this simple elevator controller). An ECLIPSE Prolog version can be found here. More Golog-related code can be found on the home page of Reiter's book Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems here.

A much more developed and usable implementation of IndiGolog in Prolog due to Sardina and Vassos is available here; it also supports some forms of incomplete knowledge.

There is also Levesque's well-developed Ergo implementation of IndiGolog in Scheme; it suports some forms of incomplete knowledge and probabilistic reasoning, as well as interfacing to Unity and the LEGO robot.

Another well-developed implementation in Prolog is ReadyLog from RWTH Aachen University's Knowledge-Based Systems Group; it supports forms of decision-theoretic planning.

golog++ is a recent interfacing and development framework for GOLOG languages from the same group; its backend is an abstract C++ interface, making integration into any robotics framework staightforward and simple.

A list of available implementations of Golog, ConGolog, IndiGolog, etc. is maintained on the University of Toronto Cognitive Robotics Group web site.

At York, Alexei Lapouchnian and I have developed the IG-OAAlib implementation of IndiGolog for use in combination with SRI's Open Agent Architecture communication/matchmaking infrastructure.


Last modified: April 14, 2026