An Integrated Development Environment for Planning Domain Modeling

TL;DR

This paper introduces KAVI, an integrated development environment that enhances planning domain modeling by combining visual tools, an abstract knowledge base, and plan validation for more efficient and accurate domain development.

Contribution

KAVI is a novel IDE that integrates visual modeling, an abstract knowledge base, and plan validation to improve planning domain development efficiency.

Findings

KAVI improves modeling efficiency compared to traditional hand-coding.

Integration of plan validation enables fine-tuning of planning domains.

KAVI facilitates non-experts in planning domain modeling.

Abstract

In order to make the task, description of planning domains and problems, more comprehensive for non-experts in planning, the visual representation has been used in planning domain modeling in recent years. However, current knowledge engineering tools with visual modeling, like itSIMPLE (Vaquero et al. 2012) and VIZ (Vodr\'a\v{z}ka and Chrpa 2010), are less efficient than the traditional method of hand-coding by a PDDL expert using a text editor, and rarely involved in finetuning planning domains depending on the plan validation. Aim at this, we present an integrated development environment KAVI for planning domain modeling inspired by itSIMPLE and VIZ. KAVI using an abstract domain knowledge base to improve the efficiency of planning domain visual modeling. By integrating planners and a plan validator, KAVI proposes a method to fine-tune planning domains based on the plan validation.