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...

• Type: Conference
• Year: 2005
• Where: EPIA
• Authors: Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek
• Keywords: EPIA 2005, Executable Temporal Logic, Extended Logic, Temporal Logic