Planning domain definition using GIPO

Authors:
R. M. SIMPSON;D. E. KITCHIN;T. L. McCLUSKEY
Affiliations:
School of Computing and Engineering, The University of Huddersfield, Huddersfield HD1 3DH, UK/ e-mail: r.m.simpson@hud.ac.uk;School of Computing and Engineering, The University of Huddersfield, Huddersfield HD1 3DH, UK/ e-mail: r.m.simpson@hud.ac.uk;School of Computing and Engineering, The University of Huddersfield, Huddersfield HD1 3DH, UK/ e-mail: r.m.simpson@hud.ac.uk
Venue:
The Knowledge Engineering Review
Year:
2007

Citing 9
Cited 6

Introduction to many-sorted logic

Many-sorted logic and its applications
Engineering and compiling planning domain models to promote validity and efficiency

Artificial Intelligence
An integrated environment for knowledge acquisition

Proceedings of the 6th international conference on Intelligent user interfaces
SHOP: Simple Hierarchical Ordered Planner

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
The evolution of Protégé: an environment for knowledge-based systems development

International Journal of Human-Computer Studies
Object-Centred Planning: Lifting Classical Planning from the Literal Level to the Object Level

ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Automated Planning: Theory & Practice

Automated Planning: Theory & Practice
On the compilability and expressive power of propositional planning formalisms

Journal of Artificial Intelligence Research
The automatic inference of state invariants in TIM

Journal of Artificial Intelligence Research

Review:

The Knowledge Engineering Review
Learning complex action models with quantifiers and logical implications

Artificial Intelligence
Everything you always wanted to know about planning (but were afraid to ask)

KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Scaffolding in teaching knowledge representation

Journal of Computing Sciences in Colleges
Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks

Artificial Intelligence in Medicine
Exploring knowledge engineering strategies in designing and modelling a road traffic accident management domain

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper an object-centric perspective on planning domain definition is presented along with an overview of GIPO (graphical interface for planning with objects), a supporting tools environment. It is argued that the object-centric view assists the domain developer in conceptualizing the domain’s structure, and we show how GIPO enables the developer to capture that conceptualization at an appropriate and matching conceptual level. GIPO is an experimental environment which provides a platform for exploring and demonstrating the range and scope of tools required to support the knowledge engineering aspects of creating and validating planning systems, both for classical pre-condition planning and hierarchical planning. GIPO embodies the object-centric view, leading to a range of benefits typically associated with object-oriented methods in other fields of software engineering such as highly visual development methods, code reuse and efficient, reliable development.