tailieunhanh - BÀI GIẢNG HỆ CHUYÊN GIA - ĐẠI HỌC HÀNG HẢI - 2

Một thành phần vô cùng quan trọng của hệ chuyên gia đó là cơ sở tri thức. Thông qua các phiên thu nạp tri thức ( trực tiếp hay gián tiếp) chúng ta đã xây dựng được một cơ sở tri thức cho hệ chuyên gia. Vậy làm thế nào đẻ quản lí và thao tác xử lí để hệ chuyên gia có thể hoạt động được. Trong chương này chúng ta sẽ đề cập đến vấn đề đó và giải quyết vấn đề đó như thế nào. HCSTT/ HCGƢD = CSTT + MTSD + Giao Diện + Giải thích. | Chương 2 Biểu diễn tri thức . Mở đầu Ở chương trước chúng ta đã có khái niệm đơn giản như thế nào là một hệ chuyên gia. Một thành phần vô cùng quan trọng của hệ chuyên gia đó là cơ sở tri thức. Thông qua các phiên thu nạp tri thức trực tiếp hay gián tiếp chúng ta đã xây dựng được một cơ sở tri thức cho hệ chuyên gia. Vậy làm thế nào đẻ quản lí và thao tác xử lí để hệ chuyên gia có thể hoạt động được. Trong chương này chúng ta sẽ đề cập đến vấn đề đó và giải quyết vấn đề đó như thế nào. HCSTT HCGƯD CSTT MTSD Giao Diện Giải thích Thu nạp KDD Soạn thảo Tri thức chuyên gia KB Administrator - Dư thừa - Đúng đắn - Chính xác phi mâu thuẫn X Không chính xác 7 - Tổ chức lưu trữ . suy diễn hiệu năng - Phân tán - Chuyển đổi biểu diễn các mức user . Dư thừa Redundancy - CSTT CS luật CS sự kiện Rule Base Fact base_ Tri thức chuyên về Thông tin về một b ài toán cụ thể . Dư thừa luật ĐN cho CSTT B1 R1 F1 B2 R2 F2 Ta nói R1 R2 Sức mạnh suy diễn của R1 bằng sức mạnh suy diễn của R2 Bao đóng suy diễn cho R. Xét A G F Tiến 7 A fe F A ------ f GT VD 1 a A b c 2 b A c A d e 3 a A d f 4 c g 5 a h 6 d A c h 7 b u a a h a b a b c g u h Nhận xét Một luật trong logic mệnh đề PTH và bao đóng bao đóng của PTH VD Logic vị từ V1 td U XY A tđ V XZ SS UV YZ V2 SS UV XY A SS XY ST SS UV ST V3 SS UV XY A SS UT XY THAG U V T tđ U XY tđ U YX SS UV XY SS XY UV SS UV XY SS VU XY A A pZ Ằ Q K L XX B C GT tđ P AB tđ Q AC tđ K BQ tđ L CP 8 GT R . VD Quy nạp toán học P x 1 P 1 2 P i P i 1 p P 1 P 2 P 3 . Vx P x Việc xác định bao đóng suy diễn dựa vào SD tiến í Max min quece stack J __ 1-3r a d H a d h suy diễn có logic VD Y x y C x y Y a b Y a c Y a b C a b tính chất đơn điệu--------- 3 a d h g Y a c C a c VD Xây dựng tập luật cho Robot Tay ko A Trong x Tay x Tay x A Trong y Trên x y Trong y Tay x San x Trong x Ta nói R1 R2 V A G F A j A R 2 R 2 Giả sử R m R