IndiGolog supports complex agents that are:
As well, 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.
At the University of Toronto, Maurice Pagnucco and Hector Levesque have developed an implementation of IndiGolog for use with Lego MINDSTORM robots called Legolog. Legolog supports rolling forward, which is not yet implemented in York IndiGolog.
A list of available implementations of Golog, ConGolog, IndiGolog, etc. is maintained on the University of Toronto Cognitive Robotics Group web site.
G. De Giacomo, Y. Lespérance, and H.J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121, 109-169, 2000.
Y. Lespérance and H.-K. Ng. Integrating Planning into Reactive High-Level Robot Programs. In Proceedings of the Second International Cognitive Robotics Workshop, 49-54, Berlin, Germany, August, 2000.
R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
All right are reserved. Use of this software is permitted for non-commercial research purposes, and it may be copied only for that use. All copies must include this copyright message. You may not redistribute it outside your institution without permission. If you are interested in a license for commercial use, contact Yves Lesperance at firstname.lastname@example.org.
This software and any documentation and/or information supplied with it is distributed on an as is basis. The copyright holders make no warranties, express or implied, including but not limited to implied warranties of merchantability and fitness for a particular purpose, regarding the documentation, functions or performance of such software, documentation and/or information.
Back to Yves Lespérance's home page.