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

Simple item page
dc.contributor.authorVídeňský, Františekcs
dc.contributor.authorZbořil, Františekcs
dc.contributor.authorKočí, Radekcs
dc.contributor.authorZbořil, Františekcs
dc.date.issued2023-02-01cs
dc.description.abstractAlthough 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 developmenten
dc.description.abstractAlthough 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 developmenten
dc.formattextcs
dc.format.extent173-180cs
dc.format.mimetypeapplication/pdfcs
dc.identifier.citationProceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1. 2023, p. 173-180.en
dc.identifier.doi10.5220/0011620700003393cs
dc.identifier.isbn978-989-758-623-1cs
dc.identifier.orcid0000-0003-1808-441Xcs
dc.identifier.orcid0000-0001-7861-8220cs
dc.identifier.orcid0000-0003-1313-6946cs
dc.identifier.orcid0000-0002-6965-4104cs
dc.identifier.other180290cs
dc.identifier.researcheridKLY-7153-2024cs
dc.identifier.researcheridAAN-7145-2020cs
dc.identifier.researcheridJ-5712-2019cs
dc.identifier.scopus57201359447cs
dc.identifier.scopus24484256800cs
dc.identifier.scopus24483422000cs
dc.identifier.scopus35356877400cs
dc.identifier.urihttp://hdl.handle.net/11012/244290
dc.language.isoencs
dc.publisherSciTePress - Science and Technology Publicationscs
dc.relation.ispartofProceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1cs
dc.relation.urihttps://www.scitepress.org/Link.aspx?doi=10.5220/0011620700003393cs
dc.rightsCreative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internationalcs
dc.rights.accessopenAccesscs
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/cs
dc.subjectBDI Agentsen
dc.subjectOperational semanticsen
dc.subjectAgentSpeak(L)en
dc.subjectBDI Agents
dc.subjectOperational semantics
dc.subjectAgentSpeak(L)
dc.titleOperational Semantic of an AgentSpeak(L) Interpreter using Late Bindingsen
dc.title.alternativeOperational Semantic of an AgentSpeak(L) Interpreter using Late Bindingsen
dc.type.driverconferenceObjecten
dc.type.statusPeer-revieweden
dc.type.versionpublishedVersionen
sync.item.dbidVAV-180290en
sync.item.dbtypeVAVen
sync.item.insts2025.10.14 14:13:17en
sync.item.modts2025.10.14 10:54:28en
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
116207.pdf
Size:
343.44 KB
Format:
Adobe Portable Document Format
Description:
file 116207.pdf
Download
Collections
Ústav inteligentních systémů