Towards SMT-based Abstract Planning in PlanICS Ontology

Artur Niewiadomski, Wojciech Penczek

2013

Abstract

The paper deals with the abstract planning problem -- the first stage of Web Service Composition (WSC) in the PlanICS framework. We present a solution based on a compact representation of abstract plans by multisets of service types and a reduction of the planning problem to a task for an SMT-solver. The paper presents theoretical aspects of the abstract planning as well as some details of our symbolic encoding, followed by preliminary experimental results.

Paper Citation

in Harvard Style

Niewiadomski A. and Penczek W. (2013). Towards SMT-based Abstract Planning in PlanICS Ontology . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013) ISBN 978-989-8565-81-5, pages 123-131. DOI: 10.5220/0004514901230131

in Bibtex Style

@conference{keod13,
author={Artur Niewiadomski and Wojciech Penczek},
title={Towards SMT-based Abstract Planning in PlanICS Ontology},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)},
year={2013},
pages={123-131},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004514901230131},
isbn={978-989-8565-81-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)
TI - Towards SMT-based Abstract Planning in PlanICS Ontology
SN - 978-989-8565-81-5
AU - Niewiadomski A.
AU - Penczek W.
PY - 2013
SP - 123
EP - 131
DO - 10.5220/0004514901230131