Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > research > projects > reactive >

Tools: Drucken


Project: Answer Set Programming for Reactive Planning and Execution Monitoring

supported by the Austrian Science Funds (FWF) under project number P16536)


Contents


Project team

Motivation and Background

Planning plays an important role in many relevant areas of AI. However, in real world applications the classical planning problem (i.e., finding a sequence of actions to execute in order to reach a certain goal) is often only of limited relevance as soon as exogenous events can change the state of the world or unforeseen effects can arise from taking an action during execution.

On the other hand, especially in robotics and software agents, approaches with pure reactive behavior and no planning capabilities are often inflexible and allow only for executing hard-coded ``plans'' from a fixed library. Obviously, hybrid approaches are necessary, where planning, monitoring and reacting to the real world are interleaved. In particular, this plays a role when planning for collaborative tasks of agents.

Goal of the project

The main target of this project is to combine and extend logic based approaches on planning and monitoring in a common framework based on answer set programming, which is a growing field in declarative logic programming. Fundamental research in the areas of planning, diagnosis and belief revision has shown promising and competitive results by use of logic programming for elementary tasks and problem solving in the respective fields separately. However, all these fields are important for a reactive agent environment. Integrating respective methods from these fields is essential for successful applications of planning in real world environments.

To this end, we can take advantage of the knowledge and experience that we have gained in previous projects, including the FWF projects P11580-MAT, P14781-INF and P13871-INF. We intend to use the DLV system and the planning system DLVK based on DLV, that have been developed in the quoted projects.

Tools developed

During the course of the project, several tools have been developed.

Publications


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.