Detail publikace

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

VÍDEŇSKÝ František, ZBOŘIL František, ZBOŘIL František V. a KOČÍ Radek. Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings. In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1. Lisabon: SciTePress - Science and Technology Publications, 2023, s. 173-180. ISBN 978-989-758-623-1.
Název česky
Operační sémantika pro jazyk AgentSpeak(L) s pozdním vyhodnocováním
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Vídeňský František, Ing. (UITS FIT VUT)
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT)
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT)
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Abstrakt

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. 

Rok
2023
Strany
173-180
Sborník
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1
Konference
15th International Conference on Agents and Artificial Intelligence, Lisabon, PT
ISBN
978-989-758-623-1
Vydavatel
SciTePress - Science and Technology Publications
Místo
Lisabon, PT
DOI
10.5220/0011620700003393
EID Scopus
2-s2.0-85180797580
BibTeX 
@INPROCEEDINGS{FITPUB12899,
   author = "Franti\v{s}ek V\'{i}de\v{n}sk\'{y} and Franti\v{s}ek Zbo\v{r}il and V. Franti\v{s}ek Zbo\v{r}il and Radek Ko\v{c}\'{i}",
   title = "Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings",
   pages = "173--180",
   booktitle = "Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1",
   year = 2023,
   location = "Lisabon, PT",
   publisher = "SciTePress - Science and Technology Publications",
   ISBN = "978-989-758-623-1",
   doi = "10.5220/0011620700003393",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12899"
}
Nahoru