An Agent-Based Model for Autonomous Planning

Distributed autonomous elements like sensors networks, intelligent devices etc. are nowadays widely used. Here, one of the most difficult task is the automatic re-planning when something goes wrong: new planning algorithms have to be coped with existing ones in order to fulfill performance and soundness requirements. In this work we present a modelling methodology and a planning technique based on multi-Agent models. The planning methodology exploits both classical and a new counter-example based approaches in order to build an effective multi-expert system able to face with increasing complexity of these systems, implementing procedures that make possible the reaching of desired goals within temporal constraints.