Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings

Loading...
Thumbnail Image
Date
2023-02-01
Advisor
Referee
Mark
Journal Title
Journal ISSN
Volume Title
Publisher
SciTePress - Science and Technology Publications
Altmetrics
Abstract
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
Přestože jsou systémy BDI v oblasti agentového programování již dlouho studovány, stále se vyskytují problémy otevřené pro výzkum. Jedním z problémů je, že některé části systémů jsou v původní specifikaci nedeterministické. Nalezení vhodné deterministické metody však může vést ke zlepšení racionality chování agenta. V naší předchozí práci jsme do interpretace jazyka AgentSpeak(L) zavedli pozdní vazbu. Hlavní výhodou tohoto přístupu je, že interpretátor volí substituce pouze v případě potřeby, čímž se vyhne zbytečnému a nesprávnému výběru substitucí. V tomto článku představujeme formální operační sémantiku pro interpretaci s použitím pozdních vazeb proměnných.
Description
Citation
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1. 2023, p. 173-180.
https://www.scitepress.org/Link.aspx?doi=10.5220/0011620700003393
Document type
Peer-reviewed
Document version
Published version
Date of access to the full text
Language of document
en
Study field
Comittee
Date of acceptance
Defence
Result of defence
Document licence
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
http://creativecommons.org/licenses/by-nc-nd/4.0/
Citace PRO