STRIPS
one_step_plan(State,Goals,NewState,Plan) :-
diff(Goals,State,[Goal|Rest]),.
numbervars(Goal,0,0),
rule(Action,Precond,Add,Del,Proc),
member(Goal,Add),
instantiate(Precond,State),
call(Proc),
Изпълнява
процедурата
Previous slide
Next slide
Back to first slide
View graphic version