Result Details
Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings
Zbořil František, doc. Ing., Ph.D., DITS (FIT), IPE DPE (FME)
Kočí Radek, Ing., Ph.D., DITS (FIT), IPE DPE (FME)
Zbořil František, doc. Ing., CSc., DITS (FIT)
Although BDI systems have long been studied in the field of agent-based
programming, there are still problems open for research. One problem is that some
parts of systems are non-deterministic in the original specification. However,
finding a suitable deterministic method can lead to improved rationality of an
agent's behaviour. In our previous work, we introduced late binding into the
interpretation of AgentSpeak(L) language. The main benefit of this approach is
that the interpreter chooses substitutions only when needed, thus avoiding
unnecessary and incorrect substitution selection. In this paper, we present
a formal operational semantics for an interpreter using late binding variables.
A well-specified operational semantics is necessary for the implementation of
such an interpreter and its further development
BDI Agents, Operational semantics, AgentSpeak(L)
@inproceedings{BUT180290,
author="František {Vídeňský} and František {Zbořil} and Radek {Kočí} and František {Zbořil}",
title="Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings",
booktitle="Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1",
year="2023",
pages="173--180",
publisher="SciTePress - Science and Technology Publications",
address="Lisabon",
doi="10.5220/0011620700003393",
isbn="978-989-758-623-1",
url="https://www.scitepress.org/Link.aspx?doi=10.5220/0011620700003393"
}