ĐỒ THỊ KHÁI NIỆM (Conceptual Graphs)

ĐỒ THỊ KHÁI NIỆM (Conceptual Graphs)

Đ TH K H Á I N MỒ Ị Ệ (Conceptual Graphs) K H M T 05 Giáo viên: Th.S Huỳnh Thị Thanh Thương Nhóm 1 1 N I D U N GỘ K H M T 05 1.Tổng quan Đồ thị khái niệm. 2.Các phép toán trên ĐTKN. 3.Đỉnh mệnh đề. 4.Đồ thị khái niệm và logic 2 Đ T H K H Á I N I MỒ Ị Ệ K H M T 05  Đồ thị khái niệm là một phương pháp biểu diễn tri thức dựa trên một phần của ngôn ngữ học, tâm lý học, triết học, cấu trúc dữ liệu… 3 Đ T H K H Á I N I MỒ Ị Ệ K H M T 05  Một Đồ thị khái niệm bao gồm:  Đỉnh khái niệm: bi u di n các khái ni m c th , ể ễ ệ ụ ể hay tr u t ng. Đ c bi u di n b ng hình ch ừ ượ ượ ể ễ ằ ữ nh tậ  Đ nh quan h : ch ra quan h gi a các khái ni m, ỉ ệ ỉ ệ ữ ệ đ c bi u di n b ng hình eclip.ượ ể ễ ằ  Cung n i gi a đ nh khái ni m và đ nh quan hố ữ ỉ ệ ỉ ệ 4 Đ T H K H Á I N I MỒ Ị Ệ K H M T 05 5 Đ T H K H Á I N I MỒ Ị Ệ K H M T 05 Đồ thị khái niệm còn có thể được biểu diễn như sau: [con chó] -> (màu) -> [nâu]  Ngoặc vuông là đỉnh khái niệm  Ngoặc tròn là đỉnh quan hệ  Mũi tên là cung nối 6 Đ T H K H Á I N I MỒ Ị Ệ K H M T 05 Đồ thị khái niệm thì “hữu hạn”, “liên kết”, “song phương”  Hữu hạn(Finite): Có hữu hạn các khái niệm và các quan hệ  Liên kết(connected): nếu hai phần không liên kết với nhau thì đc xem là hai DDTKN riêng biệt  Song phương(bipartite): mỗi cung chỉ liên kết hai loại đỉnh khác nhau. 7 Đ T H K H Á I N I MỒ Ị Ệ K H M T 05 Mỗi đỉnh quan hệ có thể có một ngôi hoặc nhiều ngôi Ví dụ: “The boring book” Mỗi đỉnh quan hệ có 1 cung -> quan hệ 1 ngôi 8 book boring Đ T H K H Á I N I MỒ Ị Ệ K H M T 05 Mỗi đỉnh quan hệ có thể có một ngôi hoặc nhiều ngôi Ví dụ: “Mary gave John” Mỗi đỉnh quan hệ có 2 cung -> quan hệ 2 ngôi Không như đồ thị khái niệm, các cung nối không có nhãn vì đã có các đỉnh quan hệ 9 Person: Mary agent give Person: John recipient Đ T H K H Á I N I MỒ Ị Ệ K H M T 05 Một số đỉnh khái niệm có thể có dạng: Loại : tên_cá thể Tên cá thể có thể là: 1. M t tên nào đó, nh : ộ ư sinhviên: Nam 2. . M t khoá đ phân bi t (ộ ể ệ #khoá): sinhviên: #59701234 3. D u sao (*) đ ch ra m t cá th ch a xác đ nh, ấ ể ỉ ộ ể ư ị nh :ư sinhviên: *, sinhviên:*X 10 [...]... chúng ta thực hiện tính thừa kế trên đồ thị khái niệm N ỘI D U N G K 1.Tổng quan Đồ thị khái niệm H 2.Các phép toán trên ĐTKN M T 3.Đỉnh mệnh đề 05 4 .Đồ thị khái niệm và logic Đ Ỉ N H M ỆN H Đ Ề K H M T 05 Để biểu diễn cho các câu gồm nhiều mệnh đề  Có thể chứa cả một mệnh đề trong một đỉnh khái niệm  Vậy đỉnh mệnh đề là một đỉnh khái niệm có chứa một đồ thị khái niệm khác  Đ Ỉ N H M ỆN H Đ Ề K H... Phép Join (n ối): Nối hai đồ thị để được một đồ thị khác VD: Dog Eat Eat Dog Dog Bark Bark Nếu có đỉnh khái niệm C xuất hiện trên cả hai đồ thị X và Y, thì chúng ta có thể nối hai đồ thị trên đỉnh chung C nói trên C Á C P H É P TO Á N K H M T 05 Phép simplify: (rút g ọn): Nếu trên một đồ thị có hai đồ thị con giống nhau hoàn toàn thì chúng ta có thể bỏ đi một để tạo ra một đồ thị mới C Á C P H É P TO... VD: “Tom believes that Jane likes pizza” N ỘI D U N G K 1.Tổng quan Đồ thị khái niệm H 2.Các phép toán trên ĐTKN M T 3.Đỉnh mệnh đề 05 4 .Đồ thị khái niệm và logic ĐTKN VÀ LOGIC K H M T 05 Phép hội (and) của nhiều khái niệm có thể thực hiện bằng cách nối nhiều đồ thị bởi phép toán join Phép phủ định(not) và phép tuyển(or) giữa các khái niệm được thể hiện bằng cách đưa vào đỉnh quan hệ có tên: neg(phủ... phân cấp loại trong khái niệm Nếu có s và t là hai loại (type) thì: s ≤ t :  s: subtype của t  t : super type của s Ví dụ:  sinhviên là subtype c ủa ng ười  ng ười là super type của sinhviên N ỘI D U N G K 1.Tổng quan Đồ thị khái niệm H 2.Các phép toán trên ĐTKN M T 3.Đỉnh mệnh đề 05 4 .Đồ thị khái niệm và logic C Á C P H É P TO Á N K H M T 05 Phép copy (nhân b ản): nhân bản một đồ thị Phép Restriction... ải thu ật đ ể chuy ển m ột đ ồ th ị khái ni ệm sang bi ểu di ễn v ị t ừ: B1 Gán một biến riêng biệt (X1, X2,…) cho mỗi khái niệm tổng quát B2 Gán một hằng cho mỗi khái niệm cá thể trong đồ thị Hằng này có thể là tên cá thể hay khoá của nó ĐTKN VÀ LOGIC K H M T 05 Gi ải thu ật đ ể chuy ển m ột đ ồ th ị khái ni ệm sang bi ểu di ễn v ị t ừ: B3 Biểu diễn một đỉnh khái niệm bởi một vị từ một ngôi; có tên... biểu diễn Dog: * color Neg Pink ĐTKN VÀ LOGIC K H M T 05 Trong đồ thị khái niệm, các khái niệm tổng quát (đỉnh dùng biến * - như dog:* , hay chỉ có tên loại - như dog ) được xem như có lượng từ tồn tại (∃) Do vậy, mệnh đề trong ví dụ trên có biểu diễn vị từ là: ∃X∃Y(dog(X) ^ color(X,Y) ^ pink(Y)) ĐTKN VÀ LOGIC K H M T 05 Và toàn bộ đồ thị ( bao gồm đỉnh quan hệ :neg), có biểu diễn vị từ: ¬ ∃X∃Y(dog(X)... phép toán trên ĐTKN M T 3.Đỉnh mệnh đề 05 4 .Đồ thị khái niệm và logic C Á C P H É P TO Á N K H M T 05 Phép copy (nhân b ản): nhân bản một đồ thị Phép Restriction (gi ới h ạn): từ một đồ thị đã có, thay thế một đỉnh khái niệm bởi một đỉnh khác cụ thể hơn, như hai trường hợp:   Một biến *, được thay thế bởi một khoá, hay một tên của cá thể VD: dog:*  dog:#123 hay dog:luu Một type được thay thế bởi...Đ Ồ T H Ị K H Á I N I ỆM K H M T 05 Trường hợp 1 và 2, khái niệm được gọi là khái ni ệm cá thể, trường hợp 3 ta có khái ni ệm t ổng quát Ví dụ: cat: "Tom" color brown cat: #12568 color brown cat: * color brown Đ Ồ T H Ị K H Á I N I ỆM K H M T 05 Ví dụ: ĐTKN biểu diễn chú chó tên Emma... có tên là tên loại (type), đối số là biến hay hằng vừa gán trên B4 Biểu diễn mỗi đỉnh quan hệ bời một vị từ n ngôi; có tên là tên của đỉnh quan hệ, các thông số là biến hay hằng được gán cho các đỉnh khái niệm nối đến nó ĐTKN VÀ LOGIC K H M T 05 VD: dog: emma barks dog(emma) ∧ barks(emma) ∧ bites(emma) bites dog barks ∃ X (dog(X) ∧ barks(X) ∧ bites(X)) barks ∀ X (dog(X) ∧ barks(X) ∧ bites(X)) bites . Ị Ệ (Conceptual Graphs) K H M T 05 Giáo viên: Th.S Huỳnh Thị Thanh Thương Nhóm 1 1 N I D U N GỘ K H M T 05 1.Tổng quan Đồ thị khái niệm. 2.Các phép toán trên ĐTKN. 3.Đỉnh mệnh đề. 4 .Đồ thị khái. Ệ K H M T 05  Đồ thị khái niệm là một phương pháp biểu diễn tri thức dựa trên một phần của ngôn ngữ học, tâm lý học, triết học, cấu trúc dữ liệu… 3 Đ T H K H Á I N I MỒ Ị Ệ K H M T 05  Một Đồ thị khái. super type c a ủ sinhviên 15 N I D U N GỘ K H M T 05 1.Tổng quan Đồ thị khái niệm. 2.Các phép toán trên ĐTKN. 3.Đỉnh mệnh đề. 4 .Đồ thị khái niệm và logic 16 C Á C P H É P TO Á N K H M T 05 Phép copy