IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents

Abstract

IndiGolog is a programming language for autonomous agents that sense their environment and do planning as they operate. Instead of classical planning, it supports high-level program execution. The programmer provides a high-level nondeterministic program involving domain-specific actions and tests to perform the agent’s tasks. The IndiGolog interpreter then reasons about the preconditions and effects of the actions in the program to find a legal terminating execution. To support this, the programmer provides a declarative specification of the domain (i.e., primitive actions, preconditions and effects, what is known about the initial state) in the situation calculus. The programmer can control the amount of nondeterminism in the program and how much of it is searched over. The language is rich and supports concurrent programming. Programs are executed online together with sensing the environment and monitoring for events, thus supporting the development of reactive agents. We discuss the language, its implementation, and applications that have been realized with it. Giuseppe De Giacomo Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, Rome, Italy e-mail: degiacomo@dis.uniroma1.it

Extracted Key Phrases

2 Figures and Tables

Cite this paper

@inproceedings{Giacomo2009IndiGologAH, title={IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents}, author={Giuseppe De Giacomo and Yves Lesp{\'e}rance and Hector J. Levesque and Sebastian Sardi{\~n}a}, year={2009} }