Bài giảng Hệ cơ sở tri thức (Tuần 2) trình bày quá trình tạo lập hệ cơ sở tri thức, bài toán mô phỏng tạo lập hệ cơ sở tri thức, phân loại tri thức, phương pháp tiếp nhận tri thức, hệ cơ sở tri thức theo mô hình toán học, các bài toán ứng dụng hệ cơ sở tri thức.
8/21/2013 Pham Van Hai Tuần (Week 2) Email: haivnu@yahoo.com Hai V Pham hai@spice.ci.ritsumei.ac.jp Tập p kiện ki n (Facts) F={f1,f2,…,fm} tập p kiện ki n ◦ ◦ ◦ ◦ f1: kiện ki n A f2: kiện ki n B … fm: kiện ki n n Tập p luật lu t (Rulebases) Rulebases) R1: IF THEN R2: IF THEN … Rn: IF THEN Hai V Pham hai@spice.ci.ritsumei.ac.jp Mô tả luật ( Rule): luật bao gồm nhiều kiện chia làm phần: IF Giả Gi thiết thi t THEN Kếtt luận lu n Giả Gi thiết thi t đư c kếtt nốii toán tử AND ho c NOT Hai V Pham hai@spice.ci.ritsumei.ac.jp 8/21/2013 Bài tập p lớp p: Tạo lập hệ CSTT dự báo thời tiết thiên tai Tạo lập hệ CSTT kiểm tra máy chủ mạng Sinh viên làm tập 10 phút thảo luận lớp Hai V Pham hai@spice.ci.ritsumei.ac.jp Các kiện tập F f1= nắng f2= mây f3= gió f4= sét f5= f6= trăng f7= sương …… fm= hiện-tượng Tập luật R R1: IF gió to AND mưa nhiều THEN bão ………………………………………… ………………………………………… Rm: IF AND tượng khác> THEN Hai V Pham hai@spice.ci.ritsumei.ac.jp Tri thức c th c thủ th tục Mô tả cách thức giải vấn đề công việc cụ thể Tri thức th c khai báo Mô tả vấn đề Tri thức u trúc th c c ấu Mơ tả tri thức có cấu trúc Siêu tri thức th c Mô tả tri thức tri thức Tri thức th c Heuristics Mô tả “mẹo” tri thức Hai V Pham hai@spice.ci.ritsumei.ac.jp 8/21/2013 Tiếp Ti p nhận nh n tri thức th c Chủ ng (mở)) Ch động Thụ ng (đóng) Th động đóng) -Tri thức kinh nghiệm -Tri thức gián tiếp -Tri thức tự phân tích suy diễn -Khám phá tri thức Hai V Pham hai@spice.ci.ritsumei.ac.jp Cơ sở tri thức th c Knowledge Base ộng ng suy diễn di n Inference Engine •Các định nghĩa, định lý •Các tiên đề •Suy diễn logic •Diễn giải logic Hệ CSTT ưa chứng minh kết vào CSTT Knowledge Base System •Chứng minh •Các kết Hai V Pham hai@spice.ci.ritsumei.ac.jp Hệ CSTT Hệ CSTT Hệ CSTT Hệ CSTT Hệ CSTT Hệ CSTT Hệ CSTT dựa vào logic mệnh đề logic vị từ dựa vào luật dẫn dựa đối tượng dựa Frame dựa mạng ngữ nghĩa kết hợp phương pháp biểu diễn kết hợp với Cơ sở liệu Hai V Pham hai@spice.ci.ritsumei.ac.jp 8/21/2013 Hệ chuyên gia Hệ trợ giúp định Hệ logic mờ Hệ thống thông minh Intelligent Hybrid System Thảo luận ứng dụng lớp Hai V Pham hai@spice.ci.ritsumei.ac.jp 10 Chuẩn bị: 4-5 sinh viên hình thành 01 nhóm Chọn tập lớn – dự án theo nhóm Trình bày tên dự án tập lớn mơn học Trình bày ý tưởng dự án –bài tập lớn môn học Thông tin học liệu môn học: http://ritsumei.academia.edu/HaiVPham/Knowlege-basedsystem Hai V Pham hai@spice.ci.ritsumei.ac.jp 11 ... Tri thức c th c thủ th tục Mô tả cách thức giải vấn đề công việc cụ thể Tri thức th c khai báo Mô tả vấn đề Tri thức u trúc th c c ấu Mơ tả tri thức có cấu trúc Siêu tri thức th c Mô tả tri thức. .. ng (đóng) Th động đóng) -Tri thức kinh nghiệm -Tri thức gián tiếp -Tri thức tự phân tích suy diễn -Khám phá tri thức Hai V Pham hai@spice.ci.ritsumei.ac.jp Cơ sở tri thức th c Knowledge Base ộng... thức tri thức Tri thức th c Heuristics Mô tả “mẹo” tri thức Hai V Pham hai@spice.ci.ritsumei.ac.jp 8/21/2013 Tiếp Ti p nhận nh n tri thức th c Chủ ng (mở)) Ch động Thụ ng (đóng) Th động đóng) -Tri