KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks

Gerhard Wickler, Lukáš Chrpa, Thomas Leo McCluskey

2014

Abstract

This paper introduces the Knowledge Engineering Web Interface (KEWI) which primarily aims to be used for modelling automated planning tasks in a semi-formal framework. The conceptual model used to represent the declarative and procedural knowledge in KEWI is described formally. The model consists of three layers: a rich ontology, a model of basic actions, and more complex methods. It is this structured conceptual model based on the rich ontology that facilitates knowledge engineering. The focus of this paper is to show how the central knowledge model used in KEWI differs from a model directly encoded in PDDL, the language accepted by most existing planning engines. Specifically, the rich ontology enables a more concise and natural style of representation. For operational use, KEWI automatically generates PDDL. Initial experiments show that the generated PDDL can be processed by a planner without incurring significant drawbacks.

References

  1. Ai-Chang, M., Bresina, J. L., Charest, L., Chase, A., jung Hsu, J. C., Jónsson, A. K., Kanefsky, B., Morris, P. H., Rajan, K., Yglesias, J., Chafin, B. G., Dias, W. C., and Maldague, P. F. (2004). Mapgen: Mixedinitiative planning and scheduling for the mars exploration rover mission. IEEE Intelligent Systems, 19(1):8-12.
  2. Barreiro, J., Boyce, M., Do, M., Frank, J., Iatauro, M., Kichkaylo, T., Morris, P., Ong, J., Remolina, E., and Smith, T. (2012). EUROPA: A platform for AI planning, scheduling, constraint programming, and optimization. In 4th International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS).
  3. Currie, K. and Tate, A. (1991). O-Plan: The open planning architeture. Artificial Intelligence, 52:49-86.
  4. Ghallab, M., Nau, D., and Traverso, P. (2004). Automated Planning. Morgan Kaufmann.
  5. Jonsson, P. and Bäckström, C. (1998). State-variable planning under structural restrictions: Algorithms and complexity. Artificial Intelligence, 100:125-176.
  6. Leshed, G., Haber, E. M., Matthews, T., and Lau, T. A. (2008). Coscripter: automating & sharing how-to knowledge in the enterprise. In CHI, pages 1719- 1728.
  7. McCluskey, T. L. and Kitchin, D. E. (1998). A toolsupported approach to engineering HTN planning models. In In Proceedings of 10th IEEE International Conference on Tools with Artificial Intelligence.
  8. Plch, T., Chomut, M., Brom, C., and Barták, R. (2012). Inspect, edit and debug PDDL documents: Simply and efficiently with PDDL studio. ICAPS12 System Demonstration, page 4.
  9. Schreiber, G., Akkermans, H., Anjewierden, A., de Hoog, R., Shadbolt, N., de Velde, W. V., and Wielinga, B. J. (1999). Knowledge Engineering and Management: The CommonKADS Methodology. MIT Press, Cambridge, Mass., 2nd ed. edition.
  10. Simpson, R., Kitchin, D. E., and McCluskey, T. (2007). Planning domain definition using gipo. Knowledge Engineering Review, 22(2):117-134.
  11. Smith, D. E., Frank, J., and Cushing, W. (2008). The anml language. Proceedings of ICAPS-08.
  12. Vaquero, T. S., Tonaco, R., Costa, G., Tonidandel, F., Silva, J. R., and Beck, J. C. (2012). itSIMPLE4.0: Enhancing the modeling experience of planning problems. In System Demonstration - Proceedings of the 22nd International Conference on Automated Planning & Scheduling (ICAPS-12).
  13. Vodráz?ka, J. and Chrpa, L. (2010). Visual design of planning domains. In KEPS 2010: Workshop on Knowledge Engineering for Planning and Scheduling.
  14. Wickler, G., Tate, A., and Hansberger, J. (2013). Using shared procedural knowledge for virtual collaboration support in emergency response. IEEE Intelligent Systems, 28(4):9-17.
Download


Paper Citation


in Harvard Style

Wickler G., Chrpa L. and McCluskey T. (2014). KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 36-47. DOI: 10.5220/0005034400360047


in Bibtex Style

@conference{keod14,
author={Gerhard Wickler and Lukáš Chrpa and Thomas Leo McCluskey},
title={KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},
year={2014},
pages={36-47},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005034400360047},
isbn={978-989-758-049-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - KEWI - A Knowledge Engineering Tool for Modelling AI Planning Tasks
SN - 978-989-758-049-9
AU - Wickler G.
AU - Chrpa L.
AU - McCluskey T.
PY - 2014
SP - 36
EP - 47
DO - 10.5220/0005034400360047