A multivalued planning model

Authors:
Marco Baioletti;Alfredo Milani;Valentina Poggioni;Silvia Suriani
Affiliations:
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
Venue:
International Journal of Artificial Intelligence and Soft Computing
Year:
2009

Citing 11
Cited 0

An algorithm for probabilistic planning

Artificial Intelligence - Special volume on planning and scheduling
Fast planning through planning graph analysis

Artificial Intelligence
Semiring-based constraint satisfaction and optimization

Journal of the ACM (JACM)
Algorithms for propagating resource constraints in AI planning and scheduling: existing approaches and new results

Artificial Intelligence
Multi-valued symbolic model-checking

ACM Transactions on Software Engineering and Methodology (TOSEM)
CAMA: A Multi-Valued Satisfiability Solver

Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
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
Conformant planning via symbolic model checking

Journal of Artificial Intelligence Research
Faster heuristic search algorithms for planning with uncertainty and full feedback

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning in nondeterministic domains under partial observability via symbolic model checking

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
The MathSAT 3 system

CADE' 20 Proceedings of the 20th international conference on Automated Deduction

Quantified Score

Hi-index	0.00

Visualization

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.