Strips-like Planning in the DALI Logic Programmming Language

In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with planning capabilities. We discuss the design and implementation of an agent capable to perform STRIPS-like planning, and we propose a small but significant example. In particular, a DALI agent, which is capable of complex proactive behavior, can build step-by-step her plan by proactively checking for goals and possible actions. We demonstrate how general and flexible is the treatment of proactivity in DALI, which is different from all the other approaches that can be found in the literature