Original title: Řízení virtuálních lidí
Translated title: Controlling Virtual People
Authors: Gemrot, Jakub ; Brom, Cyril (advisor) ; Dignum, Frank (referee) ; Holeňa, Martin (referee)
Document type: Doctoral theses
Year: 2017
Language: eng
Abstract: [eng] [cze]
Title: Controlling Virtual People Author: Mgr. Jakub Gemrot Department: Department of Software and Computer Science Education Supervisor: Mgr. Cyril Brom, PhD. Abstract: In this thesis, we provide a computational formalization of reactive planning as a paradigm for decision making of intelligent virtual agents and videogame non-player characters. We formalize agent decision-making (ADM) as a process of deciding on which body actions to execute next and differentiate it from agent reasoning as a process of computing facts needed for decision making. We show that imperative programming languages are not suitable for ADM specification and explain why they are not suitable. Thereafter, we create a new computational model that we use as the basis for the definition of Behavior Design Language (BDL). We show that BDL can model decision-making specified by scripting, hierarchical finite-state machines, AgentSpeak(L), GOAL, SPOSH and Behavior trees. Importantly, BDL can model these approaches economically in terms of the number of behavior primitives. The key strengths of the BDL language are: versatility (it can mix decision making patterns of multiple languages together), extensibility (it allows developers to devise new language primitives as they see fit), and generality (it can abstract any computable... Název práce: Řízení virtuálních lidí Autor: Mgr. Jakub Gemrot Katedra / Ústav: Katedra software a výuky informatiky Vedoucí rigorózní práce: Mgr. Cyril Brom, PhD., Kabinet software a výuky informatiky Abstrakt: V této práci předkládáme výpočetní formalizaci reaktivního plánování jako paradigmatu pro modelování rozhodování inteligentních virtuálních agentů a nehráčských postav z počítačových her. V práci formalizujeme rozhodování agentů jako rozhodování vybírající akce, které tělo agenta bude vykonávat v následujícím cyklu simulace. Rozhodování oddělíme od usuzování, které slouží agentovi pro výpočet faktů, která jsou pro rozhodování nutná. Ukážeme, že imperativní programovací jazyky nejsou vhodné pro specifikaci rozhodování agentů a vysvětlíme proč. Následně vytvoříme nový výpočetní model, který použijeme jako základ pro definici Behavior Design Language (BDL). Ukážeme, že BDL dokáže modelovat rozhodování specifikované pomocí skriptovacích programovacích jazyků, hierarchických konečných automatů, stromů chování a jazyků AgentSpeak(L), GOAL, SPOSH. Navíc ukážeme, že BDL dokáže tyto jazyky modelovat ekonomicky vzhledem k počtu primitiv nutných k tvorbě rozhodování v tom kterém formalismu. Hlavní výhody BDL jsou: všestrannost (jazyk umožňuje používat rozhodovací vzory různých jazyků), rozšiřitelnost (je...
Keywords: action-selection mechanisms; controlled comparative experiments; intelligent virtual agents; productivity; reactive planning; inteligentní virtuální agenti; komparativní kontrolované experiment; produktivita; reaktivní plánování; systém pro výběr akcí

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/92889

Permalink: http://www.nusl.cz/ntk/nusl-483907


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Doctoral theses