Bài giảng Trí tuệ nhân tạo: Bài 9+10 - Phạm Thị Anh Lê

Bài giảng Trí tuệ nhân tạo: Bài 9+10 - Phạm Thị Anh Lê cung cấp cho học viên những kiến thức về biểu diễn tri thức bởi các luật và lập luận, biểu diễn tri thức bằng luật sinh, cơ chế lập luận: lập luận tiến và lập luận lùi,... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
Nội dung trích xuất từ tài liệu:
Bài giảng Trí tuệ nhân tạo: Bài 9+10 - Phạm Thị Anh Lê Lec 9-10Biểu diễn tri thức bởi các luật và lập luận Lec 7–8 TTNT. p.1 Nội Dung◼ Biểu diễn tri thức bằng luật sinh◼ Cơ chế lập luận – Lập luận tiến – Lập luận lùi Lec 7. p.2 Biểu diễn tri thức bằng luật sinh◼ Ngôn ngữ bao gồm các luật nếu - thì (if - then), còn gọi là các luật sinh (luật sản xuất - production rule), là ngôn ngữ phổ biến nhất để biểu diễn tri thức. Câu Horn có dạng trong đó Pi (i = 1, ..., n) và Q là các câu phân tử. Lec 7. p.3 Biểu diễn tri thức bằng luật sinhƯu điểm của các luật nếu – thì:◼ Mỗi luật nếu - thì mô tả một phần nhỏ tương đối độc lập của tri thức.◼ Có thể thêm và cơ sở tri thức các luật mới, hoặc loại bỏ một số luật cũ mà không ảnh hưởng nhiều tới các luật khác.◼ Các hệ tri thức với cơ sở tri thức gồm các luật nếu - thì có khả năng đưa ra lời giải thích cho các quyết định của hệ. Lec 7. p.4 Cơ chế lập luậnKhái niệm về suy diễn và lập luận◼ Suy diễn (inference) và lập luận (reasoning): chỉ một tiến trình đưa đến kết luận từ các giả thiết cho ở dạng cơ sở tri thức (sự kiện, luật)◼ Các hệ tri thức mà cơ sở tri thức bao gồm các luật sẽ được gọi là các hệ dựa trên luật (rule - based system).◼ Phương pháp luận lập luận cơ bản trong các hệ dựa luật: – Lập luận tiến – Lập luận lùi◼ Cơ sở tri thức được phân chia thành hai bộ phận: – Cơ sở luật: bao gồm các luật có ít nhất một điều kiện, biểu diễn các tri thức chung về lĩnh vực áp dụng. – Cơ sở sự kiện: bao gồm các câu phân tử (các luật không điều kiện) mô tả các sự kiện mà chúng ta biết về các đối tượng trong lĩnh vực áp dụng. Lec 7. p.5 Lập luận tiến◼ Tư tưởng cơ bản: áp dụng luật suy diễn Modus Ponens tổng quát◼ Trong mỗi bước của thủ tục lập luận tiến, người ta xét một luật trong cơ sở luật. Đối sánh mỗi điều kiện của luật với các sự kiện trong cơ sở sự kiện: – Nếu tất cả các điều kiện của luật đều được thoả mãn thì sự kiện trong phần kết luận của luật được xem là sự kiện được suy ra. – Nếu sự kiện này là sự kiện mới (không có trong bộ nhớ làm việc), thì nó được đặt vào bộ nhớ làm việc.◼ Quá trình trên được lặp lại cho tới khi nào không có luật nào sinh ra các sự kiện mới. Lec 7. p.6 Lập luận tiến◼ Quá trình lập luận tiến (forward chaining hoặc forward reasoning): xem xét các luật, đi từ phần điều kiện tới phần kết luận của luật. Nếu tất cả các điều kiện của luật đều được làm thoả mãn (bởi các sự kiện trong cơ sở sự kiện), thì suy ra sự kiện trong phần kết luận của luật.◼ Quá trình lập luận tiến không định hướng tới giải quyết một vấn đề nào cả, không định hướng tới tìm ra câu trả lời cho một câu hỏi nào cả.◼ Lập luận tiến chỉ là quá trình suy ra các sự kiện mới từ các sự kiện trong bộ nhớ làm việc → gọi là lập luận điều khiển bởi dữ liệu (data - driven reasioning), hoặc lập luận định hướng dữ liệu (data - directed reasioning). Lec 7. p.7 Thủ tục lập luận tiến◼ Cở sở luật: RB (Rule Base)◼ Cở sở sự kiện (bộ nhớ làm việc): FB (Fact Base)◼ Với mỗi luật R: Nếu P1 và P2 ... Pm thì Q ký hiệu Conds = [P1, P2, ..., Pm], Conc = Q. R = (Conds(R), Conc(R))◼ Áp dụng luật suy diễn sau: Lec 7. p.8 Thủ tục For_ChainThực hiện quá trình áp dụng luật suy diễn nêu trên để giảm bớt sốđiều kiện của một luật trong cơ sở luật. Nếu dẫn tới một luật cóphần điều kiện rỗng tức là đã suy ra một sự kiện. Lec 7. p.9 Thủ tục lập luận tiếnQuá trình lập luận tiến là quá trình áp dụng thủ tục trên cho cácluật trong cơ sở luật cho đến khi không có sự kiện mới nàoxuất hiện: Lec 7. p.10 Thủ tục lập luận tiếnVí dụ: Cho CSTT gồm các luật và các sự kiện sau:CS luậtL1. có_lông_mao(x)loài_có_vú(x)L2. có_lông_vũ(x)loài_chim(x)L3. biết_bay(x)đẻ_trứng(x)loài_chim(x)L4. loài_có_vú(x)ăn_thịt(x)thú_ăn_thịt(x)L5. loài_có_vú(x)có_răng_nhọn(x)có_móng_vuốt(x)thú_ăn_thịt(x)L6. thú_ăn_thịt(x)lông_vàng_hung(x)có_đốm_sẫm(x)báo_Châu_Phi(x)L7. thú_ăn_thịt(x)lông_vàng_hung(x)có_vằn_đen(x)hổ(x)L8. loài_chim(x)biết_bay(x)có_chân_dài(x)có_cổ_dài(x)đà_điểu(x)L9. loài_chim(x)biết_bay(x)biết_bơi(x)lông_đen_trắng(x)chim_cánh_cụt(x)CS sự kiện:1. có_lông_mao(Ki)2. ăn_thịt(Ki)3. lông_vàng_hung(Ki)4. có_đốm_sẫm(Ki) ...