A Tool-Supported Approach to Engineering HTN Planning Models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

Our research concerns formal, expressive, object-centred languages and tools for use in engineering domains for planning applications. In this paper we extend our recent work on an object-centred language for encoding pre-condition planning domains to a language called OCLh, designed for HTN planning. Domain encodings for HTN planners are particularly troublesome, because they tend to be used in knowledged-based applications requiring a great deal of `domain engineering', and the abstract operators central to an HTN model do not share the fairly clear declarative semantics of concrete pre- and post condition operators. Central to our approach is the development, in parallel, of the abstract operator set and the hierarchical state specification of the objects that the operators manipulate. We also define and illustrate a transparency property, together with a transparency checking tool, which helps the developer to encode a clear planning model in OCLh. Our encoding of the Translog domain is used as an extended example to illustrate the approach.

Original languageEnglish
Title of host publicationProceedings Tenth IEEE International Conference on Tools with Artificial Intelligence
PublisherIEEE
Pages272-279
Number of pages8
ISBN (Print)0780352149
Publication statusPublished - Dec 1998
EventIEEE 10th International Conference on Tools with Artificial Intelligence - Taipei, Taiwan, Province of China
Duration: 10 Nov 199812 Nov 1998
Conference number: 10
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=744734 (Link to Conference Information)

Publication series

Name
ISSN (Print)1063-6730

Conference

ConferenceIEEE 10th International Conference on Tools with Artificial Intelligence
CountryTaiwan, Province of China
CityTaipei
Period10/11/9812/11/98
Internet address

Fingerprint

Planning
Transparency
Semantics
Concretes
Specifications

Cite this

McCluskey, T. L., & Kitchin, D. E. (1998). A Tool-Supported Approach to Engineering HTN Planning Models. In Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence (pp. 272-279). IEEE.
McCluskey, T. L. ; Kitchin, D. E. / A Tool-Supported Approach to Engineering HTN Planning Models. Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE, 1998. pp. 272-279
@inproceedings{84c8d81f28684edfb8e0ee76cb3997b1,
title = "A Tool-Supported Approach to Engineering HTN Planning Models",
abstract = "Our research concerns formal, expressive, object-centred languages and tools for use in engineering domains for planning applications. In this paper we extend our recent work on an object-centred language for encoding pre-condition planning domains to a language called OCLh, designed for HTN planning. Domain encodings for HTN planners are particularly troublesome, because they tend to be used in knowledged-based applications requiring a great deal of `domain engineering', and the abstract operators central to an HTN model do not share the fairly clear declarative semantics of concrete pre- and post condition operators. Central to our approach is the development, in parallel, of the abstract operator set and the hierarchical state specification of the objects that the operators manipulate. We also define and illustrate a transparency property, together with a transparency checking tool, which helps the developer to encode a clear planning model in OCLh. Our encoding of the Translog domain is used as an extended example to illustrate the approach.",
author = "McCluskey, {T. L.} and Kitchin, {D. E.}",
year = "1998",
month = "12",
language = "English",
isbn = "0780352149",
publisher = "IEEE",
pages = "272--279",
booktitle = "Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence",

}

McCluskey, TL & Kitchin, DE 1998, A Tool-Supported Approach to Engineering HTN Planning Models. in Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE, pp. 272-279, IEEE 10th International Conference on Tools with Artificial Intelligence, Taipei, Taiwan, Province of China, 10/11/98.

A Tool-Supported Approach to Engineering HTN Planning Models. / McCluskey, T. L.; Kitchin, D. E.

Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE, 1998. p. 272-279.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - A Tool-Supported Approach to Engineering HTN Planning Models

AU - McCluskey, T. L.

AU - Kitchin, D. E.

PY - 1998/12

Y1 - 1998/12

N2 - Our research concerns formal, expressive, object-centred languages and tools for use in engineering domains for planning applications. In this paper we extend our recent work on an object-centred language for encoding pre-condition planning domains to a language called OCLh, designed for HTN planning. Domain encodings for HTN planners are particularly troublesome, because they tend to be used in knowledged-based applications requiring a great deal of `domain engineering', and the abstract operators central to an HTN model do not share the fairly clear declarative semantics of concrete pre- and post condition operators. Central to our approach is the development, in parallel, of the abstract operator set and the hierarchical state specification of the objects that the operators manipulate. We also define and illustrate a transparency property, together with a transparency checking tool, which helps the developer to encode a clear planning model in OCLh. Our encoding of the Translog domain is used as an extended example to illustrate the approach.

AB - Our research concerns formal, expressive, object-centred languages and tools for use in engineering domains for planning applications. In this paper we extend our recent work on an object-centred language for encoding pre-condition planning domains to a language called OCLh, designed for HTN planning. Domain encodings for HTN planners are particularly troublesome, because they tend to be used in knowledged-based applications requiring a great deal of `domain engineering', and the abstract operators central to an HTN model do not share the fairly clear declarative semantics of concrete pre- and post condition operators. Central to our approach is the development, in parallel, of the abstract operator set and the hierarchical state specification of the objects that the operators manipulate. We also define and illustrate a transparency property, together with a transparency checking tool, which helps the developer to encode a clear planning model in OCLh. Our encoding of the Translog domain is used as an extended example to illustrate the approach.

UR - http://www.scopus.com/inward/record.url?scp=0032258406&partnerID=8YFLogxK

M3 - Conference contribution

SN - 0780352149

SP - 272

EP - 279

BT - Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence

PB - IEEE

ER -

McCluskey TL, Kitchin DE. A Tool-Supported Approach to Engineering HTN Planning Models. In Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE. 1998. p. 272-279