Welcome

These pages provide information on creating Open Agent Architecture agents using IndiGolog agent programming language.

IndiGolog is powerful agent programming language based on Situation Calculus.
It is a member of Golog family of languages. IndiGolog interpreter is implemented in Prolog.

IndiGolog supports complex agents that are:

• able to do reasoning and planning
• able to react to exogenous events
• able to monitor plan execution and sense the environment
• both reactive and proactive
• written using very high-level language constructs

The interface presented here supports:

• using IndiGolog agents in multiagent system developed with OAA
• IndiGolog OAA agents that are both reactive and proactive
• other agents written in any language supported by OAA

The interface hides all of the low-level procedures that are used to communicate with the OAA system. OAA initialization is also hidden, leaving the IndiGolog programmer free to concentrate on the functionality of the agent.

The software and documentation available at this site are copyright (c) 1997-2001 Giuseppe De Giacomo, Yves Lesperance, Hector Levesque, Ray Reiter, University of Toronto, York University, and Communications and Information Technology Ontario.

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 lesperan@cs.yorku.ca.

This software and any documentation and/or information supplied with it is distributed on an as is basis. The copyright holders make no warranties, expressed 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.