Translating PDDL into CSP# - The PAT approach
Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal state. Recently research indicates that there is a strong connection between model checking and...
Saved in:
Main Authors: | , , , , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2012
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5019 https://ink.library.smu.edu.sg/context/sis_research/article/6022/viewcontent/Translating_PDDL_into_CSP___the_PAT_Approach.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
id |
sg-smu-ink.sis_research-6022 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-60222020-03-12T09:06:37Z Translating PDDL into CSP# - The PAT approach LI, Yi SUN, Jing DONG, Jin Song LIU, Yang SUN, Jun Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal state. Recently research indicates that there is a strong connection between model checking and planning problem solving. In this paper, we investigate the feasibility of using a newly developed model checking framework, Process Analysis Toolkit (PAT), to serve as a planning solution provider for upper layer applications. We first carried out a number of experiments on different planning tools in order to compare their performance and capabilities. Our experimental results showed that the performance of the PAT model checker is comparable to that of state-of-art planners for certain categories of problems. We further propose a set of translation rules for mapping from a commonly used planning notation – PDDL into the CSP# modeling language of PAT. Finally, we provide evaluations on the translated models against other approaches in the planning domain to demonstrate the effectiveness of using the PAT model checker for planning. 2012-07-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/5019 info:doi/10.1109/ICECCS20050.2012.6299219 https://ink.library.smu.edu.sg/context/sis_research/article/6022/viewcontent/Translating_PDDL_into_CSP___the_PAT_Approach.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Formal Verification Model Checking Planning Programming Languages and Compilers Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Formal Verification Model Checking Planning Programming Languages and Compilers Software Engineering |
spellingShingle |
Formal Verification Model Checking Planning Programming Languages and Compilers Software Engineering LI, Yi SUN, Jing DONG, Jin Song LIU, Yang SUN, Jun Translating PDDL into CSP# - The PAT approach |
description |
Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal state. Recently research indicates that there is a strong connection between model checking and planning problem solving. In this paper, we investigate the feasibility of using a newly developed model checking framework, Process Analysis Toolkit (PAT), to serve as a planning solution provider for upper layer applications. We first carried out a number of experiments on different planning tools in order to compare their performance and capabilities. Our experimental results showed that the performance of the PAT model checker is comparable to that of state-of-art planners for certain categories of problems. We further propose a set of translation rules for mapping from a commonly used planning notation – PDDL into the CSP# modeling language of PAT. Finally, we provide evaluations on the translated models against other approaches in the planning domain to demonstrate the effectiveness of using the PAT model checker for planning. |
format |
text |
author |
LI, Yi SUN, Jing DONG, Jin Song LIU, Yang SUN, Jun |
author_facet |
LI, Yi SUN, Jing DONG, Jin Song LIU, Yang SUN, Jun |
author_sort |
LI, Yi |
title |
Translating PDDL into CSP# - The PAT approach |
title_short |
Translating PDDL into CSP# - The PAT approach |
title_full |
Translating PDDL into CSP# - The PAT approach |
title_fullStr |
Translating PDDL into CSP# - The PAT approach |
title_full_unstemmed |
Translating PDDL into CSP# - The PAT approach |
title_sort |
translating pddl into csp# - the pat approach |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2012 |
url |
https://ink.library.smu.edu.sg/sis_research/5019 https://ink.library.smu.edu.sg/context/sis_research/article/6022/viewcontent/Translating_PDDL_into_CSP___the_PAT_Approach.pdf |
_version_ |
1770575192112758784 |