TÌM HIỂU VỀ HỆ CHUYÊN GIA VÀ BIỂU DIỄN TRI THỨC TRONG HỆ CHUYÊN GIA   !!"#$$%$%&$ BÀI THU HOẠCH CHUYÊN ĐỀ: '#'()*+, /(!.0 • .+1..2)'03#'()405 /60(780!9:/; <=>4..?@:!'(4'A<B./.. -/.'/.!?CDEF2CG=H =CIJ'()0EK'(LCMN • $GOPHD08-J4/) K'(LCQ=E@)$'() • 05/F4R;:@)/S' TU #'() • 9:/;@)'()CDEK'(L VCW<2?=)''50P4R • "'AF., /!(!.0X=>4..Y2)!. !(!.0=>4..Y2)!.., /!(!.0ZH R))' #'() • #UC5@)#"'() Người dùng (user) Cơ sở tri thức (knowledge base) Máy suy diễn (inference engine) Hệ thống giao tiếp với người dùng (user interface) #'() • #UC5 – Z['V-!=<B)!?4F 6C\2LXHA)(F8OF'S #"] – (!'(^ )//;/!_/ ;CD!'(^<!'(4'A?C)/)T'/E4Z Z[K')G)OL-] – Z[ACMT'/E4Z4F4Z ='()(M`CaCb #'() • #"'()cUC5/05lĩnh vực vấn đề<-/24.00)?(PXSX=)P )(8 • /;'()CDEK'(L$VCWCd/ CMP4lĩnh vực tri thức<=>4..0)? • S:#"'()Wlĩnh vực y họcCD- 24T(^0H4R/;W05!G 24T(^0X/';F)/Q a #'() • e')F)4RVCW4R/; Lĩnh vực vấn đề (problem domain) Lĩnh vực tri thức (knowledge domain) d/2E@)#"'() • #'K'E)=E/E4Z0;C5O8 2fd)!'()Z/ [4R] • Z)/E4ZJ)CZ)/E4Z2f d)'()ZCDCCL [$K'(LCQ*4$Z)] • 5OA()g8,E(/)!GdE0!aC5 OA(=!9:] • h^D'ES2!'(4'A$^D' VK' i'CD0@)#"'() • (-jA-CM-/D=8k'K'E!9: =8D-@A] • U] • E0/@/a-Z/CM08/Z/@/X'(D0] • S!l!HDUC52V;4a] • )4RWW'4R=)'] • A(4'8CE02EC5OA(==)] • gEESHD^ET'/E4Z$/m/ OL] • /E4Z)/E4ZZ)X=K')] • SjCQX!'(4'A48Cn(C@] • 05Z80] • "HD/'(A-05!_F4'80 R;: • "'oC4A-4'A)/!=K')!CM] • #U(P80CD!HDJ T'J6!)<>(p?XL<>p?6,E(/)L' <>)Bp?GJn(] • ESESF4''ACM] • .m=D0/)!F4''CMF4' '(08CDC'K'E] • A-=LU4A-=LU!E,'V.('n'] • hCCA'K'EL'05q'G,E(/)] • "F)/Q)/)EK'(L05VCW] • W'=DCW'=D$K'/62)r0^EX'o CX=D0/)X4A-=LUXCF)/Q [...]... của nhiều Hệ chuyên gia • Giao diện người dùng: là nơi người dùng và Hệ chuyên gia trao đổi với nhau Biểu diễn tri thức • Bằng nhiều cách khác nhau: – Các luật sinh (sản xuất) – Lôgic – Mạng ngữ nghĩa – Ngôn ngữ nhân tạo – Bộ ba Đối tượng-Thuộc tính-Giá trị (O-A-V: ObjectAttribute-Value) – Frame … Biểu diễn tri thức bằng luật sinh • Hầu hết Hệ Chuyên Gia hiện nay dùng luật sinh biểu diễn tri thức, do:... tượng và giá trị thuộc tính; cung thể hiện mối quan hệ giữa các nút • Tri thức “Sẻ là một loài chim; chim có cánh và biết bay” được biểu diễn bằng mạng ngữ nghĩa sau: có sẻ • là cánh loài chim biết bay Biểu diễn tri thức bằng ngôn ngữ nhân tạo • Hiện nay các Hệ Chuyên Gia đối thoại với người sử dụng bằng ngôn ngữ tự nhiên không nhiều • Các Hệ Chuyên Gia thường dùng 1 ngôn ngữ nhân tạo để biểu diễn tri thức. .. thành phần cơ bản Máy suy diễn Máy suy diễn Cơ sở tri thức Cơ sở tri thức (các luật) (các luật) Bộ nhớ làm việc Bộ nhớ làm việc Lịch công việc Bộ giải thích Bộ giải thích Bộ thu nhận tri thức Bộ thu nhận tri thức Giao diện người dùng Giao diện người dùng Kiến trúc tổng quát • Cơ sở tri thức: gồm các phần tử (đơn vị) tri thức, thường là các luật, được tổ chức như 1 CSDL • Máy suy diễn: suy luận dựa trên... sau THEN là phần kết luận hay hệ quả • Ví dụ: Các luật giao thông: – IF THEN dừng – IF đèn xanh sáng THEN đi Biểu diễn tri thức bằng lôgic • Lôgic vị từ: Phát biểu Công thức Tom là người MAN(tom) Tom là cha của Mary FATHER(Tom,Mary) Tất cả mọi người đều MAN(X)  MORTAL(X) chết (X là biến) Biểu diễn tri thức bằng lôgic • Cho tri thức sau: – – – – – Marc tóc vàng; Jean tóc nâu Pierre là... hóa ví dụ P(X) và (∀Y)Q(X,Y) đều chứa biến tự do X • Gọi là lôgic vị từ cấp 1 vì không có các lượng tử cho vị từ và hàm như: (∀P)P(a), (∀f)P(f(X),b) (lôgic vị từ cấp cao hơn higher-order) Biểu diễn tri thức bằng lôgic vị từ cấp 1 • Tri thức: “Mọi con người đều sẽ chết” được biểu diễn bằng: (∀X) (MAN(X)  MORTAL(X)) • Có những tri thức phát biểu bằng ngôn ngữ tự nhiên nhưng không biểu diễn được bằng... là 1 và 2 – ∀: lượng tử với mọi; ∃: lượng tử tồn tại Biểu diễn tri thức bằng lôgic vị từ cấp 1 • Term: – Các hằng và biến là term – Nếu f là 1 hàm và t1, …, tn là term, thì f(t1,…,tn) là 1 term • Atom là biểu thức P(t1, …,tn), với P là vị từ, t1,…,tn là term Ví dụ: MAN(tom), FATHER(tom,mary), P(f(X),blue) là các atom • Công thức chỉnh (well-formed formula): (CTC) – Các atom là các CTC – Nếu G và H... tiên do máy suy diễn tạo ra thỏa mãn các sự kiện, đối tượng có mặt trong bộ nhớ làm việc Kiến trúc tổng quát • Bộ nhớ làm việc (working memory): chứa các sự kiện phục vụ cho các luật • Bộ giải thích (explanation facility): giải thích cách suy luận của hệ thống cho người sử dụng • Bộ thu nhận tri thức: Cho phép người dùng bổ sung tri thức vào hệ thống một cách tự động thay vì biểu diễn một cách tường... trong Hệ Chuyên Gia • Suy diễn tiến (forward chaining): lập luận từ các sự kiện, sự việc và dựa trên các luật để rút ra kết luận Ví dụ: – Có luật: Nếu trời mưa  Lấy áo mưa và sự kiện Trời mưa, kết luận Lấy áo mưa • Suy diễn lùi (backward chaining): Từ một giải thuyết (như là kết luận), hệ thống đưa ra trả lời là các sự kiện cơ sở đưa đến giả thuyết này Ví dụ: Nếu có sự kiện 1 người cầm áo mưa đi vào... được tạo thành từ G và H dùng các phép toán nối lôgic – Nếu G là 1 CTC và X là biến, thì (∀X)G và (∃X)G cũng là CTC • (∃X)G – tồn tại 1 giá trị của X để G đúng • (∀X)G – với mọi giá trị của X, G đúng Biểu diễn tri thức bằng lôgic vị từ cấp 1 • Ví dụ về các CTC: – CTC: (∀X)(∃Y)((P(X,Y) ∧ Q(X,Y))  R(X)), ¬(P(a)P(b)) ¬P(b) – Không phải là CTC: ¬f(a), f(P(a)) • Literal: có dạng G và ¬G, với G là atom... X là ông của Y • Được biểu diễn bằng cơ sở tri thức: – – – – – – BLOND(marc) (1) BROWN(jean) (2) FATHER(pierre,jean) (3) FATHER(marc,pierre) (4) SON(marc,george) (5) SON(Y,X)  FATHER(X,Y) (6) FATHER(X,Z), FATHER(Z,Y)  GRANDFATHER(X,Y) (7) (1),(2),(3),(4),(5) là sự kiện (fact); (6),(7) là luật (rule) Biểu diễn tri thức bằng mạng ngữ nghĩa • Sử dụng đồ thị gồm các nút (node) và các cung (arc) nối . TÌM HIỂU VỀ HỆ CHUYÊN GIA VÀ BIỂU DIỄN TRI THỨC TRONG HỆ CHUYÊN GIA   !!"#$$%$%&$ BÀI THU HOẠCH CHUYÊN. suy diễn Máy suy diễn Lịch công việc Bộ nhớ làm việc Bộ nhớ làm việc Bộ giải thích Bộ giải thích Bộ thu nhận tri thức Bộ thu nhận tri thức Giao diện người dùng Giao diện người dùng Cơ sở tri thức (các. /!(!.0ZH R))' #'() • #UC5@)#"'() Người dùng (user) Cơ sở tri thức (knowledge base) Máy suy diễn (inference engine) Hệ thống giao tiếp với người dùng (user interface) #'() • #UC5 – Z['V-!=<B)!?4F 6C2LXHA)(F8OF'S #"] –