bài toán và phương pháp hạn chế phát sinh đối tượng mới. Hai phương pháp này tỏ ra rất hiệu quả trong việc giảm đáng kể thời gian giải các bài toán hình học không gian.
Powerpoint Templates Page 42 Thuật toán tìm luật và áp dụng cho bài toán
Input: FactSet: Các sự kiện đang có của bài toán và luật r
Các ký hiệu: Hypos: Tập sự kiện giả thiết của luật r đang xét Goals: Tập sự kiện kết luận của luật r đang xét Output: Các sự kiện mới (nếu có) khi áp dụng luật r lên bài toán P
Bước 1: Xét khả năng áp dụng được của luật. Nếu áp dụng được luật (chỉ xét về cấu trúc của luật, chưa có sự hợp nhất cụ thể) thì chuyển sang bước 2. Ngược lại thì KẾT THÚC và xét luật tiếp theo.
Bước 2: Dựa vào tập FactSet và tập sự kiện trong tập Hypos của luật, tạo các bảng dữ liệu tương ứng với từng sự kiện trong tập Hypos.
Bước 3: Sử dụng Sort Merge Join để thực hiện kết các các bảng sự kiện theo các cột chung (các đối tượng chung). Nếu kết quả bằng NULL thì luật không áp dụng được cho bài toán, KẾT THÚC. Ngược lại thì luật hoàn toàn có thể áp dụng cho bài toán. Chuyển sang Bước 4.
Bước 4: Thay thế các đối tượng thực tế áp dụng trên luật đang xét và đưa các sự kiện trong phần Goals của luật vào tập FactSet (nếu sự kiện đó chưa có trong tập FactSet)
Bước 1: Xét khả năng áp dụng được của luật. Nếu áp dụng được luật (chỉ xét về cấu trúc của luật, chưa có sự hợp nhất cụ thể) thì chuyển sang bước 2. Ngược lại thì KẾT THÚC và xét luật tiếp theo.
Bước 2: Dựa vào tập FactSet và tập sự kiện trong tập Hypos của luật, tạo các bảng dữ liệu tương ứng với từng sự kiện trong tập Hypos.
Bước 3: Sử dụng Sort Merge Join để thực hiện kết các các bảng sự kiện theo các cột chung (các đối tượng chung). Nếu kết quả bằng NULL thì luật không áp dụng được cho bài toán, KẾT THÚC. Ngược lại thì luật hoàn toàn có thể áp dụng cho bài toán. Chuyển sang Bước 4.
Bước 4: Thay thế các đối tượng thực tế áp dụng trên luật đang xét và đưa các sự kiện trong phần Goals của luật vào tập FactSet (nếu sự kiện đó chưa có trong tập FactSet)