This paper presents work on the design rationale and architecture of ReMindMe. ReMindMe aims to provide agent-based support for people with Alzheimer’s disease and their social environment by playing music with a strong personal meaning to the patient so as to activate personal memory recall. ReMindMe stimulates reminiscence and self-disclosure of personal memories. Through long-term interactio...

Virtual agents are used by the military for extensive training of pilots. However, creating virtual agents with the appropriate behaviors is a lengthy and specialized process. We describe a new tool (TAF) to allow rapid creation of virtual adversarial agents by non-specialized personnel. In TAF, users can draw diagrams of agent behavior which are matched within a pre-existing knowledge base. By...

We present an agent-based mechanism that acts as a mediator module between theorem proving systems and mathematical knowledge bases containing information that is necessary for the constructions of proofs. Unlike the more popular user-oriented mediators who work as information agents to provide the so-called value-added services to the collected data before presenting it to users or user applic...

The advances observed in the last years in telecommunication technologies rapidly brought along new ways of doing business. This new reality, however, has not been so rapidly followed by the entities responsible for dealing with the conflicts that arise from these interactions, now undertaken in an electronic format. Traditional paper-based courts, designed for the industrial era, are now outda...

We present an agent-based mechanism that acts as a mediator module between theorem proving systems and mathematical knowledge bases containing information that is necessary for the constructions of proofs. Unlike the more popular user-oriented mediators who work as information agents to provide the so-called value-added services to the collected data before presenting it to users or user applic...

Understanding the dynamics of argumentation systems is a crucial component in the development of computational models of argument that are used as representations of belief. To that end, in this article, we introduce a model of Argument Revision, presented in terms of the contraction and revision of a system of structured argumentation. Argument Revision is influenced by theAGM model of belief ...

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...

This work concerns the problem of modelling evolving prospective agent systems. Inasmuch a prospective agent [1] looks ahead a number of steps into the future, it is confronted with the problem of having several different possible courses of evolution, and therefore needs to be able to prefer amongst them to decide the best to follow as seen from its present state. First it needs a priori prefe...