Learning static constraints for domain modeling from training plans

Research output: Contribution to journalConference article

Abstract

Intelligent agents solving problems in the real-world require domain models containing widespread knowledge of the world. Synthesising operator descriptions and domain specific constraints by hand for AI planning domain models is time-intense, error-prone and challenging. To alleviate this, automatic domain model acquisition techniques have been introduced. For example, the LOCM system requires as input some plan traces only, and is effectively able to automatically encode the dynamic part of the domain model. However, the static part of the domain, i.e., the underlying structure of the domain that can not be dynamically changed, but that affects the way in which actions can be performed is usually missed, since it can hardly be derived by observing transitions only. In this paper we introduce ASCoL, a tool that exploits graph analysis for automatically identifying static relations, in order to enhance planning domain models. ASCoL has been evaluated on domain models generated by LOCM for the international planning competition, and has been shown to be effective.

LanguageEnglish
Pages31-36
Number of pages6
JournalCEUR Workshop Proceedings
Volume1485
Publication statusPublished - Sep 2015
EventDoctorial Consortium - Ferrara, Italy
Duration: 23 Sep 201524 Sep 2015
http://ceur-ws.org/Vol-1485/proceedings.pdf

Fingerprint

Planning
Intelligent agents

Cite this

@article{18e0db3e159646dcaf25d779f6d67ea5,
title = "Learning static constraints for domain modeling from training plans",
abstract = "Intelligent agents solving problems in the real-world require domain models containing widespread knowledge of the world. Synthesising operator descriptions and domain specific constraints by hand for AI planning domain models is time-intense, error-prone and challenging. To alleviate this, automatic domain model acquisition techniques have been introduced. For example, the LOCM system requires as input some plan traces only, and is effectively able to automatically encode the dynamic part of the domain model. However, the static part of the domain, i.e., the underlying structure of the domain that can not be dynamically changed, but that affects the way in which actions can be performed is usually missed, since it can hardly be derived by observing transitions only. In this paper we introduce ASCoL, a tool that exploits graph analysis for automatically identifying static relations, in order to enhance planning domain models. ASCoL has been evaluated on domain models generated by LOCM for the international planning competition, and has been shown to be effective.",
keywords = "Automated planning, Domain constraints, Domain model acquisition, Knowledge engineering",
author = "Rabia Jilani",
year = "2015",
month = "9",
language = "English",
volume = "1485",
pages = "31--36",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR Workshop Proceedings",

}

Learning static constraints for domain modeling from training plans. / Jilani, Rabia.

In: CEUR Workshop Proceedings, Vol. 1485, 09.2015, p. 31-36.

Research output: Contribution to journalConference article

TY - JOUR

T1 - Learning static constraints for domain modeling from training plans

AU - Jilani, Rabia

PY - 2015/9

Y1 - 2015/9

N2 - Intelligent agents solving problems in the real-world require domain models containing widespread knowledge of the world. Synthesising operator descriptions and domain specific constraints by hand for AI planning domain models is time-intense, error-prone and challenging. To alleviate this, automatic domain model acquisition techniques have been introduced. For example, the LOCM system requires as input some plan traces only, and is effectively able to automatically encode the dynamic part of the domain model. However, the static part of the domain, i.e., the underlying structure of the domain that can not be dynamically changed, but that affects the way in which actions can be performed is usually missed, since it can hardly be derived by observing transitions only. In this paper we introduce ASCoL, a tool that exploits graph analysis for automatically identifying static relations, in order to enhance planning domain models. ASCoL has been evaluated on domain models generated by LOCM for the international planning competition, and has been shown to be effective.

AB - Intelligent agents solving problems in the real-world require domain models containing widespread knowledge of the world. Synthesising operator descriptions and domain specific constraints by hand for AI planning domain models is time-intense, error-prone and challenging. To alleviate this, automatic domain model acquisition techniques have been introduced. For example, the LOCM system requires as input some plan traces only, and is effectively able to automatically encode the dynamic part of the domain model. However, the static part of the domain, i.e., the underlying structure of the domain that can not be dynamically changed, but that affects the way in which actions can be performed is usually missed, since it can hardly be derived by observing transitions only. In this paper we introduce ASCoL, a tool that exploits graph analysis for automatically identifying static relations, in order to enhance planning domain models. ASCoL has been evaluated on domain models generated by LOCM for the international planning competition, and has been shown to be effective.

KW - Automated planning

KW - Domain constraints

KW - Domain model acquisition

KW - Knowledge engineering

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

M3 - Conference article

VL - 1485

SP - 31

EP - 36

JO - CEUR Workshop Proceedings

T2 - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -