Acquiring planning domain models using LOCM

Stephen N. Cresswell, Thomas L. McCluskey, Margaret M. West

Research output: Contribution to journalArticle

31 Citations (Scopus)

Abstract

The problem of formulating knowledge bases containing action schema is a central concern in knowledge engineering for artificial intelligence (AI) planning. This paper describes Learning Object-Centred Models (LOCM), a system that carries out the automated generation of a planning domain model from example training plans. The novelty of LOCM is that it can induce action schema without being provided with any information about predicates or initial, goal or intermediate state descriptions for the example action sequences. Each plan is assumed to be a sound sequence of actions; each action in a plan is stated as a name and a list of objects that the action refers to. LOCM exploits assumptions about the kinds of domain model it has to generate, rather than handcrafted clues or planner-oriented knowledge. It assumes that actions change the state of objects, and require objects to be in a certain state before they can be executed. In this paper, we describe the implemented LOCM algorithm, the assumptions that it is based on, and an evaluation using plans generated through goal-directed solutions, through random walk, and through logging human-generated plans for the game of freecell. We analyze the performance of LOCM by its application to the induction of domain models from five domains.

LanguageEnglish
Pages195-213
Number of pages19
JournalKnowledge Engineering Review
Volume28
Issue number2
DOIs
Publication statusPublished - Jun 2013

Fingerprint

Planning
Knowledge engineering
Artificial intelligence
Acoustic waves

Cite this

Cresswell, Stephen N. ; McCluskey, Thomas L. ; West, Margaret M. / Acquiring planning domain models using LOCM. In: Knowledge Engineering Review. 2013 ; Vol. 28, No. 2. pp. 195-213.
@article{2dfb292fda69498096d01d2da48bb4af,
title = "Acquiring planning domain models using LOCM",
abstract = "The problem of formulating knowledge bases containing action schema is a central concern in knowledge engineering for artificial intelligence (AI) planning. This paper describes Learning Object-Centred Models (LOCM), a system that carries out the automated generation of a planning domain model from example training plans. The novelty of LOCM is that it can induce action schema without being provided with any information about predicates or initial, goal or intermediate state descriptions for the example action sequences. Each plan is assumed to be a sound sequence of actions; each action in a plan is stated as a name and a list of objects that the action refers to. LOCM exploits assumptions about the kinds of domain model it has to generate, rather than handcrafted clues or planner-oriented knowledge. It assumes that actions change the state of objects, and require objects to be in a certain state before they can be executed. In this paper, we describe the implemented LOCM algorithm, the assumptions that it is based on, and an evaluation using plans generated through goal-directed solutions, through random walk, and through logging human-generated plans for the game of freecell. We analyze the performance of LOCM by its application to the induction of domain models from five domains.",
author = "Cresswell, {Stephen N.} and McCluskey, {Thomas L.} and West, {Margaret M.}",
year = "2013",
month = "6",
doi = "10.1017/S0269888912000422",
language = "English",
volume = "28",
pages = "195--213",
journal = "Knowledge Engineering Review",
issn = "0269-8889",
publisher = "Cambridge University Press",
number = "2",

}

Acquiring planning domain models using LOCM. / Cresswell, Stephen N.; McCluskey, Thomas L.; West, Margaret M.

In: Knowledge Engineering Review, Vol. 28, No. 2, 06.2013, p. 195-213.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Acquiring planning domain models using LOCM

AU - Cresswell, Stephen N.

AU - McCluskey, Thomas L.

AU - West, Margaret M.

PY - 2013/6

Y1 - 2013/6

N2 - The problem of formulating knowledge bases containing action schema is a central concern in knowledge engineering for artificial intelligence (AI) planning. This paper describes Learning Object-Centred Models (LOCM), a system that carries out the automated generation of a planning domain model from example training plans. The novelty of LOCM is that it can induce action schema without being provided with any information about predicates or initial, goal or intermediate state descriptions for the example action sequences. Each plan is assumed to be a sound sequence of actions; each action in a plan is stated as a name and a list of objects that the action refers to. LOCM exploits assumptions about the kinds of domain model it has to generate, rather than handcrafted clues or planner-oriented knowledge. It assumes that actions change the state of objects, and require objects to be in a certain state before they can be executed. In this paper, we describe the implemented LOCM algorithm, the assumptions that it is based on, and an evaluation using plans generated through goal-directed solutions, through random walk, and through logging human-generated plans for the game of freecell. We analyze the performance of LOCM by its application to the induction of domain models from five domains.

AB - The problem of formulating knowledge bases containing action schema is a central concern in knowledge engineering for artificial intelligence (AI) planning. This paper describes Learning Object-Centred Models (LOCM), a system that carries out the automated generation of a planning domain model from example training plans. The novelty of LOCM is that it can induce action schema without being provided with any information about predicates or initial, goal or intermediate state descriptions for the example action sequences. Each plan is assumed to be a sound sequence of actions; each action in a plan is stated as a name and a list of objects that the action refers to. LOCM exploits assumptions about the kinds of domain model it has to generate, rather than handcrafted clues or planner-oriented knowledge. It assumes that actions change the state of objects, and require objects to be in a certain state before they can be executed. In this paper, we describe the implemented LOCM algorithm, the assumptions that it is based on, and an evaluation using plans generated through goal-directed solutions, through random walk, and through logging human-generated plans for the game of freecell. We analyze the performance of LOCM by its application to the induction of domain models from five domains.

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

U2 - 10.1017/S0269888912000422

DO - 10.1017/S0269888912000422

M3 - Article

VL - 28

SP - 195

EP - 213

JO - Knowledge Engineering Review

T2 - Knowledge Engineering Review

JF - Knowledge Engineering Review

SN - 0269-8889

IS - 2

ER -