Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Blum, A., Furst, M.: Fast Planning Through Planning Graph Analysis. Artificial Intelligent 90, 279–298 (1997)
McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 90, 463–502 (1969)
Kautz, H., Selman, B.: Planning as Satisfiability. In: 10th European Conference on Artificial Intelligence (ECAI 1992), pp. 360–363 (1992)
Cimatti, A., Roveri, M., Traverso, P.: Strong Planning in Non-Deterministic Domains Via Model Checking. Artificial Intelligence Planning Systems, 36–43 (1998)
Cialdea, M., Orlandini, A., Balestreri, G., Limongelli, C.: A planner fully based on Linear Time Logic. In: Proc. of AIPS 2000, pp. 347–354 (2000)
Bacchus, F., Kabanza, F.: Using Temporal Logics to Express Search Control Knowledge for Planning. Artificial Intelligence 16, 123–191 (2000)
Miguel, I., Jarvis, P., Shen, Q.: Efficient Flexible Planning via Dynamic Flexible Constraint Satisfaction. Engineering Applications of AI 14, 301–327 (2001)
Baioletti, M., Milani, A., Poggioni, V., Suriani, S.: A Multivalued logic model of planning. In: Proc. of ECAI 2006 (2006)
Hajek, P.: Mathematics of Fuzzy Logic, Machine Intelligence. Kluwer Academic Publisher, Dordrecht (1998)
Baioletti, M., Milani, A., Poggioni, V., Suriani, S.: A Multivalued planning model for soft constraints and preferences. In: Proc. of ICAPS 2006, WS on Preferences and Soft Constraints (2006)
Gerevini, A., Long, D., SPlan Constraints, D.: Preferences in PDDL3, Tech. Rep. of Dept. of Electronics for Automation, University of Brescia, Italy (2005)
Hähnle, R.: Some philosophical problems from the standpoint of artificial intelligence. Proof Theory on many–valued logic – linear optimization – logic design: Connections And Interactions 1, 107–119 (1997)
Balas, E.: Disjunctive Programming. Annals of Discrete Mathematics 5, 3–51 (1979)
Bozzano, M., et al.: The MathSAT 3 System. In: Nieuwenhuis, R. (ed.) CADE 2005. LNCS (LNAI), vol. 3632, Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baioletti, M., Milani, A., Poggioni, V., Suriani, S. (2008). Parallel Actions and Generalized Multivalued Constraints in Multivalued Planning. In: Gervasi, O., Murgante, B., Laganà, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds) Computational Science and Its Applications – ICCSA 2008. ICCSA 2008. Lecture Notes in Computer Science, vol 5073. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69848-7_79
Download citation
DOI: https://doi.org/10.1007/978-3-540-69848-7_79
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69840-1
Online ISBN: 978-3-540-69848-7
eBook Packages: Computer ScienceComputer Science (R0)