CHƯƠNG 2: MÔ HÌNH KẾ HOẠCH VÀ KHUNG CỘNG TÁC ĐA DỤNG
2.1.2 Các trạng thái của hoạt động
Tại một thời điểm, một hoạt động có thể ở một trong ba trạng thái như sau:
- Khả thi (feasible): Một hoạt động là khả thi nếu nó có thể đạt được mục tiêu đề ra ít
nhất một lần, nghĩa là tìm được ít nhất một chủ thể và một công cụ có thể thực hiện được một mục tiêu đề ra.
- Không khả thi (infeasible): Một hoạt động là không khả thi nếu không bao giờ có
thể đạt được mục tiêu đề ra. Với một hoạt động đơn A(S, T, O), nếu S và T là các tập vô hạn, về lý thuyết ta không thể kiểm tra được tính không khả thi của A. Do đó, để kiểm tra tính chất này, sau này ta chỉ xét các hoạt động mà có các tập S và T là hữu hạn.
- Bất định (unknown): Một hoạt động là bất định nếu nó hiện chưa chắc chắn là khả
thi hay không khả thi.
Nếu gọi state(A) là hàm trả về trạng thái hiện tại của hoạt động A, ta có thể định nghĩa hàm trạng thái này như sau:
a. Hai hoạt động đơn tương đương
b. Hoạt động đơn và hoạt động tập thể tương đương
c. Hai hoạt động tập thể tương đương
Hình 2-20: Các cặp hoạt động tương đương.
Ý nghĩa của phép toán AND cho các giá trị trạng thái của hoạt động được cho trong bảng 2-1 (hàm AND là đối xứng nên một số dạng biểu thức tương đương đã bị loại ra khỏi bảng này).
Bảng 2-1: Bảng giá trị cho hàm AND
A B A AND B
Khả thi Khả thi Khả thi
Khả thi Bất định Bất định Không khả thi Không khả thi Không khả thi
Không khả thi Bất định Không khả thi
Bất định Bất định Bất định