Parallel actions and generalized multivalued constraints in multivalued planning

In this work an extension of the model for planning with multivalued fluents and graded actions introduced in [8] is proposed. This model is based on the infinity-valued Lukasiewicz logic, where the fluents can assume truth values in the interval [0, 1] and actions can be executed at different application degrees also varying in [0, 1]. Multivalued fluents and graded actions allow to model many real situations where some features of the world are fuzzy and where actions can be executed with varying strength. The main contributions of this paper are given by the introduction of the simultaneous executability of the graded actions and the extension of multivalued constraints to generalized multivalued constraints. An extension of the correct/complete algorithm which solves bounded multivalued planning problems is presented. It allows to solve problems with generalized constraints and simultaneous actions.