Identifying Undoable Actions and Events in Automated Planning by Means of Answer Set Programming
Public support
Provider
Ministry of Education, Youth and Sports
Programme
Promoting the mobility of researchers and workers in the framework of international cooperation in R&D
Call for proposals
—
Main participants
České vysoké učení technické v Praze / Fakulta elektrotechnická
Contest type
M2 - International cooperation
Contract ID
MSMT-17223/2018-2
Alternative language
Project name in Czech
Identifikace nezvratných akcí a událostí v automatickém plánování pomocí answer set programming
Annotation in Czech
Souhrnem, hlavní cíle projektu jsou následující. 1. Zhotovit teoretický rámec pro identifikaci nezvratných akcí a událostí 2. Implementace tohoto rámce. Lze využít známých systémů automatického plánování (např. FastDownward, LAPKT) a ASP řešiců (např. clingo, DLV, Alpha Solver). 3. Vyhodnotit účinek nezvratných akcí a událostí v klasickém plánování a „planning and execution“ systémech Z popisu plánovací úlohy (např. v jazyce PDDL), navržený rámec zjistí seznam nezvratných akcí a událostí, tj. takové, jejichž efekty nelze vrátit zpět. Jelikož nezvratné akce a události způsobují tzv. dead-endy, z nichž již není možné dosáhnout plánovaného cíle, budeme integrovat navržený rámec do plánovacích systémů a posléze vyhodnotíme jak informace o nezvratných akcích a událostech zlepší jejich výkon, případně robustnost plánů při jejich vykonání v nedeterministickém prostředí (tj. „planning and execution“ přístup). Tři výsledky jsou plánovány jako výstup projektu: V1 bude ve formě publikace shrnující výsledky úloh T1 a T2, termín dokončení rovněž jako u T2 je plánován na 31.3.2020 V2 bude ve formě implementace systému (úloha T4), termín dokončení rovněž jako u T4 je plánován na 30.9.2020 V3 bude ve formě publikace shrnující výsledky úloh T3, T4 a T5, termín dokončení rovněž jako u T5 je plánován na 31.12.2020 Výsledky budeme publikovat na prestižních fórech (např. AAAI, IJCAI, ICAPS, KR). Spolupráce mezi ČVUT a AAU je plánovaná s dlouhodobým záměrem jelikož po navazání spolupráce plánujeme žádat o bilaterální, či multilaterální projekty (např. H2020).
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
This project was being realized in the framework of the MOBILITY Activity that aims primarily on establishing and strenghtening ties with foreign research institutions. The control of particular outputs is not implemented by the evalution committee, but the correctness of allocated finances and the adequacy of their use are checked.
Solution timeline
Realization period - beginning
Jan 1, 2019
Realization period - end
Dec 31, 2021
Project status
U - Finished project
Latest support payment
Apr 29, 2020
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP22-MSM-8J-U
Data delivery date
Jul 19, 2022
Finance
Total approved costs
196 thou. CZK
Public financial support
196 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK