UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 7662

Solving the Rehearsal Problem with Planning and with Model Checking
Gregory,P. Miller,A. Prosser,P.

Publication Type: Conference Proceedings
Appeared in: 16th European Conference on Artificial Intelligence (ECAI 2004), workshop W14: Modelling and Solving Problems with Constraints
Page Numbers : 157--171
Publisher: N/A
Year: 2004
ISBN/ISSN:
Abstract:

Planning problems have been modelled and solved as constraint satisfaction problems. Similarly, model checking problems have been modelled and solved as constraint satisfaction problems. In this paper we show that, conversely, planning and model checking techniques can each be applied to a constraint satisfaction problem. We demonstrate this by modelling and solving what might generally be accepted as a constraint satisfaction problem, the rehearsal problem, using both planning and model checking technologies. Both of these technologies compete with the more encoding, the constraint programming solution, in terms of search time.

Keywords: constraint satisfaction; planning; model checking;


PDF Bibtex entry Endnote XML