Specifying Agent Observable Behaviour


pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

Mirko Viroli, Andrea Omicini

Cristiano Castelfranchi, W. Lewis Johnson (eds.)
“1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)”, pages 712-720
ACM Press, Bologna, Italy
15-19 July 2002

<div>This paper investigates the application of a formal framework for <em>observation</em> in agent-based systems to the specification of the individual agent's interactive behaviour.
An abstract architecture is defined for agents that is based on the idea of viewing them as <em>observable sources</em> &mdash; of knowledge, services, capabilities.
In this model, only the agent's portion that is directly involved in managing the interactions with the agent's environment is explicitly represented, abstracting away from agent's internal details and focussing on their observable effect.</div>

<div>The applicability of the formal framework as a specification tool is put to test in two ways.
On the one hand, this paper shows how different interactive behaviours can be modelled, such as reactive and proactive message sending, as well as publish/subscribing capabilities.
On the other hand, a specification language is introduced, developed on top of the formal framework, which has the potential to be effectively exploited as a tool in the engineering of multiagent systems.</div>

Tags:

Publication

— authors

— editors

Cristiano Castelfranchi, W. Lewis Johnson

— status

published

— sort

paper in proceedings

— publication date

15-19 July 2002

— volume

1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002)

— volume

2

— pages

712-720

— address

Bologna, Italy

URLs

original page

identifiers

— DOI

10.1145/544862.544913

— ACM

544913

— Scopus

2-s2.0-0036355135

— print ISBN

1-58113-480

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY