Yves Lespérance

Professor Emeritus, York University

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

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

Associate Editor of Artificial intelligence Journal 2017-24.

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

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


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). 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 22, 2024