An operational semantics for a fragment of PRS

Lavindra De Silva, Felipe Meneguzzi, Brian Logan

Research output: Chapter in Book/Report/Conference proceedingPublished conference contribution

6 Citations (Scopus)


The Procedural Reasoning System (PRS) is arguably the first implementation of the Belief-Desire-Intention (BDI) approach to agent programming. PRS remains extremely influential, directly or indirectly inspiring the development of subsequent BDI agent programming languages. However, perhaps surprisingly given its centrality in the BDI paradigm, PRS lacks a formal operational semantics, making it difficult to determine its expressive power relative to other agent programming languages. This paper takes a first step towards closing this gap, by giving a formal semantics for a significant fragment of PRS. We prove key properties of the semantics relating to PRS-specific programming constructs, and show that even the fragment of PRS we consider is strictly more expressive than the plan constructs found in typical BDI languages.

Original languageEnglish
Title of host publicationProceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018
EditorsJerome Lang
PublisherInternational Joint Conferences on Artificial Intelligence Organization
Number of pages8
ISBN (Electronic)9780999241127
Publication statusPublished - 2018
Event27th International Joint Conference on Artificial Intelligence, IJCAI 2018 - Stockholm, Sweden
Duration: 13 Jul 201819 Jul 2018


Conference27th International Joint Conference on Artificial Intelligence, IJCAI 2018

Bibliographical note

Funding Information:
Lavindra is grateful to Félix Ingrand for useful discussions about OpenPRS while Lavindra was a researcher on the GOAC/MARAE projects (2009-2011) at LAAS-CNRS. Felipe thanks CNPq for partial financial support under its PQ fellowship, grant number 305969/2016-1.

Publisher Copyright:
© 2018 International Joint Conferences on Artificial Intelligence. All right reserved.


Dive into the research topics of 'An operational semantics for a fragment of PRS'. Together they form a unique fingerprint.

Cite this