Proposition 1 Let P 0 = (O0 ;I ;G ) be a relaxed STRIPS task. Started on P 0 , GRAPH- PLAN will not mark any pair of facts or actions as mutually exclusive.
đề xuất 1 cho p = 0 (o0, tôi; g) là một nhiệm vụ dải thoải mái. bắt đầu trên trang 0, đồ thị kế hoạch sẽ không đánh dấu bất kỳ cặp sự kiện hoặc hành động như loại trừ lẫn nhau.
Döï 1 cho P 0 = (O0; tôi;G) là một nhiệm vụ DẢI thoải mái. Bắt đầu trên P 0, biểu đồ - kế hoạch sẽ không đánh dấu bất kỳ cặp của các sự kiện hoặc hành động như là loại trừ lẫn nhau độc quyền.