II. Hệ SảN XUấT OPS5
a. Chiến lược giải quyết xung đột LEX
LEX lă chiến lược giải quyết xung đột mặc định (default) của môi trường OPS5. Mỗi lần cần gọi LEX, sử dụng lệnh :
(strategy lex)
bằng câch hoặc gõ trực tiếp tại dấu nhắc lệnh, hoặc đặt ở phần bín phải một luật. Chiến lược LEX giải quyết xung đột qua bốn bước như sau :
1. Loại bỏ (discard, hay refraction) câc luật trong tập xung đột đê được chọn ra trín cùng một dữ liệu. Nếu chỉ còn lại một luật trong tập xung đột thì lấy luật đó để thực hiện, nếu không thì thực hiện bước tiếp theo.
2. Sắp xếp câc thănh phần bín trâi theo thứ tự giảm dần của câc thẻ thời gian vă so sânh tất cả câc thẻ thời gian đó. Sau đó so sânh câc thănh phần bín trâi của câc luật trong tập xung đột để tìm ra luật có thănh phần vừa mới lăm biến đổi (altered) WM. Nếu tìm được luật có câc điều kiện khớp với câc phần tử của WM có thẻ thời gian mới nhất thì chọn nó để thực hiện. Nếu có răng buộc xuất hiện thì loại trừ tất cả câc luật không có răng buộc từ tập xung đột vă tiếp tục bước tiếp theo.
3. Dựa trín câc thuộc tính văhoặc câc biến, so sânh câc điều kiện của câc luật còn lại theo nguyín tắc luật năo có nhiều mẫu so khớp hơn thì luật đó quan trọng hơn. Nếu chỉ còn lại một luật trong tập xung đột thì chọn nó. Nếu có răng buộc xuất hiện thì loại trừ tất cả câc luật không có răng buộc trong tập xung đột vă tiếp tục bước tiếp theo.
4. Nếu sau khi thực hiện câc bước trín mă vẫn còn nhiều luật trong tập xung đột thì chọn ngẫu nhiín (selected randomly) một luật vă thực hiện nó.