Skip to Main content Skip to Navigation
Reports

Operational Semantics of a Timely Bounded Agent Abstract Machine

Abdelkader Gouaich 1
1 SMILE - Système Multi-agent, Interaction, Langage, Evolution
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : This paper presents a domain specific programming language dedicated to timely bounded agents. Timely bounded agents are expected to deliver the most appropriate response to a stimuli and this response has to be delivered at the right time, otherwise it is ignored. This modifies assumptions and action models used in most of current agent programming languages and frameworks. We propose a domain specific language by specifying an agent abstract machine and its operational semantics. The dynamics of the agent abstract machine is a sequence of perception-deliberation-influence cycles where an agent: (i) gets its perceptions (that remain unchanged during the cycle) (ii) evaluates its behaviors to generate a set of influences; (iii) commits all influences at once within its environment. An important property is the fact that perceptions are unchanged and side effects are not allowed until the end of a cycle. This property makes possible efficient implementation of the agent abstract machine using parallel evaluations. Simplicity and expressiveness are important features when working on operation semantics. To meet these requirements we have proposed a simple and yet expressive framework inspired from REST (Representation State Transfer) to consider agent actions as manipulation of resources within environments using only a limited set of primitives. This makes both the agent abstract machine and its operational semantics easy to comprehend and the implementation straightforward. Finally, we demonstrate how our proposal has helped building a serious game for upper limb rehabilitation.
Document type :
Reports
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00425502
Contributor : Abdelkader Gouaich <>
Submitted on : Wednesday, October 21, 2009 - 6:18:02 PM
Last modification on : Thursday, May 24, 2018 - 3:59:23 PM
Long-term archiving on: : Tuesday, October 16, 2012 - 12:32:05 PM

File

whitepaper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : lirmm-00425502, version 1

Collections

Citation

Abdelkader Gouaich. Operational Semantics of a Timely Bounded Agent Abstract Machine. RR-09028, 2009, pp.19. ⟨lirmm-00425502⟩

Share

Metrics

Record views

559

Files downloads

156