Title: A multivalued planning model

Authors: Marco Baioletti, Alfredo Milani, Valentina Poggioni, Silvia Suriani

Addresses: Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli 1, 06100 Perugia, Italy. ' Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli 1, 06100 Perugia, Italy. ' Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli 1, 06100 Perugia, Italy. ' Department of Mathematics and Computer Science, University of Perugia, Via Vanvitelli 1, 06100 Perugia, Italy

Abstract: In this work a model for planning with multivalued fluents and graded actions, based on the infinity-valued Lukasiewicz logic, is introduced. In multivalued planning, fluents and actions can assume truth values in [0, 1]. Multivalued fluents and graded actions allow to model many real situations where some features of the world cannot be modelled with boolean values and where actions can be executed with varying strength which produces graded effects as well. A correct/complete algorithm which solves bounded multivalued planning problems based on MIP compilation is also described and a prototype implementation is presented.

Keywords: artificial intelligence; automated planning; multivalued logic; multivalued planning; multivalued fluents; graded actions; modelling.

DOI: 10.1504/IJAISC.2009.027291

International Journal of Artificial Intelligence and Soft Computing, 2009 Vol.1 No.2/3/4, pp.188 - 212

Published online: 19 Jul 2009 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article