An operational semantics for true concurrency in BDI agent systems
View / Open Files
Authors
De Silva, Lavindra
Publication Date
2020Journal Title
AAAI 2020 - 34th AAAI Conference on Artificial Intelligence
Conference Name
AAAI Conference on Artificial Intelligence (AAAI)
ISSN
2159-5399
ISBN
9781577358350
Pages
7119-7126
Type
Conference Object
This Version
AM
Metadata
Show full item recordCitation
De Silva, L. (2020). An operational semantics for true concurrency in BDI agent systems. AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, 7119-7126. https://doi.org/10.17863/CAM.48414
Abstract
Agent programming languages have proved useful for formally modelling implemented systems such as PRS and JACK, and for reasoning about their behaviour. Over the past decades, many agent programming languages and extensions have been developed. A key feature in some of them is their support for the specification of ‘concurrent’ actions and programs. However, their notion of concurrency is still limited, as it amounts to a nondeterministic choice between (sequential) action interleavings. Thus, the notion does not represent ‘true concurrency’, which can more naturally exploit multi-core computers and multi-robot manufacturing cells. This paper provides a true concurrency operational semantics for a BDI agent programming language, allowing actions to overlap in execution. We prove key properties of the semantics, relating to true concurrency and to its link with interleaving.
Identifiers
External DOI: https://doi.org/10.17863/CAM.48414
This record's URL: https://www.repository.cam.ac.uk/handle/1810/301333
Rights
All rights reserved
Licence:
http://www.rioxx.net/licenses/all-rights-reserved
Statistics
Total file downloads (since January 2020). For more information on metrics see the
IRUS guide.