Abstract | ||
---|---|---|
In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, fluents can assume truth values in the interval [0, 1] and actions can be executed at different application degrees also varying in [0, 1]. The notions of planning problem and solution plan also reflect a multivalued approach. Multivalued fluents and graded actions allow to model many real situations where some features of the world cannot be modeled with boolean values and where actions can be executed with varying strength which produces graded effects as well. Even if most existing planning models fail to address this kind of domains, our model is comparable with models allowing flexible actions and soft constraints. A correct/complete algorithm which solves bounded multivalued planning problems based on MIP compilation is also described and a prototype implementation is presented. |
Year | Venue | Keywords |
---|---|---|
2006 | ECAI | existing planning model,varying strength,graded effect,graded action,lukasiewicz logic,multivalued planning problem,multivalued logic model,mip compilation,multivalued fluents,multivalued approach,multivalued planning,side effect |
Field | DocType | Volume |
Logic model,Computer science,Truth value,Artificial intelligence,Bounded function | Conference | 141 |
ISSN | ISBN | Citations |
0922-6389 | 1-58603-642-4 | 3 |
PageRank | References | Authors |
0.43 | 6 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
M. Baioletti | 1 | 17 | 2.13 |
A. Milani | 2 | 14 | 2.35 |
V. Poggioni | 3 | 6 | 1.86 |
Silvia Suriani | 4 | 4 | 3.51 |