Towards a verification framework for communicating rational agents

Authors:
Nils Bulling;Koen V. Hindriks
Affiliations:
Department of Informatics, Clausthal University of Technology, Germany;Faculty Electrical Engineering, Mathematics and Computer Science, Delft University of Technology, The Netherlands
Venue:
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Year:
2009

Citing 3
Cited 0

Reasoning about knowledge

Reasoning about knowledge
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications

Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
A computational semantics for communicating rational agents based on mental models

ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an abstract framework for verifying communicative actions for rational agent programming languages. Firstly, a multi-agent verification logic based on the computational semantics is introduced; and subsequently, this multi-agent logic is embedded into a more expressive modal logic over a standard run-based semantics. We formally relate both logics, prove expressivity results, and argue why it is useful to have a (more expressive) standard modal logic and semantics at hand.