Proposition 3 Let (O0 ;I ;G ) be a relaxed STRIPS task, which is solvable. Using the NOOPs-rst strategy, the plan that GRAPHPLAN returns will contain each action at most once.
đề xuất cho 3 (o0, tôi; g) là một dải công việc thoải mái, đó là khả năng giải quyết. bằng cách sử dụng chiến lược noops-rẽ, kế hoạch mà graphplan lợi nhuận sẽ chứa mỗi hành động một lần là nhiều nhất.
Hãy để đề xuất 3 (O0; tôi;G) là một nhiệm vụ DẢI thoải mái, đó là khả năng giải quyết. Sử dụng các chiến lược NOOPs-rst, kế hoạch GRAPHPLAN trả về sẽ chứa mỗi hành động tối đa một lần.