An Operational Semantics for a Fragment of PRS
Authors: Lavindra de Silva, Felipe Meneguzzi, Brian Logan
IJCAI 2018 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | 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. |
| Researcher Affiliation | Academia | Lavindra de Silva1, Felipe Meneguzzi2 and Brian Logan3 1 Institute for Advanced Manufacturing, University of Nottingham, Nottingham, UK 2 Pontifical Catholic University of Rio Grande do Sul, Porto Alegre, Brazil 3 School of Computer Science, University of Nottingham, Nottingham, UK |
| Pseudocode | Yes | Fig. 2 shows the derivation rules for actions, belief updates, and goal commitment. |
| Open Source Code | No | The paper is theoretical, providing formal semantics and proofs, and does not mention the release of source code for an implementation. |
| Open Datasets | No | This is a theoretical paper focused on formal semantics and proofs; it does not use or refer to any datasets for training. |
| Dataset Splits | No | This is a theoretical paper focused on formal semantics and proofs; it does not use datasets or specify any dataset splits for validation. |
| Hardware Specification | No | As a theoretical paper, it does not involve computational experiments that would require hardware specifications. |
| Software Dependencies | No | The paper describes a formal semantic framework and proofs, not an implementation, and therefore does not specify any software dependencies with version numbers. |
| Experiment Setup | No | This is a theoretical paper, and no experiments were conducted; therefore, no experimental setup details, hyperparameters, or training configurations are provided. |