The ARGUGRID project aims at supporting service selection and composition in distributed environments, including the Grid and Service-oriented architectures, by means of argumentative agents, an agent environment, a service-composition environment, Peer-to-Peer technology and Grid middleware. Agents are argumentative in that they use argumentation-based decision-making and argumentation-supported negotiation of services and contracts. The integration of all technologies gives rise to the overall ARGUGRID platform.
[ www.argugrid.eu ]

In PLATEM, PLATON is integrated with GOLEM, an agent middleware that allows specifying declaratively interactions amongst agents within the environment. As a result, this environment is programmable and can be changed at run-time, e.g. by adding or removing agents and services, without having to restart the overall system. The combination of this adaptability and scalability of retrieval is the strength of PLATEM.

For more information, please contact [ Mary Grammatikou ]

MARLEM (MARGO agents for GOLEM) is part of a growing research and development effort to model agent architectures for specific agent models, without abstracting away from the notion of agent behaviour. Contrary to other platforms (e.g. JADEX, Jason and JACK), MARGO agents supported in MARLEM are grounded on argumentation theory rather than the BDI agent model. Moreover, MARLEM relies on the GOLEM agent middleware that allows specifying declaratively interactions amongst agents within the environment. As a result, this environment is programmable and can be changed at run-time, e.g. by adding or removing agents and services, without having to restart the overall system.

For more information, please contact [ Kostas Stathis ]

PLATON (Peer-to-peer Load Adjusting Tree Overlay Network) is developed within ARGUGRID by the NETwork Management & Optimal DEsign Laboratory of the National Technical University of Athens, associated with the Institute of Communication and Computer Systems (ICCS).
PLATON is a Peer-to-Peer platform supporting multi-attribute and range queries. PLATON is developed in the Java programming language and supports mechanisms for load-balancing of peer resources. Load-balancing of resources is necessary in order to guarantee logarithmic querying time using any distributed tree-based multi-attribute P2P platform. In its current version, PLATON has implemented the SkipIndex routing framework developed by Princeton university. PLATON is released under GPL (GNU General Public License) and its website is
[ platonp2p.sourceforge.net ]

MARGO is developed within ARGUGRID by the University of PISA. It is released under GPL (GNU General Public License) at: [ margo.sourceforge.net ]. MARGO, written in Prolog, implements the argumentation framework for practical reasoning about service composition. A logic language is used as a concrete data structure for holding the statements like knowledge, goals, and actions. Different qualitative or quantitative priorities are attached to these items, corresponding to the probability of the knowledge, the preferences between goals, and the expected utilities of alternative actions. MARGO evaluates the possible actions, suggests some solutions, and provides an interactive and intelligible explanation of the choice made. MARGO is built on top of CaSAPI.

CaSAPI is developed within ARGUGRID by Imperial College London. CaSAPI is a general-puropose argumentation tool for assumption-based argumentation. It is written in Prolog and available under GPL (GNU General Public License) at [ www.doc.ic.ac.uk/~dg00/casapi.html ]. It is also available at [ sourceforge.net/projects/casapi ].

GOLEM (Generalized Onto-Logical Environments for MAS) is an agent environment middleware that can be used to create multi-agent system applications. Applications in GOLEM can be specified declaratively, thus making the deployment of cognitive agents of the kinds envisaged by ARGUGRID easier in that perceiving the environment amounts to importing parts of a logical theory. GOLEM is available at [ golem.cs.rhul.ac.uk ].

MOdular argumentation for DIspute reSOlution is developed by Asian Institute of Technology

MoDiSo system consists of modular argumentation frameworks for legal doctrines of performance reliefs including mutual mistake, impossibility, and frustration of purpose. A multi-semantic modular argumentation engine has also been implemented in order to support MoDiSo with the capability to refer many semantics in the same module at the same time. MoDiSo constitutes a first step towards the implementation of our dispute resolution model and its migration to the ARGUGRID platform.

You can find the url of MoDiSo at [ www.cs.ait.ac.th/~dung/modiso/About.html ]

For more information, please contact [ P. M. Dung ]

InforSense KDE is a commercial software tool developed by InforSense Ltd. Within the project it is being extended to support semantic workflow authoring and composition. For more information on the tool or its extensions for ArguGRID please contact [ information@inforsense.com ]