An operational semantics for a fragment of PRS
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 surprisingl...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2018
|
| Online Access: | https://eprints.nottingham.ac.uk/52959/ |
| _version_ | 1848798847661244416 |
|---|---|
| author | de Silva, Lavindra Meneguzzi, Felipe Logan, Brian |
| author_facet | de Silva, Lavindra Meneguzzi, Felipe Logan, Brian |
| author_sort | de Silva, Lavindra |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T20:26:17Z |
| format | Conference or Workshop Item |
| id | nottingham-52959 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T20:26:17Z |
| publishDate | 2018 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-529592020-05-04T19:46:48Z https://eprints.nottingham.ac.uk/52959/ An operational semantics for a fragment of PRS de Silva, Lavindra Meneguzzi, Felipe Logan, Brian 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. 2018-07-18 Conference or Workshop Item PeerReviewed de Silva, Lavindra, Meneguzzi, Felipe and Logan, Brian (2018) An operational semantics for a fragment of PRS. In: 27th International Joint Conference on Artificial Intelligence (IJCAI) and the 23rd European Conference on Artificial Intelligence (ECAI), 13-19 July 2018, Stockholm, Sweden. |
| spellingShingle | de Silva, Lavindra Meneguzzi, Felipe Logan, Brian An operational semantics for a fragment of PRS |
| title | An operational semantics for a fragment of PRS |
| title_full | An operational semantics for a fragment of PRS |
| title_fullStr | An operational semantics for a fragment of PRS |
| title_full_unstemmed | An operational semantics for a fragment of PRS |
| title_short | An operational semantics for a fragment of PRS |
| title_sort | operational semantics for a fragment of prs |
| url | https://eprints.nottingham.ac.uk/52959/ |