Home > Research > Publications & Outputs > StreamB

Links

Text available via DOI:

View graph of relations

StreamB: A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Publication date10/03/2022
Host publicationEngineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers
EditorsNatasha Alechina, Matteo Baldoni, Brian Logan
Place of PublicationCham
PublisherSpringer
Pages114-136
Number of pages23
ISBN (electronic)978-3-030-97457-2
ISBN (print)978-3-030-97456-5
<mark>Original language</mark>English

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume13190
ISSN (Print)0302-9743
ISSN (electronic)1611-3349

Abstract

To apply BDI agents to real-world scenarios, the reality-gap, between the low-level data (perceptions) and their high-level representation (beliefs), must be bridged. This is usually achieved by a manual mapping. There are two problems with this solution: (i) if the environment changes, the mapping has to be changed as well (by the developer); (ii) part of the mapping might end up being implemented at the agent level increasing the code complexity and reducing its generality. In this paper, we present a general approach to automate the mapping between low-level data and high-level beliefs through the use of transducers. These transducers gather information from the environment and map them to high-level beliefs according to formal temporal specifications. We present our technique and we show its applicability through a case study involving the remote inspection of a nuclear plant.