Overview of HANA: a Human-Aware Negotiation Architecture
Opening the black box of trust: reasoning about trust models in a BDI agent
Publication Type:
Journal ArticleSource:
Journal of Logic and Computation, Oxford University Press (In Press)Abstract:
Trust models as thus far described in the literature can be seen as a monolithic structure: a trust model is provided with a variety of inputs and the model performs calculations, resulting in a trust evaluation as output. The agent has no direct method of adapting its trust model to its needs in a given context. In this article, we propose a first step in allowing an agent to reason about its trust model, by providing a method for incorporating a computational trust model into the cognitive architecture of the agent. By reasoning about the factors that influence the trust calculation the agent can effect changes in the computational process, thus proactively adapting its trust model. We give a declarative formalization of this system using a multi-context system and we show that three contemporary trust models, BRS, ReGReT and ForTrust can be incorporated into a BDI reasoning system using our framework.
Reasoning about norm compliance (extended abstract)
Publication Type:
Conference ProceedingsSource:
Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), International Foundation for Autonomous Agents and Multiagent Systems, Taipei, Taiwan, p.1191-1192 (2011)ISBN:
978-0-9826571-7-1Keywords:
agent architecture; norm compliance; BDI agents; coherenceAbstract:
This paper proposes a reasoning process to allow agents to decide when and how norms should be violated or obeyed. The coherence-based reasoning mechanism proposed in this paper, allows norm aware agents to confront the norm compliance dilemma and build alternatives for such normative decisions.
A language for the execution of graded BDI agents
Publication Type:
Journal ArticleSource:
Logic Journal of the IGPL (doi:10.1093/jigpal/jzr037), Advanced Access November 21, 2011, Oxford University Press (In Press)Keywords:
Operational semantics; MCs; BDI agents; Ambient CalculusAbstract:
We are interested in the specification and deployment of multi-agent systems, and particularly we focus on the execution of agents. Along this research line, we have proposed a general model for graded BDI agents, specifying an architecture based on multi-context systems (MCSs) and able to deal with the environment uncertainty (via graded beliefs) and with graded mental proactive attitudes (via desires and intentions). These graded attitudes are represented using appropriate fuzzy modal logics. In this article, we cope with the operational semantics of this agent model. We present a Multi-context calculus, based on Ambient calculus, for the execution of MCSs with its corresponding semantics. This calculus is general enough to support different kinds of MCSs and particularly, we show how a graded BDI agent can be mapped into the language of the calculus.
A graded BDI agent model to represent and reason about preferences
Publication Type:
Journal ArticleSource:
Artificial Intelligence, Elsevier, Volume 175, p.1468-1478 (2011)Keywords:
BDI agents; multi-context systems; uncertainty; bipolar preferences; fuzzy logicAbstract:
In this research note, we introduce a graded BDI agent development framework, g-BDI for short, that allows to build agents as multi-context systems that reason about three fundamental and \emph{graded} mental attitudes (i.e. beliefs, desires and intentions). We propose a sound and complete logical framework for them and some logical extensions to accommodate slightly different views on desires.
