Applying Logic Programming to the Specification of Complex Applications.
Maurizio Martelli, Viviana Mascardi, Floriano Zini · 1997
In this paper we show how multi-theory logic programming techniques can be profitably applied to the realization of multi-agent systems which solve complex problems. Our goal is to use logic programming as a tool to give an executable specification of a multi-agent system, obtained from a high-level informal description of the interactions among the different system components. We have implemented a planner for goods transportation as a demonstration of such an approach. KEYWORDS Multi--agent systems, logical theories, meta--programming, specification. INTRODUCTION The agent paradigm has become, in the last few years, an important developing methodology for complex applications, involving problems like coordination, communication, sharing and integration of knowledge. The advantage of this technology is the ability of modelling heterogeneous programming environments, and its drawback is the lack of standard methods to build the desired system, defining and putting together the vario...