Search

Abstract: When considering intelligent agents that interact with humans, having an idea of the trust levels of the human, for example in other agents or services, can be of great importance. Most models of human trust that exist assume trust in one trustee is independent of trust in another trustee. The model introduced here addresses so-called relative trust. The idea of relative trust is that trust in a certain trustee not only depends on the experiences with that trustee, but also on trustees that are perceived competitors of that trustee. Such models for relative trust contain parameters to represent the specific dependency between trust for different trustees. In order to tailor the model towards a specific human, dedicated parameter estimation techniques are used. The validation shows that such a model for relative trust is able to predict human trust based behavior significantly better compared to a benchmark model. [Copyright &y& Elsevier]

A model-based agent system model for medicine usage management is presented and formally analysed. The model incorporates an intelligent ambient agent model that has an explicit representation of a dynamical system model to estimate the medicine level in the patient s body by simulation, is able to analyse whether the patient intends to take the medicine too early or too late, and can take measures to prevent this. [ABSTRACT FROM AUTHOR]

To support human functioning, ambient intelligent agents require knowledge about the tasks executed by the human. This knowledge includes design-time information like: (i) the goal of a task and (ii) the alternative ways for a human to achieve that goal, as well as run-time information such as the choices made by a human during task execution. In order to provide effective support, the agent must know exactly what steps the human is following. However, if not all steps along the path can be observed, it is possible that the agent cannot uniquely derive which path the human is following. Furthermore, in order to provide timely support, the agent must observe, reason, conclude and support within a limited period of time. To deal with these problems, this paper presents a generic focused reasoning mechanism to enable a guided selection of the path which is most likely followed by the human. This mechanism is based upon knowledge about the human and the workflow to perform the task. In order to come to such an approach, a reasoning mechanism is adopted in combination with the introduction of a new workflow representation, which is utilized to focus the reasoning process in an appropriate manner. The approach is evaluated by means of an extensive case study. [ABSTRACT FROM AUTHOR]

ificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper explores the effectiveness of applying design models to the area of organization (re)design. To that purpose a component-based model for (re)design of organizations is presented as a specialization of an existing generic design model. Using recently developed formalizations within Organization Theory organization models are described as design object descriptions, and organization goals as design requirements. A formal design process description is presented that models the redesign process for an organization that adapts to changes in the environment. The formally specified and implemented approach to organization redesign thus obtained has been tested for a well-known historical case study from the Organization Theory literature. [ABSTRACT FROM AUTHOR]

Abstract: This paper presents analysis and simulation of meta-reasoning processes based on an agent-based meta-level architecture for strategic reasoning in naval planning. The architecture was designed as a generic agent model and instantiated with decision knowledge acquired from naval domain experts and was specified as an executable agent-based model which has been used to perform a number of simulations. To evaluate the simulation results, relevant properties for the planning decision were identified and formalized. These properties have been validated for the simulation traces. [Copyright &y& Elsevier]