A pair of facts (f;f ) at a time step i > 0 is marked mutually exclusive, if each action at level i 1 that achieves f is exclusive of each action at level i 1 that achieves f
một cặp sự kiện (f; f) tại một thời gian bước i> 0 được đánh dấu loại trừ lẫn nhau, nếu mỗi hành động ở cấp i 1 mà đạt được f là độc quyền của mỗi hành động ở cấp i 1 mà đạt được f
Một cặp của sự kiện (f; f) tại một thời điểm bước i > 0 được đánh dấu lẫn, nếu mỗi hành động ở cấp độ 1 mà đạt được f là độc quyền mỗi hành động ở cấp i 1 mà đạt được f