BIỂU DIỄN TRI THỨC VÀ GIẢI TOÁN TỰ ĐỘNG Hoàng Kiếm Đỗ Văn Nhơn Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt NỘI DUNG: ª Tổng quan biểu diễn tri thức giải toán dựa tri thức ª Mạng suy diễn tính toán ª Mô hình tri thức đối tượng tính toán Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt PHẦN TỔNG QUAN I Khái niệm Tri thức biểu diễn tri thức II Cấu trúc hệ giải toán dựa tri thức III Các phương pháp biểu diễn tri thức IV Suy diễn tự động V Giới thiệu nhận định số công trình nghiên cứu Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt I TRI THỨC VÀ BIỂU DIỄN TRI THỨC 1.1 Khái niệm tri thức 1.2 Khái niệm biểu diễn tri thức 1.3 Các dạng tri thức Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt 1.1 Khái niệm tri thức ° Tri thức định nghóa xác ° Khái niệm: Tri thức (knowledge) hiểu biết lónh vực chủ đề ° Lónh vực: miền chủ đề trọng ª Tri thức thøng bao gồm khái niệm, loại kiện, luật, Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt Ví dụ: Kiến thức lónh vực y học khả chẩn đoán bệnh tri thức Biết tam giác có yếu tố với công thức liên hệ yếu tố tri thức Biết dạng cấu trúc liệu thường dùng lập trình với thuật toán xử lý cấu trúc tri thức Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt 1.2 Khái niệm biểu diễn tri thức ° Biểu diễn tri thức (Knowledge Representation) diễn đạt thể tri thức dạng thích hợp để tổ chức sở tri thức hệ thống ° Tại phải biểu diễn tri thức? Biểu diễn tri thức giúp tổ chức cài đặt sở tri thức cho hệ chuyên gia, hệ cở sở tri thức hệ giải toán dựa tri thức Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt Công cụ cho việc biểu diễn tri thức ° Các cấu trúc liệu bản: dãy, danh sách, tập hợp, mẫu, ° Các cấu trúc liệu trừu tượng: ngăn xếp, hàng đợi ° Các mô hình toán học: đồ thị, ° Các mô hình đối tượng ° Các ngôn ngữ đặc tả tri thức Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt Ví dụ: Kiến thức tam giác cần thiết cho việc giải toán tam giác biểu diễn gồm: ° Một tập hợp biến thực, biến đại diện cho yếu tố tam giác ° Một tập hợp công thức liên hệ tính toán yếu tố tam giác Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt Tập biến tam giác gồm: a, b, c : cạnh tam giác , , : góc đối diện với cạnh tương ứng tam giác ha, hb, hc : đường cao tương ứng với cạnh tam giác S : diện tích tam giác p : nửa chu vi tam giác R : bán kính đường tròn ngoại tiếp tam giác v.v Đại Học Quốc Gia TP.HCM - 2001 CuuDuongThanCong.com https://fb.com/tailieudientucntt ... Gia TP.HCM - 20 01 CuuDuongThanCong.com https://fb.com/tailieudientucntt I TRI THỨC VÀ BIỂU DIỄN TRI THỨC 1. 1 Khái niệm tri thức 1. 2 Khái niệm biểu diễn tri thức 1. 3 Các dạng tri thức Đại Học Quốc... https://fb.com/tailieudientucntt 1. 2 Khái niệm biểu diễn tri thức ° Biểu diễn tri thức (Knowledge Representation) diễn đạt thể tri thức dạng thích hợp để tổ chức sở tri thức hệ thống ° Tại phải biểu diễn tri thức? Biểu diễn. .. https://fb.com/tailieudientucntt PHẦN TỔNG QUAN I Khái niệm Tri thức biểu diễn tri thức II Cấu trúc hệ giải toán dựa tri thức III Các phương pháp biểu diễn tri thức IV Suy diễn tự động V Giới thiệu nhận