Executing Specifications of Social Reasoning Agents

Iain Wallace, Michael Rovatsos

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behaviours but not the way these should affect the computational reasoning mechanisms of a concrete agent design. The Expectation-Strategy-Behaviour (ESB) framework addresses this problem by separating and abstracting social reasoning from other practical reasoning, providing the computational machinery that is necessary to perform social reasoning in practice. We present an extension to previous work on ESB to an implemented reasoning system which enables the execution of concise and modular declarative social reasoning rules. We review the foundations of the abstract ESB framework and present the implementation of a reasoner based on CTL model checking. Our system allows for conditioning agent behaviours on complex preconditions and verification of properties to aid the agent designer. It also allows for easy integration with a BDI reasoning system. We exemplify the suitability of ESB for social reasoning constructs with a detailed example of Joint Intention theory in ESB and illustrate the generality with an overview of another implemented social reasoning scheme, and extensions to both.
Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies VIII
Subtitle of host publication8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
EditorsAndrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos
PublisherSpringer Berlin Heidelberg
Number of pages18
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


Dive into the research topics of 'Executing Specifications of Social Reasoning Agents'. Together they form a unique fingerprint.

Cite this