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.
Type de document :
Rapport
RR-09028, 2009, pp.19
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00425502
Contributeur : Abdelkader Gouaich <>
Soumis le : mercredi 21 octobre 2009 - 18:18:02
Dernière modification le : jeudi 11 janvier 2018 - 06:26:17
Document(s) archivé(s) le : mardi 16 octobre 2012 - 12:32:05

Fichier

whitepaper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

238

Téléchargements de fichiers

131