Sciweavers

Share
EPIA
2005
Springer

Logical Implementation of Uncertain Agents

11 years 5 months ago
Logical Implementation of Uncertain Agents
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent specifications, and has been extended to allow the handling of agent beliefs, deliberation and multi-agent groups. However, the key problem of uncertainty has not been tackled. Given that agents work in unknown environments, and interact with other agents that may, in turn, be unpredictable, then it is essential for any formal agent description to incorporate some mechanism for capturing this aspect. Within the framework of executable specifications, formal descriptions involving uncertainty must also be executable. The contribution of this paper is to extend executable temporal logic in order to allow the representation and execution of uncertain statements within agents. In particular, we extend the basis of the METATEM temporal framework with a probabilistic belief dimension captured by the recently int...
Nivea de Carvalho Ferreira, Michael Fisher, Wiebe
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EPIA
Authors Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
Comments (0)
books