M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. Proc. of AppiaGulp -Prode Joint Conf. on Declarative Programming, L'Aquila, Italy. M.C. Meo and M. Vilares-Ferro (eds), pp. 13-28, 1999.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....decision by collecting offers, but they may be beaten by the quicker former agents. Similarly, the greedy and considerate seller agents have a trade off: considerate sellers have a lower profit margin but they sell more items than greedy sellers. 7 Related Work Our approach has parallels with [20] where logic programming is also exploited to specify and simulate MASs. Theirs is a more complex framework where a number of design features are incorporated into the MASs and their agent components: they use an object oriented description for the overall architecture of the MAS as well as a ....

....components: they use an object oriented description for the overall architecture of the MAS as well as a linear logic language for describing individual agents. Although these might be appropriate choices, they may not meet the needs or the preferences of particular users. 8] extends the work of [20] allowing the design of heterogeneous and open MASs by incorporating a mediator system and a generic agent execution platform. Computational logic has been advocated as a means to specify software, offering distinct ways to analyse the specification and, when needed and appropriate, to execute it ....

M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. In Proc. of APPIA-GULP-PRODE, L'Aquila, Italy, Sept. 1999.

....ones are used for analyzing an agent s problem domain and for creating an agent program that specifies agent behavior; the runtime system provides a high performance agent engine that executes these agent programs. CaseLP (Complex Application Specification Environment based on Logic Programming [54,11]) is a research environment developed at the Computer Science Department of Genova University (Italy) It is mainly conceived as a prototyping tool for agentapplications; it focuses on the prototype development method, the ability of integrating agents written in different specification languages, ....

M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. In M. C. Meo and M. Vilares-Ferro, editors, Proc. of Appia--Gulp--Prode 1999.

....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 ....

....change from application to application and for this reason it does not explicitly appear in the prototyping method. 2.2. Prototyping tools A set of tools are provided within CaseLP in order to support the prototype development. In the following a brief description of these tools is given. See [12] and [17] for further details. 2.2.1 Ontologies An ontology is modeled as a 5 tuple name; terms; predicates; kb; constraints where name identifies the ontology, terms is a set of constants and function symbols, predicates is a set of predicate symbols to be applied to terms, the knowledge ....

M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. In Proc. of Appia--Gulp--Prode 1999.

....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. Specification and Simulation of Multi-Agent Systems in CaseLP. In M. C. Meo and M. Vilares Ferro, editors, Proc. of Appia--Gulp--Prode 1999, L'Aquila, Italy, 1999.

....we just marginally face all the issues related with the definition of different architectures and the consequent choice of the right agent architecture to do the right thing . For sake of clarity, the method we propose in this paper is a simplification of the complete CaseLP method described in [8] and it is limited to the steps we followed for the development of the vehicle monitoring application. As far as the tools and languages are concerned, we just give a brief overview of all of them and, in Section 4, we exemplify the adoption of some of them for the vehicle monitoring ....

....they usually deal with state update or communication. A proactive rule is similar to a reactive one, but it only depends on the state condition. The agents in the vehicle monitoring application have been specified with this language, as described in Section 4. The syntax of ACLPL can be found in [8]. HEMASL and E hhf . There are many applications where the agents involved need to be conceptualized in terms of mentalistic or emotional attitudes, thus requiring a more complex architecture than the reactive or proactive ones. In such situations where ACLPL is inadequate, the description of the ....

[Article contains additional citation context not shown here]

M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. In Proc. of Appia--Gulp--Prode 1999, L'Aquila, Italy, September 1999.

....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. Specification and Simulation of Multi-Agent Systems in CaseLP. In Proc. of Appia--Gulp--Prode 1999, L'Aquila, Italy, September 1999.

....to complex plans. Engine encodes the task control that governs the flow of control of agent s activities. ffl Development method. A six steps method has been developed to guide the prototype developer from the informal description of the application to the execution of the working prototype. [19] describes the most recent version of the method. ffl Application modeling. CaseLP embeds a set of languages which can be used to model the application at different abstraction levels. Section 3 describes these specification languages and their purpose. ffl Integration. As far as software ....

....utilities to define the system parameters (the communication channels latency and reliability, the granularity of simulation time, to trace its execution on and off line, and to collect statistics on it. A graphical interface [25] supports these activities in a more user friendly fashion. [19] describes the simulation utilities in detail. ffl CaseLP implementation. CaseLP was initially implemented in ECLiPSe [1] and a version running under SICStus Prolog [13] was then developed. Both ECLiPSe and SICStus Prolog allow to partition the knowledge base into modules. This proved useful to ....

[Article contains additional citation context not shown here]

M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. In Proc. of Appia--Gulp--Prode 1999, L'Aquila, Italy, September 1999. 10

No context found.

M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. Proc. of AppiaGulp -Prode Joint Conf. on Declarative Programming, L'Aquila, Italy. M.C. Meo and M. Vilares-Ferro (eds), pp. 13-28, 1999.

No context found.

M. Martelli, V. Mascardi, and F. Zini. Specification and Simulation of Multi-Agent Systems in CaseLP. Proc. of AppiaGulp -Prode Joint Conf. on Declarative Programming, L'Aquila, Italy. M.C. Meo and M. Vilares-Ferro (eds), pp. 13-28, 1999.

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