BIỂU DIỄN TRI THỨC VÀ GIẢI TOÁN TỰ ĐỘNG

BIỂU DIỄN TRI THỨC VÀ GIẢI TOÁN TỰ ĐỘNG

BIỂU DIỄN TRI THỨC VÀ BIỂU DIỄN TRI THỨC VÀ GIẢI TOÁN TỰ ĐỘNGGIẢI TOÁN TỰ ĐỘNGĐại Học Quốc Gia TP.HCM - 2001Hoàng KiếmĐỗ Văn Nhơn NỘI DUNG:NỘI DUNG:Đại Học Quốc Gia TP.HCM - 2001ª Tổng quan về biểu diễn tri thức và giải toán dựa trên tri thức.ª Mạng suy diễn và tính toánª Mô hình tri thức các đối tượng tính toán. PHẦN 1. TỔNG QUANPHẦN 1. TỔNG QUANI.I. Khái niệm về Tri thức và biểu diễn tri thức. Khái niệm về Tri thức và biểu diễn tri thức.II.II. Cấu trúc của một hệ giải bài toán dựa trên tri Cấu trúc của một hệ giải bài toán dựa trên tri thức.thức.III.III. Các phương pháp biểu diễn tri thức. Các phương pháp biểu diễn tri thức.IV.IV. Suy diễn tự động. Suy diễn tự động.V.V. Giới thiệu và nhận đònh một số công trình Giới thiệu và nhận đònh một số công trình nghiên cứu.nghiên cứu.Đại Học Quốc Gia TP.HCM - 2001 I. TRI THỨC VÀ BIỂU DIỄN TRI I. TRI THỨC VÀ BIỂU DIỄN TRI THỨCTHỨC1.1 Khái niệm tri thức1.1 Khái niệm tri thức1.2 Khái niệm về biểu diễn tri thức1.2 Khái niệm về biểu diễn tri thức1.3 Các dạng tri thức1.3 Các dạng tri thứcĐại Học Quốc Gia TP.HCM - 2001 1.1 Khái niệm tri thức1.1 Khái niệm tri thức°Tri thức không có được đònh nghóa chính xácTri thức không có được đònh nghóa chính xác°Khái niệm: Tri thức (knowledge) là sự hiểu biết về Khái niệm: Tri thức (knowledge) là sự hiểu biết về một lónh vực của chủ đề.một lónh vực của chủ đề.°Lónh vực: miền chủ đề được chú trọng.Lónh vực: miền chủ đề được chú trọng.ªTri thức thøng bao gồm các khái niệm, các loại sự Tri thức thøng bao gồm các khái niệm, các loại sự kiện, các luật, .kiện, các luật, .Đại Học Quốc Gia TP.HCM - 2001 Ví dụ:Ví dụ:1. Kiến thức về một lónh vực y học và khả năng chẩn 1. Kiến thức về một lónh vực y học và khả năng chẩn đoán bệnh là tri thức.đoán bệnh là tri thức.2. Biết một tam giác có các yếu tố nào cùng với các công 2. Biết một tam giác có các yếu tố nào cùng với các công thức liên hệ giữa các yếu tố là tri thức.thức liên hệ giữa các yếu tố là tri thức.3. Biết các dạng cấu trúc dữ liệu thường dùng trong lập 3. Biết các dạng cấu trúc dữ liệu thường dùng trong lập trình cùng với các thuật toán xử lý cơ bản trên các cấu trình cùng với các thuật toán xử lý cơ bản trên các cấu trúc là tri thức. trúc là tri thức. Đại Học Quốc Gia TP.HCM - 2001 1.2 Khái niệm về biểu diễn tri thức 1.2 Khái niệm về biểu diễn tri thức °Biểu diễn tri thức (Knowledge Representation) là sự Biểu diễn tri thức (Knowledge Representation) là sự diễn đạt và thể hiện của tri thức dưới những dạng thích diễn đạt và thể hiện của tri thức dưới những dạng thích hợp để có thể tổ chức một cơ sở tri thức của hệ thống.hợp để có thể tổ chức một cơ sở tri thức của hệ thống.°Tại sao phải biểu diễn tri thức?Tại sao phải biểu diễn tri thức?Biểu diễn tri thức giúp có thể tổ chức và cài đặt một cơ Biểu diễn tri thức giúp có thể tổ chức và cài đặt một cơ sở tri thức cho các hệ chuyên gia, các hệ cở sở tri thức sở tri thức cho các hệ chuyên gia, các hệ cở sở tri thức và các hệ giải bài toán dựa trên tri thức.và các hệ giải bài toán dựa trên tri thức.Đại Học Quốc Gia TP.HCM - 2001 Công cụ cho việc biểu diễn tri thứcCông cụ cho việc biểu diễn tri thức°Các cấu trúc dữ liệu cơ bản: dãy, danh sách, tập hợp, Các cấu trúc dữ liệu cơ bản: dãy, danh sách, tập hợp, mẫu, .mẫu, .°Các cấu trúc dữ liệu trừu tượng: ngăn xếp, hàng đợi.Các cấu trúc dữ liệu trừu tượng: ngăn xếp, hàng đợi.°Các mô hình toán học: đồ thò, cây.Các mô hình toán học: đồ thò, cây.°Các mô hình đối tượng. Các mô hình đối tượng. °Các ngôn ngữ đặc tả tri thức.Các ngôn ngữ đặc tả tri thức.Đại Học Quốc Gia TP.HCM - 2001 Ví dụ: Ví dụ: Kiến thức về một tam giác cần thiết cho việc giải bài Kiến thức về một tam giác cần thiết cho việc giải bài toán tam giác có thể được biểu diễn gồm:toán tam giác có thể được biểu diễn gồm:°Một tập hợp các biến thực, mỗi biến đại diện cho một Một tập hợp các biến thực, mỗi biến đại diện cho một yếu tố của tam giác.yếu tố của tam giác.°Một tập hợp các công thức liên hệ tính toán trên các Một tập hợp các công thức liên hệ tính toán trên các yếu tố của tam giác.yếu tố của tam giác.Đại Học Quốc Gia TP.HCM - 2001 Tập các biến trong tam giác gồm:Tập các biến trong tam giác gồm:•a, b, c : 3 cạnh của tam giác.•α, β, γ : 3 góc đối diện với 3 cạnh tương ứng trong tam giác.•ha, hb, hc : 3 đường cao tương ứng với 3 cạnh của tam giác.•S : diện tích tam giác.•p : nửa chu vi của 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 [...]... trên tri thức được khai báo. Đại Học Quốc Gia TP.HCM - 2001 PHẦN 1. TỔNG QUAN PHẦN 1. TỔNG QUAN I. I. Khái niệm về Tri thức và biểu diễn tri thức. Khái niệm về Tri thức và biểu diễn tri thức. II. II. Cấu trúc của một hệ giải bài toán dựa trên tri Cấu trúc của một hệ giải bài toán dựa trên tri thức. thức. III. III. Các phương pháp biểu diễn tri thức. Các phương pháp biểu diễn tri thức. IV. IV. ... Representation) là sự Biểu diễn tri thức (Knowledge Representation) là sự diễn đạt và thể hiện của tri thức dưới những dạng thích diễn đạt và thể hiện của tri thức dưới những dạng thích hợp để có thể tổ chức một cơ sở tri thức của hệ thống. hợp để có thể tổ chức một cơ sở tri thức của hệ thống. ° Tại sao phải biểu diễn tri thức? Tại sao phải biểu diễn tri thức? Biểu diễn tri thức giúp có thể tổ chức và cài đặt... pháp biểu diễn tri thức 5.1 Các phương pháp biểu diễn tri thức ° Các phương pháp chung: các phương pháp biểu diễn theo logic hình thức, các phương pháp biểu diễn thủ tục, các phương pháp biểu diễn dạng mạng và các phương pháp biểu diễn cấu trúc ° Ưu điểm của mỗi phương pháp: thích hợp cho việc biểu diễn từng dạng tri thức riêng lẻ. ° Nhược điểm chung: chỉ biểu diễn được một khía cạnh của tri thức. .. và cài đặt một cơ Biểu diễn tri thức giúp có thể tổ chức và cài đặt một cơ sở tri thức cho các hệ chuyên gia, các hệ cở sở tri thức sở tri thức cho các hệ chuyên gia, các hệ cở sở tri thức và các hệ giải bài toán dựa trên tri thức. và các hệ giải bài toán dựa trên tri thức. Đại Học Quốc Gia TP.HCM - 2001 ° Nhược điểm: (1) thực hiện thiết kế một thuật toán thực hành tính toán trên máy tính... thức. IV. IV. Suy diễn tự động. Suy diễn tự động. V. V. Giới thiệu và nhận định một số công trình Giới thiệu và nhận định một số công trình nghiên cứu. nghiên cứu. Đại Học Quốc Gia TP.HCM - 2001 NỘI DUNG: NỘI DUNG: Đại Học Quốc Gia TP.HCM - 2001 ª Tổng quan về biểu diễn tri thức và giải toán dựa trên tri thức. ª Mạng suy diễn và tính toán ª Mô hình tri thức các đối tượng tính toán. 5.1... PHƯƠNG PHÁP BIỂU DIỄN III. CÁC PHƯƠNG PHÁP BIỂU DIỄN TRI THỨC TRI THỨC 3.1 Biểu diễn dựa trên logic hình thức 3.1 Biểu diễn dựa trên logic hình thức 3.2 Hệ luật dẫn 3.2 Hệ luật dẫn 3.3 Mạng ngữ nghóa 3.3 Mạng ngữ nghóa 3.4 Các khung (frame) 3.4 Các khung (frame) Đại Học Quoác Gia TP.HCM - 2001 IV. SUY DIỄN TỰ ĐỘNG IV. SUY DIỄN TỰ ĐỘNG 4.1 Khái niệm 4.1 Khái niệm 4.2 Hợp giải trong tri thức dạng... tri thức riêng lẻ. ° Nhược điểm chung: chỉ biểu diễn được một khía cạnh của tri thức đa dạng và chưa hướng tới một mô hình tri thức bao hàm nhiều dạng thông tin và nhiều dạng sự kiện khác nhau. Đại Học Quốc Gia TP.HCM - 2001 BIỂU DIỄN TRI THỨC VÀ BIỂU DIỄN TRI THỨC VÀ GIẢI TOÁN TỰ ĐỘNG GIẢI TOÁN TỰ ĐỘNG Đại Học Quốc Gia TP.HCM - 2001 Hoàng Kiếm Đỗ Văn Nhơn Tập các biến trong tam giác... … chiến lược, … ° Tri thức meta: tri thức về các dạng tri thức khác và Tri thức meta: tri thức về các dạng tri thức khác và cách sử dụng chúng. cách sử dụng chúng. Đại Học Quốc Gia TP.HCM - 2001 4.5 Suy diễn hỗn hợp 4.5 Suy diễn hỗn hợp ° Phương pháp: Kết hợp 2 quá trình suy diễn tiến và suy diễn lùi nhằm khắc phục khuyết điểm của mỗi phương pháp và nâng cao hiệu quả của quá trình suy diễn trong... điểm của suy diễn tiến: Không cảm nhận được sự gần tới đích. ° Nhược điểm của suy diễn lùi: thường dẫn tới sự phân nhánh lớn và không cảm nhận được sự cần chuyển hướng dòng suy nghó. Đại Học Quốc Gia TP.HCM - 2001 2.2 Vấn đề biểu diễn tri thức 2.2 Vấn đề biểu diễn tri thức ° Biểu diễn tri thức đóng vai trò rất quan trọng trong thiết kế và xây dựng một hệ giải bài toán thông minh và các hệ chuyên... dạng logic 4.2 Hợp giải trong tri thức dạng logic 4.3 Suy diễntiến 4.3 Suy diễntiến 4.4 Suy diễn lùi 4.4 Suy diễn lùi 4.5 Suy diễn hỗn hợp 4.5 Suy diễn hỗn hợp Đại Học Quốc Gia TP.HCM - 2001 4.2 Hợp giải trong tri thức dang logic 4.2 Hợp giải trong tri thức dang logic ° Phương pháp: Thực hiện quá trình phát sinh sự kiện mới bằng cách sử dụng các luật suy diễn cơ bản trên các biểu thức logic như: . 2001 I. TRI THỨC VÀ BIỂU DIỄN TRI I. TRI THỨC VÀ BIỂU DIỄN TRI THỨCTHỨC1.1 Khái niệm tri thức1 .1 Khái niệm tri thức1 .2 Khái niệm về biểu diễn tri thức1 .2. BIỂU DIỄN TRI THỨC VÀ BIỂU DIỄN TRI THỨC VÀ GIẢI TOÁN TỰ ĐỘNGGIẢI TOÁN TỰ ĐỘNGĐại Học Quốc Gia TP.HCM - 2001Hoàng