Foundations of AI and ML
Content
Lisam
Course materials
/
Section
Automated Planning: The STRIPS Planning Formalism
The STRIPS Planning Formalism
Lecture slides are available here.
STRIPS Planning Formalism
What are properties of the STRIPS planning formalism in comparison to the other four formalisms?
STRIPS Planning Formalism
Consider the STRIPS planning task $\Pi = \langle V, I, G, A\rangle$ with binary variables $V = \{a,b,c,d,e\}$, initial state $I = \{a,c\}$, goal $G = \{a,e\}$, and operators $A = \{a_1,a_2,a_3,a_4\}$, where
- $\mathit{pre}(a_1) = \{a,c\}$, $\mathit{add}(a_1) = \{b\}$, $\mathit{del}(a_1) = \{a,c\}$, $\mathit{cost}(a_1) = 2$
- $\mathit{pre}(a_2) = \{c\}$, $\mathit{add}(a_2) = \{a,d\}$, $\mathit{del}(a_2) = \{\}$, $\mathit{cost}(a_2) = 4$
- $\mathit{pre}(a_3) = \{b\}$, $\mathit{add}(a_3) = \{a,e\}$, $\mathit{del}(a_3) = \{\}$, $\mathit{cost}(a_3) = 5$
- $\mathit{pre}(a_4) = \{d\}$, $\mathit{add}(a_4) = \{e\}$, $\mathit{del}(a_4) = \{c\}$, $\mathit{cost}(a_4) = 4$
What is the cost of an optimal plan for $\Pi$?
This webpage contains the course materials for the course TDDE56 Foundations of AI and Machine Learning.
The content is licensed under Creative Commons Attribution 4.0 International.
Copyright © 2022 Linköping University