M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of PAAM'98, London, UK, 1998.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....is tackled by 66 using previous work on belief revision (Alferes and Pereira 1996) and and inference mechanism based on the REVISE algorithm (d Inverno, Kinny, Luck, and Wooldridge 1997) for eliminating contradictions. Another logic programming based framework called CaseLP has been proposed in (Martelli, Mascardi, and Zini 1998; Martelli, Mascardi, and Zini 1997) It is intended to be used for multiagent applications by building on top of existing software. In a similar vein, Kowalski and Sadri 1999) have developed an abductive framework within which logic programs can be used to support both rational and reactive ....

Martelli, M., V. Mascardi, and F. Zini (1998). Towards Multi-Agent Software Prototyping. In Proceedings of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM98), London, UK, pp. 331--354.

....by an extended logic program (Alferes and Pereira 1994) and inference machine that embodies the REVISE algorithm (C.V. Damasio and Pereira 1994) for eliminating contraditions, and a control layer. No meta reasoning issues are brought up explicitly in this work. Concurrently with our effort, M. Martelli and Zini (1998, M. Martelli and Zini (1997) have developed a logic programming based framework called CaseLP that may be used to implement multiagent applications by building on top of existing software. As in our work, agents have states, and states are changed by the agents actions, and the behavior of an ....

M. Martelli, V. M. and F. Zini (1998). Towards multi-agent software prototyping. In Proc.

....modeling the application, developing a working prototype, testing and refining it against the problem requirements. A real implementation of the prototype can be used as an effective decision support tool. The environment used to develop the freight train traffic management application is CaseLP [12], a Complex Application Specification Environment based on Logic Programming. CaseLP provides the user with tools for specifying, implementing and testing multi agent system (MAS) prototypes and with a method for facing these three steps. The structure of the paper is the following: Section 2 ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of PAAM'98, London, UK, 1998.

....that are involved in the application. Ontologies are instead used to give the knowledgebased organization of the prototype. The information used in the application to execute the various tasks is represented as concepts and relationships among them. The prototype has been developed using CaseLP [11, 12], a Complex Application Specification Environment based on Logic Programming that takes into consideration both the organizational aspects mentioned above. CaseLP provides tools for specifying, implementing and testing MAS prototypes and a method for facing these three steps. Furthermore, the ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of PAAM'98, pages 331--354, London, UK, March 1998.

....languages traditionally used by software engineers. Moreover, CaseLP tries to simplify the adoption of extended logic programming languages which are most suitable for the formal veri cation of system properties, but which are not at all user friendly. CaseLP is an ongoing research project [54, 55, 56, 57] and thus our prototyping environment is constantly evolving. This chapter presents the current status of the project. CaseLP provides an iterative prototyping method and a set of tools and languages which support the rapid realization of executable prototypes of MAS. A prototype can be realized ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of The 3rd International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'98), pages 331-354, London, UK, March 1998.

.... of the University of Genova (Italy) He worked for the Logic Programming Group and his research concerned the application of logic programming and software engineering techniques to rapid prototyping of heterogeneous and distributed software applications modelled as Multi Agent Systems (MAS) [9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22]. In particular, his Ph.D. dissertation [23] presents CaseLP, a software platform for speci cation, implementation, simulation, and testing of MAS prototypes. 5 Ph.D. Courses Distributed algorithms and distributed simulation, Genova, Italy, June July 1996. Lecturer: Prof. G. Chiola, University ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'98), pages 331-354, London, UK, March 1998.

....and user friendly Prolog Since 1997 the Logic Programming Group at the Computer Science Department of Genova University has been working on the development of a specification and prototyping environment for MAS. CaseLP (Complex Application Specification Environment based on Logic Programming) [13, 12] provides a macro and micro level development method for agent applications, as well as tools and languages which support the development steps. In our methodology the more formal and abstract specification of the MAS can be given using the executable linear logic programming language E hhf [4] ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'98), London, UK, 1998.

....of the agent and interactions among them. At the Computer Science Department of Genova University, the Logic Programming Group is working since 1997 on CaseLP, a specification and prototyping environment for MASs. CaseLP (Complex Application Specification Environment based on Logic Programming) [8, 7] provides a development method as well as tools and languages which support the various steps of the method. Target of the 1 For a survey on agent architectures, see [9] development is generally the realization of an executable MAS prototype, implemented in a logic programming language, ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of PAAM'98, pages 331--354, London, UK, March 1998.

.... of Maryland (USA) 2, 21] work on animation of specifications included in the Pipedream project at the Department of Computer Science at the University of Melbourne (Australia) 8, 20] and research on MAS and LP based software prototyping by the Logic Programming group of our Department [10, 11, 12, 4, 3]. 1 3 Research goals and plan Following the thesis committee comments, the first effort was a better individuation of the principal goals of the thesis, on the base of the kind of application we want to deal with. Target applications. We recall that we focus on Complex Distributed Software ....

