CÁC KỸ THUẬT SUY DIỄN VÀ LẬP LUẬN
3.2.6. Suy lý không đơn điệu
Đối với nhiều trường hợp, người ta suy lý trên các thông tin tĩnh. Các thông tin này không thay đổi trạng thái trong quá trình giải bài toán. Loại suy lý nàyđược gọi là suy lýđơnđiệu.
Ví dụ: Trong bài toán trạng thái của các sự kiện thay đổi.
IF Gió thổi
THEN Cái nôiđungđưa
Nếu có sự kiện “cơn gió mạnh” thì trong câuIFđúng, tức là người ta đã sử dụng nếu “gió thổi mạnh” thì “gió thổi”. Lúc này trong câu trên, người ta thu được kết luận trong câu
THEN, tức là:
“Cơn gió mạnh” ”gió thổi” “cái nôiđungđưa” Sau khi gió mạnh hết, người ta muốn rằng cái nôi hết đung đưa. Tuy nhiên, hệ thống với cách suy lý đơn điệu sẽ “giữ” trạng thái đung đưa cái nôi.
Do việc theo dõi sự thay đổi của thông tin không mấy khó khăn, khi có sự kiện nào thayđổi người ta có thể dựa vào nhiều sự kiện phụ thuộc khác để thu được kết luận nhưmong muốn. Loại suy lý nhưvậy gọi là “suy lý khôngđơnđiệu”.
Hệ thống có thể suy lý không đơn điệu nếu nó có hệ thống quản lý giá trị chân lý. Hệ thống này quản lý dữ liệu về “nguyên nhân” để sự kiện được khẳng định. Do vậy, khi nguyên nhân thay đổi, sự kiện cũng thay đổi theo. Một hệ thống dùng suy lý khôngđơn điệu như ví dụ trên sẽ giữ được cái nôiđangđungđưa lại.
3.3. SUY DIỄN
Hệ thống trí tuệ nhân tạo mô hình hoá quá trình suy lý của con người nhờ kỹ thuật gọi là “suy diễn”. Việc suy diễn là quen thuộc trong hệ chuyên gia. Như vậy: “Quá trình dùng trong hệ chuyên giađể rút ra thông tin mới từ các thông tin cũ được gọi là suy diễn”.
Người ta quan tâm về một số khía cạnh của suy diễn, cũng như cách thức thực hiện của mô tơ suy diễn. Trong hệ thống, phần mô tơ suy diễn thường được coi là kín, ít thấy tường minh. Tuy nhiên cần biết:
Câu hỏi nào sẽ được chọn để người sử dụng trả lời? Cách tìm kiếm trong cơsở tri thức?
Làm sao chọn được luật thực hiện trong số các luật có thể?
Lần lượt các vấn đề này sẽ được trả lời sau khi trình bày kỹ thuật suy diễn tiến và lùi. Cả hai kỹ thuật suy diễn nàyđều dựa trên suy diễn logic được xét dưới đây.