Modelling Planning Problems with Rules & Strategies

Hubert Dubois (1) , Hélène Kirchner (1)

1 PROTHEO - Constraints, automatic deduction and software properties proofs

The ELAN system provides an environment for specifying and prototyping deduction systems in a language based on rewrite rules controlled by strategies. We design in ELAN a specific planning problem, namely a controller for printing tasks, by combining rules, strategies and constraint solving on finite domains.

Mots clés: rewrite rules; control; strategy; contrôle; stratégies; planning problems; règles de réécriture

Domaines: Autre [cs.OH]

Hubert Dubois, Hélène Kirchner. Modelling Planning Problems with Rules & Strategies. [Intern report] 99-R-029 || dubois99a, 1999, 16 p. ⟨inria-00098790⟩