....lines represent respectively mild and weak temporal dependences. The unfolding of goal G 1:3 has been done after the definition of the methodology as explained in the next section. 4 Research status and plan for next year During the last year goals G 1:1 and G 1:2 has been substantially achieved [12, 4, 3, 5]. 2 COMPARISON WITH AGENT BASED PROTOTYPING FRAMEWORKS APPLICATION TO CASE STUDIES CaseLP REALIZATION START END Figure 1: Research plan. Agent model. The agents by which a CDSA is modelled share some characteristics, regardless their internal architecture: ffl they provide and or ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM98), pages 331--354, London, UK, March 1998.

....agent construction. 4 Research plan and status From the general project goals presented in Section 2.3 many research directions can be followed. This section tries to give them a task oriented characterization. For each task the current status of research is presented (more details are given in [MMZ97] and [MMZ] Moreover, each task is ranked by a number between 0 and 3, quantifying the work already done. 4.1 Task T1: General agent architecture Rank: 2 Work to do. This goal involves defining problem independent agent architecture. We plan to realize an agent as a skeleton (defining its ....

....4 Research plan and status From the general project goals presented in Section 2.3 many research directions can be followed. This section tries to give them a task oriented characterization. For each task the current status of research is presented (more details are given in [MMZ97] and [MMZ] Moreover, each task is ranked by a number between 0 and 3, quantifying the work already done. 4.1 Task T1: General agent architecture Rank: 2 Work to do. This goal involves defining problem independent agent architecture. We plan to realize an agent as a skeleton (defining its static ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi--Agent Software Prototyping. Submitted to PAAM98.

No context found.

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'98), pages 331--354, London, UK, March 1998.

....is not supported by the language. Moreover, performance reasons suggest using a more efficient language than E hhf for the actual implementation of a MAS prototype. We are addressing these issues by means of CaseLP (Complex Application Specification Environment based on Logic Programming [MMZ97,MMZ98] a prototyping tool for agent based software realized in the Constraint Logic Programming language ECLiPSe [ACD 95] Our tool provides an agentoriented extension of ECLiPSe that is used to build a more concrete implementation of the MAS. Our implementation language has a number of ....

....general one. As in CaseLP described below, events are always communicative ones, and agents are reactive ones. They receive a message and react to it, without having an explicit representation of their goals and without adopting plans to achieve them. Martelli, Mascardi and Zini s CaseLP [MMZ97,MMZ98] CaseLP (Complex Application Specification Environment based on Logic Programming) is a prototyping and simulation environment for agent based software applications developed at the Computer and Information Science Department of the University of Genova (Italy) CaseLP agents communicate via ....

[Article contains additional citation context not shown here]

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM98), pages 331--354, London, UK, March 1998.

....view (see [9, 8, 10, 12] Unfortunately, at this time there is no evidence of a well established engineering approach for building MAS based applications. However, due to their inherent complexity, experimentation in this direction seems very important. This paper presents some features of CaseLP [11], an experimental, logic programming based, prototyping environment for MAS. In particular, we present a methodology that combines traditional software engineering approaches with considerations from the agent oriented field. The approach exploits logic based declarative languages for the ....

....specifications. We propose a framework for the realization of MAS prototypes in which both the specification and implementation are carried out using declarative logical languages. 2. 1 Prototype realization CaseLP (Complex Application Specification Environment Based on Logic Programming) [11] is a MAS based framework for prototyping applications involving heterogeneous and distributed entities. More precisely, the framework includes a methodology that guides the application developer to an easy and rapid definition of the prototype through the iteration of a sequence of simple steps. ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of PAAM'98, London, UK, 1998.

....based on meta programming. A specification written in E hhf has a natural mapping into a logic program, and may be easily translated in LP; the automation of this process is still under study. 3. 5 CaseLP CaseLP (Complex Application Specification Environment Based on Logic Programming) [14] is a MAS based framework for prototyping applications involving heterogeneous and distributed entities. It furnishes tools for describing the behaviour of agents that compose the system by means of a simple rule based logic language, as well as simulation tools for animating the MAS execution. In ....

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of the 3rd International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM98), pages 331--354, London, UK, March 1998.

No context found.

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and MultiAgent Technology (PAAM98), pages 331-354, London, UK, 1998. 65

No context found.

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and MultiAgent Technology (PAAM98), pages 331--354, London, UK, 1998. 66

No context found.

M. Martelli, V. Mascardi, and F. Zini. Towards Multi-Agent Software Prototyping. In Proc. of The Third International Conference and Exhibition on The Practical Application of Intelligent Agents and MultiAgent Technology (PAAM98), pages 331--354, London, UK, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC