An operational semantics for a fragment of PRS

Tools

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.

Full text not available from this repository.

Abstract

The Procedural Reasoning System (PRS) is arguably the ﬁrst implementation of the Belief–Desire–Intention (BDI) approach to agent programming. PRS remains extremely inﬂuential, 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 difﬁcult to determine its expressive power relative to other agent programming languages. This paper takes a ﬁrst step towards closing this gap, by giving a formal semantics for a signiﬁcant fragment of PRS. We prove key properties of the semantics relating to PRS-speciﬁc 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.

Item Type:	Conference or Workshop Item (Paper)
RIS ID:	https://nottingham-repository.worktribe.com/output/947246
Schools/Departments:	University of Nottingham, UK > Faculty of Engineering > Department of Mechanical, Materials and Manufacturing Engineering University of Nottingham, UK > Faculty of Science > School of Computer Science
Related URLs:	URL URL Type https://www.ijcai-18.org/ UNSPECIFIED
Depositing User:	De Silva, Lavindra
Date Deposited:	16 Jul 2018 12:16
Last Modified:	04 May 2020 19:46
URI:	https://eprints.nottingham.ac.uk/id/eprint/52959

Actions (Archive Staff Only)

Edit View

LoginAdmin