VÍDEŇSKÝ, F. Pozdní vazba proměnných v interpretech jazyka AgentSpeak(L) [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2025.
Disertační práce Ing. Františka Vídeňského se zaměřuje na problematiku BDI systémů programovaných v jazyce AgentSpeak(L), přičemž hlavní pozornost věnuje otázce vazby proměnných a její optimalizaci v kontextu plánování a rozhodování agentů. Práce se soustředí zejména na návrh a realizaci strategie pozdní vazby proměnných, jejímž cílem je zvýšit flexibilitu agentů při reagování na změny prostředí a snížit pravděpodobnost selhání plánů při jejich vykonávání. Základní myšlenky této strategie vznikly v rámci výzkumné skupiny Inteligentních systémů pod mým vedením. Ing. Vídeňský na ně navázal, dokončil jejich formální specifikaci, implementoval experimentální prostředí a významně se podílel na ověření efektivity navrženého přístupu. Součástí jeho práce byla také implementace části systému FRAg, který navrženou metodu pozdní vazby proměnných realizuje, a rovněž vytvoření překladače z jazyka ASL do jiného dialektu AgentSpeak(L), postaveného přímo na jazyce Prolog. Tím prokázal hluboké porozumění principům BDI architektur i schopnost samostatné a systematické výzkumné práce. Výsledky jeho výzkumu byly publikovány na mezinárodně uznávaných konferencích, včetně konference ICAART (Core B), a také v dalších odborných časopisech a sbornících. Ing. Vídeňský je autorem či spoluautorem jedenácti odborných publikací, z nichž deset je indexováno v databázi Scopus a pět přímo souvisí s tématem disertační práce. Jedna z těchto prací byla na základě výběru publikována v rozšířené verzi v rámci série Lecture Notes in Artificial Intelligence. Student rovněž prokázal schopnost praktické aplikace vyvíjených metod – byl součástí týmu, který se opakovaně úspěšně zúčastnil mezinárodní soutěže Multi-Agent Programming Contest, kde tým dosáhl třetího, prvního a druhého místa v jednotlivých ročnících. Tato aktivita významně přispěla k experimentálnímu ověření metod i k prezentaci výsledků skupiny na mezinárodní úrovni. V průběhu doktorského studia Ing. Vídeňský splnil všechny studijní povinnosti, včetně státní doktorské zkoušky. Aktivně se podílel na výuce – vedl cvičení v předmětu Agents and Multiagent Systems , zadával a hodnotil studentské projekty v předmětu Parallel and Distributed Algorithms , vedl dvě úspěšné bakalářské práce a působil jako oponent bakalářských i diplomových prací. Ing. František Vídeňský prokázal vysokou míru odborné zralosti, schopnost samostatné vědecké práce a hluboké porozumění problematice inteligentních agentních systémů. Jeho disertační práce přináší pozoruhodný přínos jak teoretický, tak praktický, zejména v oblasti adaptivního plánování v BDI systémech. Na základě dosažených výsledků a celkového přístupu doktoranda doporučuji disertační práci Ing. Františka Vídeňského k obhajobě .
Overall, the thesis and the presented results show that the student is capable of high-quality work. He can present his ideas in a formally correct way and can produce interesting scientific results. The work provides an interesting and novel contribution to the area of intelligent agents based on the BDI architecture and solves an important problem. The weakest aspect of the thesis is the fact that all the results were published at a single venue (the ICAART conference). Nevertheless, I believe the thesis meets the requirements for the award of the Ph.D. degree.
The candidate shows a mature understanding of the field and is able to undertake research at a high international level, also shown by his publications record. The thesis contains original nontrivial scientific contributions to the BDI subfield of agent reasoning, in particular AgentSpeak(L) languages. All concepts are worked out in a detailed, mathematically sound way with formal definitions lemmata and theorems that are formally proved. The results are important contributions to the area of (BDI-based) agent languages. The thesis satisfies all the requirements of a doctoral thesis. I recommend accepting the thesis for defence.
eVSKP id 168895