Bài giảng Trí tuệ nhân tạo - Chương 6: Biểu diễn tri thức và sử dụng luật
lượt xem 20
download
Mời các bạn cùng tham khảo "Bài giảng Trí tuệ nhân tạo - Chương 6: Biểu diễn tri thức và sử dụng luật" để nắm bắt những nội dung về tri thức khai báo và thủ tục, suy diễn tiến, suy diễn lùi, lập trình logic và giới thiệu ngôn ngữ Prolog. Mời các bạn tham khảo.
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Bài giảng Trí tuệ nhân tạo - Chương 6: Biểu diễn tri thức và sử dụng luật
- Chương 6: Biểu diễn tri thức và sử dụng luật 1
- Nội dung Tri thức khai báo và thủ tục Suy diễn tiến, suy diễn lùi Lập trình logic Giới thiệu ngôn ngữ Prolog 2
- Tri thức khai báo và thủ tục Biểu diễn dạng khai báo Là một dạng biểu diễn mà ở ñó tri thức ñược ñặc tả nhưng sự sử dụng nó không ñược nói ra. ðể sử dụng nó cần bổ sung một chương trình ñặc tả cái gì sẽ ñược làm với tri thức và bằng cách nào Ví dụ: Dạng ñặc tả: một tập các “logical assertion” Bộ phân giải có thể ñược hiểu như là cách ñể làm việc với tập assertions trên. Tập assertions như là DATA vào BỘ PHÂN GIẢI. Một cách nhìn khác: tập assertions trên như là một PROGRAM. Ở ñó: Luật giúp cho sự suy diễn xảy ra. Các con ñường suy diễn khác nhau từ START – GOAL (hay ngược lại) ñược quan niệm như con ñường thực thi trong chương trình. 3
- Tri thức khai báo và thủ tục (tt) Biểu diễn dạng thủ tục Là một dạng biểu diễn mà thông tin ñiều khiển cần thiết cho việc sử dụng tri thức ñược nhúng vào chính tri thức ñó. ðể sử dụng cần: bổ sung nó với một bộ thông dịch có thể thực thi các chỉ thị chứa trong tri thức. Sự khác nhau cơ bản giữa tri thức thủ tục và khai báo nằm ở chổ: Thông tin ñiều khiển nằm ở ñâu ? 4
- Suy diễn tiến & suy diễn lùi Suy diễn tiến Cho một tập luật (câu có dạng): p1 ∧ p2 ∧ … ∧ pn ⇒ q và một tập các sự kiện {q,r,…} Hỏi một sự kiện p có phải là một hệ quả của tập luật và tập sự kiện hay không? Tìm tất cả các luật có giả thiết thuộc tập các sự kiện Thêm kết luận vào tập các sự kiện Tiếp tục các dẫn xuất khác 5
- Suy diễn tiến & suy diễn lùi (tt) Suy diễn tiến: ví dụ 6
- Suy diễn tiến & suy diễn lùi (tt) Suy diễn tiến: ví dụ 7
- Suy diễn tiến & suy diễn lùi (tt) Suy diễn lùi Cho một tập luật (câu có dạng): p1 ∧ p2 ∧ … ∧ pn ⇒ q và một tập các sự kiện {q,r,…} Hỏi một sự kiện p có phải là một hệ quả của tập luật và tập sự kiện hay không? Kiểm tra xem p có thuộc tập các sự kiện hay không Nếu không tìm tất cả các luật có kết luận là p Nếu giả thiết của các luật này là một hội, tiếp tục thủ tục (ñệ quy) với từng thứa số của phép hội 8
- Suy diễn tiến & suy diễn lùi (tt) Suy diễn lùi : ví dụ 9
- Suy diễn tiến & suy diễn lùi (tt) Suy diễn lùi : ví dụ 10
- Giới thiệu về ngôn ngữ Prolog Cấu trúc chương trình Ngôn ngữ Prolog là ngôn ngữ lập trình suy luận trên cơ sở tóan học logic ñể giải quyết các bài tóan trong lĩnh vực trí tuệ nhân tạo. ðặc ñiểm của ngôn ngữ là xử lý tri thức của các bài tóan ñược mã hóa bằng ký hiệu. Một ñiểm mạnh khác của ngôn ngữ là xử lý danh sách trên cơ sở xử lý song song và ñệ qui với các thuật tóan tìm kiếm. Ngôn ngữ cho phép liên kết với các ngôn ngữ khác như C, Pascal và Assempler. 11
- Giới thiệu về ngôn ngữ Prolog Cấu trúc chương trình (tt) Domains /* domain declarations*/ Predicates /* predicate declarations */ clauses /*clauses ( rules and facts) */ goal /*subgoal_1 subgoal_2 */ 12
- Chương trình Prolog mẫu domains nguoi = string predicates cha(nguoi,nguoi) me(nguoi,nguoi) ong_noi(nguoi,nguoi) ong_ngoai(nguoi,nguoi) clauses /*cac qui tac */ ong_noi(X,Y):- cha(X,Z),cha(Z,Y). ong_ngoai(X,Y):- cha(X,Z),me(Z,Y). /* cac su kien */ cha(nam,minh). cha(minh,lam). cha(long,giang). cha(long,thu). me(thu,phi). 13
- Phần domains : miền xác ñịnh Là phần ñịnh nghĩa kiểu mới dựa vào các kiểu ñã biết Cú pháp ñịnh nghĩa kiểu = hoặc = Trong ñó các kiểu mới phân cách bởi dấu «,», các kiểu ñã biết phân cách bởi dấu «;» 14
- Phần domains (tt) VD Domains ten, tac_gia, nha_xb, dia_chi = string nam, thang, so_luong = integer dien_tich = real nam_xb = nxb(thang, nam) do_vat = sach(tac_gia, ten, nha_xb, nam_xb); xe(ten, so_luong); nha(dia_chi, dien_tich) 15
- Phần Predicates : vị từ Là phần bắt buộc phải có Phần predicates cần phải khai báo ñầy ñủ các vị từ sử dụng trong phần Clauses Cú pháp () Các kiểu ñược phân cách nhau bởi «,» VD Predicates so_huu (ten, do_vat) so_nguyen_to(integer) 16
- Phần Clauses : luật Là phần bắt buộc phải có, dùng ñể mô tả các sự kiện và các luật Sử dụng các vị từ ñã khai báo trong phần predicates Cú pháp () () ……… () Các ký hiệu bao gồm :- (ñiều kiện nếu); , (ñiều kiện và) ; (ñiều kiện hoặc) . (kết thúc vị từ) 17
- Phần Clauses (tt) VD Clauses so_nguyen_to(2):-!. so_nguyen_to(N):-N>0, so_nguyen_to(M), M
- Phần goal Bao gồm các mục tiêu mà ta yêu cầu Prolog xác ñịnh và tìm kết quả Không bắt buộc phải có Nếu ñược viết sẵn trong CT thì ñó gọi là goal nội; Nếu không, khi chạy CT Prolog sẽ yêu cầu ta nhập goal vào, goal ngoại VD Constants Pi = 3.141592653 19
- VD chương trình prolog domains so_nguyen = integer predicates so_nguyen_to(so_nguyen) Clauses so_nguyen_to(2):-!. so_nguyen_to(N):-N>0, so_nguyen_to(M), M
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Bài giảng Trí tuệ nhân tạo - Chương 1: Tổng quan về trí tuệ nhân tạo
36 p | 295 | 39
-
Bài giảng Trí tuệ nhân tạo - Nguyễn Ngọc Hiếu
236 p | 154 | 23
-
Bài giảng Trí tuệ nhân tạo - Bài 1, 2: Giới thiệu về Trí tuệ nhân tạo - Agen thông minh
26 p | 184 | 12
-
Bài giảng Trí tuệ nhân tạo: Giới thiệu trí tuệ nhân tạo - TS. Đào Anh Nam
64 p | 121 | 10
-
Bài giảng Trí tuệ nhân tạo: Giải thuật di truyền - PGS.TS. Lê Thanh Hương
15 p | 113 | 9
-
Bài giảng Trí tuệ nhân tạo - Lê Thanh Hương
44 p | 54 | 9
-
Bài giảng Trí tuệ nhân tạo: Giới thiệu về trí tuệ nhân tạo - Nguyễn Nhật Quang
21 p | 135 | 9
-
Bài giảng Trí tuệ nhân tạo: Giải quyết vấn đề bằng tìm kiếm - Trường Đại học Thủy Lợi
34 p | 106 | 9
-
Bài giảng Trí tuệ nhân tạo: Chương 1 - PGS.TS. Lê Thanh Hương
11 p | 122 | 8
-
Bài giảng Trí tuệ nhân tạo - Chương 2: Biểu diễn bài toán & tìm lời giải
35 p | 99 | 8
-
Bài giảng Trí tuệ nhân tạo - ĐH Nha Trang
137 p | 40 | 7
-
Bài giảng Trí tuệ nhân tạo: Giới thiệu và Tác nhân thông minh - Trường Đại học Thủy Lợi
31 p | 52 | 6
-
Bài giảng Trí tuệ nhân tạo: Các chiến lược tìm kiếm - Trường Đại học Thủy Lợi
86 p | 46 | 6
-
Bài giảng Trí tuệ nhân tạo: Logic vị từ - Trường Đại học Thủy Lợi
18 p | 43 | 6
-
Bài giảng Trí tuệ nhân tạo: Suy diễn trong logic vị từ - Trường Đại học Thủy Lợi
26 p | 63 | 6
-
Bài giảng Trí tuệ nhân tạo: Chương 1 - Lý Anh Tuấn
31 p | 80 | 6
-
Bài giảng Trí tuệ nhân tạo: Logic - Trường Đại học Thủy Lợi
60 p | 40 | 5
-
Bài giảng Trí tuệ nhân tạo (Artificial intelligence) - Chương 1: Tổng quan
51 p | 10 | 4
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn