Chơng 3: Biểu diễn tri thức
4.1.6.Lậpluận không đơn điệu:
Đối với nhiều trờng hợp ngời ta lập luận trên 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 lập luận này gọi là lập luận đơn điệu.
Thí dụ:
IF trăng tròn THEN trời mát
Nếu có sự kiện “ngày rằm” thì câu trong IF đúng. Lúc này trong câu trên, ngời ta thu đợc kết luận trong câu THEN, tức “ngày rằm” → “trăng tròn” → “trời mát”
Tuy nhiên, hệ thống với cách lập luận đơn điệu sẽ giữ trạng thái mát của thời tiết cho dù sau ngày rằm đã lâu.
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 lập luận nh vậy đợc gọi là lập luận không đơn điệu.
Hệ thống có thể lập luận không đơn điệu nếu có hệ thống quản lý 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.
4.2. Suy luận:
Suy luận là 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ũ.
Suy luận là kỹ thuật trọng tâm trong trí tuệ nhân tạo, liên quan đến việc mô hình hoá và hình thức hoá các quá trình lập luận.
Môtơ suy luận là bộ xử lý trong hệ chuyên gia khớp các sự kiện trong bộ nhớ với tri thức lĩnh vực trong cơ sở tri thức, để rút ra các kết luận về vấn đề đang xét.
Ngời ta thờng quan tâm về một khía cạnh của suy luận, cũng nh cách thức thực hiện của môtơ suy luận. Trong hệ thống, phần môtơ suy luận thờng đợc coi là kín, ít thấy tờng minh.