Název: Viizualizace a verifikace plánů
Překlad názvu: Visualization and verification of plans
Autoři: Glinský, Radoslav ; Barták, Roman (vedoucí práce) ; Dvořák, Filip (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2011
Jazyk: eng
Abstrakt: [eng] [cze]
Title: Visualization and Verification of Plans Author: Radoslav Glinský Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor of the bachelor thesis: Doc. RNDr. Roman Barták, Ph.D. Abstract: Plan analysis is an important part of complete planning systems. In order to make even larger plans transparent and human readable, we have developed a program which helps users with the analysis and visualization of plans. This program is called VisPlan - Interactive Visualization and Verification of Plans. VisPlan is an inevitable part of this thesis as it practically implements its plan verification and visualization solutions. VisPlan finds and displays causal relations between actions, it identifies possible flaws in plans (and thus verifies plans' correctness), it highlights the flaws found in the plan and finally, it allows users to interactively modify the plan and hence manually repair the flaws or just fine-tune the plan. Keywords: Planning, Artificial Intelligence, PDDL, Verification Názov: Vizualizácia a verifikácia plánov Autor: Radoslav Glinský Katedra: Katedra teoretickej informatiky a matematickej logiky Vedúci bakalárskej práce: Doc. RNDr. Roman Barták, Ph.D. Abstrakt: Analýza plánov je dôležitou sú as ou kompletných plánovacích systémov. Aby smeč ť umožnili užívate omľ orientovať sa aj vo vä ších plánoch, vytvorili sme program, ktorý pomáha s analýzou ač vizualizáciou plánov. Program sa volá VisPlan - Interactive Visualization and Verification of Plans. VisPlan je neoddelite nouľ sú as ouč ť bakalárskej práce, ke že prakticky implementuje jej vizualiza né aď č verifika né riešenia. VisPlan nachádza a zobrazuječ kauzálne väzby medzi akciami, identifikuje možné chyby v pláne (a tak overuje jeho korektnos ), zvýraz uje nájdenéť ň chyby v pláne a umož ujeň užívate om interaktívne modifikova plán, a teda opravi chyby v pláne alebo ho jednoducho vylepši .ľ ť ť ť K úľ ovč é slová: Plánovanie, Umelá inteligencia, PDDL, Verifikácia
Klíčová slova: PDDL; Plánovanie; Umelá inteligencia; Verifikácia; Artificial Intelligence; PDDL; Planning; Verification

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/38690

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


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 > Bakalářské práce