Late Bindings in AgentSpeak(L)

BDI agenti, plánování, interpretace agentů, jazyk AgentSpeak(L)

U agentů založených na teorii BDI zůstávají některé problémy stále otevřené. Patří mezi ně části interpretace těchto systémů, které jsou v původních specifikacích nedeterministické, kdy nalezení metod  jejich determinismu by mělo vést ke zlepšení racionality chování agentů.  Mezi tyto problémy patří např. výběr plánu vhodného pro dosažení cíle, dále pak volba cíle, který má agent v daném okamžiku sledovat, a volba způsobu, jakým má být plán realizován v čase a, pokud je k implementaci takového agenta použit jazyk založený na predikátové logice, pak je zde také problém volby substitucí proměnných. Jedním z takových systémů založených na agentech jsou systémy využívající jazyk AgentSpeak(L) který je základem tohoto článku. Do výkladu tohoto jazyka zavádíme pozdní vazby jazyka a ukázujeme, že díky nim agent neztrácí možnost dosáhnout cíle tím, že by agend dopouštěl  zbytečných nebo nesprávných záměn v případech, kdy takové rozhodnutí není nutné.  Ukazujeme, že s pozdní vazebních substitucí agent operuje se všemi možnými substitucemi danými zvoleným plánem k cílům ve struktuře plánu a že tyto substituce jsou vždy platné s ohledem na dosud provedené úkony v rámci tohoto plánu.

Text představuje použití late bindings pro interpretaci jazyka AgentSpeak(L). Kromě základních operací je zde uvedena operační sémantika, na jejichž základě lze vytvořit interpreter, který bude provádět agenta podle programu v tomto jazyce flexibilnějším způsobem.