Sciweavers

DALT
2005
Springer

Beliefs in Agent Implementation

14 years 3 months ago
Beliefs in Agent Implementation
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming language, the beliefs of agents are implemented by modal logic programs, where beliefs are represented by explicit modal operators. A distinction is made between a belief base language that can be used to represent an agent’s beliefs, and a belief query language that can be used to express queries to the agent’s belief base. We adopt and modify a proof procedure that decides if a belief query formula is derivable from the belief base of an agent. We show that the presented proof procedure is sound.
Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where DALT
Authors Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
Comments (0)