Název: Řízení virtuálních lidí
Překlad názvu: Controlling Virtual People
Autoři: Gemrot, Jakub ; Brom, Cyril (vedoucí práce) ; Dignum, Frank (oponent) ; Holeňa, Martin (oponent)
Typ dokumentu: Disertační práce
Rok: 2017
Jazyk: eng
Abstrakt: [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...
Klíčová slova: inteligentní virtuální agenti; komparativní kontrolované experiment; produktivita; reaktivní plánování; systém pro výběr akcí; action-selection mechanisms; controlled comparative experiments; intelligent virtual agents; productivity; reactive planning

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/92889

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-483907


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Disertační práce