Project: Identifying Undoable Actions and Events...
Master data
Identifying Undoable Actions and Events in Automated Planning by Means of Answer Set Programming | |
Description: | Automated planning, understood as “reasoning about acting'' is one of the oldest problems studied in Artificial Intelligence and has been successfully applied in many practical domains. Environments are described from the point of view of an agent, and its dynamics are captured by actions (under the control of the agent) and events (not under its control). One issue that has received less attention than it deserves is that of plan safety, and in particular the question of which actions or events are irreversible or lead to dead ends. In this project, we will focus on the characterization and identification of actions and events that are not undoable, and thus unsafe in a specific sense. While there has been some earlier work on this topic, the existing approaches rely on either very general or quite restrictive frameworks. In the proposed project we propose to cover the middle ground and propose to do so using a specific instrument, Answer Set Programming (ASP, a logic programming framework that is theoretically well-studied and also has efficient practical system support). There are several indications that ASP is particularly well-suited for determining undoable actions and events, which we intend to substantiate in the project. The contributions of the project will therefore be both theoretical and practical in nature, in the form of novel definitions of undoability, a formal study of their computational properties, new algorithms, their implementation, and an experimental evaluation. Note on funding: The project is funded in the S&T (Scientific & Technological Cooperation, WTZ - Wissenschaftlich-Technische Zusammenarbeit) programme, handled on the Austrian side by OeAD. Funding from the Austrian side amounts to 6000 EUR, from the Czech side to 196000 CZK, all to be used for travel, lodging and subsistence. The funds are paid by OeAD and the Czech counterpart directly, so there is no account at AAU; for this reason we were told that we cannot enter any funding into this database. Note on category: the project is international and the programme is competitive, which fits the definition of category I in the classification sheet. |
Keywords: | automated planning, reasoning about actions and change, answer set programming, plan safety |
Short title: | UndoActASP |
Period: | 01.01.2019 - 31.12.2021 |
Contact e-mail: | - |
Homepage: | - |
Employees
Employees | Role | Time period |
---|---|---|
Wolfgang Faber (internal) |
|
|
Haya Majid Qureshi (internal) |
|
|
Michael Morak (internal) |
|
|
Assignment
Organisational unit | ||||
---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
Categorisation
Project type | Current focus of work |
Funding type | Other |
Research type |
|
Subject areas | |
Research Cluster | No research Research Cluster selected |
Gender aspects | Genderrelevance not selected |
Project focus |
Classification raster of the assigned organisational units:
|
working groups |
|
Funding
Cooperations
Organisation | Address | ||
---|---|---|---|
Czech Technical University in Prague
|
CZ - 16636 Prague 6 |
Research activities
Projects | No related projects |
Publications |
|
Events | No related events |
Lectures |
|