ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Fast planning through planning graph analysis
Artificial Intelligence
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
A Multivalued logic model of planning
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |
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.