STRIPS
% rule(Action,Preconditions,Adds,Deletes,Procedure)
Действия:
- поставяне на едно кубче върху друго кубче: puton(a,b)
- поставяне на едно кубче върху масата: puton(c,table)
Нови релации, които са в сила
Релации, които вече не са в сила
Процедура - налага допълнителни ограничения