Beliefs in agent implementation

Authors:
Laurens Winkelhagen;Mehdi Dastani;Jan Broersen
Affiliations:
Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands;Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands
Venue:
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Year:
2005

Citing 3
Cited 2

Modal logic

Modal logic
Translating a Modal Language with Embedded Implication into Horn Clause Logic

ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
How to Use Modalities and Sorts in Prolog

JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence

A grounded specification language for agent programs

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Current issues in multi-agent systems development

ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII

Quantified Score

Hi-index	0.00

Visualization

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.