Téma disertační práce

Pokročilé přístupy k praktickému rozhodování u BDI systémů

Ak. rok 2026/2027

Školitel: Zbořil František, doc. Ing., Ph.D.

Ústav: Ústav inteligentních systémů

Programy:

Praktické rozhodování v BDI systémech je tradičně založeno na samostatném vykonávání jednotlivých záměrů, což často vede k redundantnímu provádění akcí i v případech, kdy různé záměry sdílejí společné části.

Cílem této práce je rozšířit praktické rozhodování BDI agenta o schopnost identifikovat a využívat společné části záměrů, tak aby neexkluzivní (sdílené) akce, které postačí vykonat jednou, mohly současně přispívat k naplnění více záměrů.

Práce bude stavět na interpretačním rámci AgentSpeak(L) a na přístupu pozdního navazování proměnných (late binding variables), navrženém a experimentálně ověřeném v předchozím výzkumu. V tomto přístupu agent při interpretaci plánů udržuje kontext jako množinu možných substitucí proměnných dosažených v průběhu výpočtu, přičemž konečné navázání proměnných je odkládáno co nejpozději.

Tento mechanismus umožňuje sjednocovat části různých záměrů na základě sdíleného kontextu substitucí a realizovat jejich společné akční prefixy jediným provedením. Na tomto základě bude cílem práce navrhnout a implementovat rozšířený rozhodovací mechanismus, který identifikuje a vykonává společné části záměrů při zachování korektnosti BDI exekuce.

Současně bude umožněno zapojení současných metod umělé inteligence, zejména mechanismů pozornosti a posilovaného učení, pro adaptivní řízení výběru kombinací záměrů a jejich sdílených částí.

Výsledkem práce má být experimentální BDI systém, který omezuje redundantní vykonávání akcí a vykazuje vyšší efektivitu praktického rozhodování oproti tradičním BDI interpretacím.

Nahoru