Show simple item record

dc.contributor.authorDe Silva, Lavindraen
dc.date.accessioned2020-01-28T00:31:59Z
dc.date.available2020-01-28T00:31:59Z
dc.date.issued2020-01-01en
dc.identifier.isbn9781577358350en
dc.identifier.issn2159-5399
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/301333
dc.description.abstractAgent 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.
dc.rightsAll rights reserved
dc.titleAn operational semantics for true concurrency in BDI agent systemsen
dc.typeConference Object
prism.endingPage7126
prism.publicationDate2020en
prism.publicationNameAAAI 2020 - 34th AAAI Conference on Artificial Intelligenceen
prism.startingPage7119
dc.identifier.doi10.17863/CAM.48414
dcterms.dateAccepted2019-11-11en
rioxxterms.versionAM
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2020-01-01en
dc.identifier.eissn2374-3468
rioxxterms.typeConference Paper/Proceeding/Abstracten
cam.orpheus.successThu Nov 05 11:55:43 GMT 2020 - Embargo updated*
rioxxterms.freetoread.startdate2021-02-10


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record