Visual Editing of Domain Control Knowledge for Planning

• Název práce v češtině: Vizuální editace doménové řídící informace pro plánování
• Název v anglickém jazyce: Visual Editing of Domain Control Knowledge for Planning
• Klíčová slova: znalostní inženýrství|doménové řídící informace|klasické plánování
• Klíčová slova anglicky: domain control knowledge|classical planning|knowledge engineering
• Akademický rok vypsání: 2022/2023
• Typ práce: bakalářská práce
• Jazyk práce: angličtina
• Ústav: Katedra teoretické informatiky a matematické logiky (32-KTIML)
• Vedoucí / školitel: prof. RNDr. Roman Barták, Ph.D.
• Řešitel: Bc. Martin Gráf - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 09.11.2022
• Datum zadání: 22.11.2022
• Datum potvrzení stud. oddělením: 25.11.2022
• Datum a čas obhajoby: 28.06.2024 09:00
• Datum odevzdání elektronické podoby: 08.05.2024
• Datum odevzdání tištěné podoby: 08.05.2024
• Datum proběhlé obhajoby: 28.06.2024
• Oponenti: doc. RNDr. Lukáš Chrpa, Ph.D.

Zásady pro vypracování

Cílem práce je navrhnout a implementovat editor pro grafické zadávání, úpravy a zobrazování řídící informace pro klasické sekvenční plánování. Navržený systém bude také umět tuto informaci automaticky integrovat do doménového modelu použitelného běžnými plánovacími systémy (tedy popsaném v jazyce PDDL) a bude umět specifikovat konkrétní instance plánovacích problémů. Práce bude vycházet z modelu řídících informací ve tvaru Attributed Transition-Based Domain Control Knowledge.

Seznam odborné literatury

Lukáš Chrpa, Roman Barták: Guiding Planning Engines by Transition-Based Domain Control Knowledge. KR 2016: 545-548

Lukáš Chrpa, Roman Barták, Jindřich Vodrážka, Marta Vomlelová: Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning. IEEE Trans. Knowl. Data Eng. 34(9): 4089-4101 (2022)

Marta Vomlelová, Jindřich Vodrážka, Roman Barták, Lukáš Chrpa: Automated Acquisition of Control Knowledge for Classical Planners. ICAART (2) 2020: 959-966