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...

Full description

Bibliographic Details
Main Authors: de Silva, Lavindra, Meneguzzi, Felipe, Logan, Brian
Format: Conference or Workshop Item
Published: 2018
Online Access:https://eprints.nottingham.ac.uk/52959/