Separating Agent-Functioning and Inter-Agent Coordination by Activated Modules: The DECOMAS Architecture

The embedding of self-organizing inter-agent processes in distributed software applications enables the decentralized coordination system elements, solely based on concerted, localized interactions. The separation and encapsulation of the activities that are conceptually related to the coordination, is a crucial concern for systematic development practices in order to prepare the reuse and systematic integration of coordination processes in software systems. Here, we discuss a programming model that is based on the externalization of processes prescriptions and their embedding in Multi-Agent Systems (MAS). One fundamental design concern for a corresponding execution middleware is the minimal-invasive augmentation of the activities that affect coordination. This design challenge is approached by the activation of agent modules. Modules are converted to software elements that reason about and modify their host agent. We discuss and formalize this extension within the context of a generic coordination architecture and exemplify the proposed programming model with the decentralized management of (web) service infrastructures

Dispute Resolution Using Argumentation-Based Mediation

Mediation is a process, in which both parties agree to resolve their dispute by negotiating over alternative solutions presented by a mediator. In order to construct such solutions, mediation brings more information and knowledge, and, if possible, resources to the negotiation table. The contribution of this paper is the automated mediation machinery which does that. It presents an argumentation-based mediation approach that extends the logic-based approach to argumentation-based negotiation involving BDI agents. The paper describes the mediation algorithm. For comparison it illustrates the method with a case study used in an earlier work. It demonstrates how the computational mediator can deal with realistic situations in which the negotiating agents would otherwise fail due to lack of knowledge and/or resources.Comment: 6 page

Agent planning, models, virtual haptic computing, and visual ontology

The paper is a basis for multiagent visual computing with the Morph Gentzen logic. A basis to VR computing, computational illusion, and virtual ontology is presented. The IM_BID model is introduced for planning, spatial computing, and visual ontology. Visual intelligent objects are applied with virtual intelligent trees to carry on visual planning. New KR techniques are presented with generic diagrams and appllied to define computable models. The IM Morph Gentzen Logic for computing for multimedia are new projects with important computing applications. The basic principles are a mathematical logic where a Gentzen or natural deduction systems is defined by taking arbitrary structures and multimedia objects coded by diagram functions.The techniques can be applied to arbitrary structures definable by infinitary languages. Multimedia objects are viewed as syntactic objects defined by functions, to which the deductive system is applied.Applications in Artificial Intelligence - AgentsRed de Universidades con Carreras en Informática (RedUNCI

An architecture for rational agents interacting with complex environments

In this paper we sketch an agent architecture suitable to be used as a tool for exploring agent perception and multiagent interaction. Nowadays, there is no strict correspondence between the theoretical work in rational agents and their implementation. In this respect, it is our intention to reach a good trade-off between expressiveness and implementability.Eje: Inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI

A Roadmap to Pervasive Systems Verification

yesThe complexity of pervasive systems arises from the many different aspects that such systems possess. A typical pervasive system may be autonomous, distributed, concurrent and context-based, and may involve humans and robotic devices working together. If we wish to formally verify the behaviour of such systems, the formal methods for pervasive systems will surely also be complex. In this paper, we move towards being able to formally verify pervasive systems and outline our approach wherein we distinguish four distinct dimensions within pervasive system behaviour and utilise different, but appropriate, formal techniques for verifying each one.EPSR