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

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

Đ T H 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 ể ễ ằ ữ

Đ 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ối6

Đ 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

Đ 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ôi8

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ôiKhô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á):

Đ 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ụ:

11

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 màu nâu

12

Đ T H K H Á I N I M Ồ Ị Ệ

K H M T 05

Ví dụ: ĐTKN của một người có 3 tên13

Đ T H K H Á I N I M Ồ Ị Ệ

K H M T 05

14

Đ T H K H Á I N I M Ồ Ị Ệ

K H M T 05

Sự 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 : supertype c a sủ

Ví d :ụ

 sinhviên là subtype c a ngủ ườ i

 ngườ là i super type c a ủ sinhviên15

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 (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 subtype c a nó ế ở ủ

VD: người: nam  sinhviên:nam

17

C Á C P H É P TO Á N

K H M T 05

Phép Restriction (gi i h n)ớ ạ VD:

18

animal eats dog barks

dog eats

animal: "Emma" colour brown

Dog: "Emma" colour brown

C Á C P H É P TO Á N

K H M T 05

Phép Join (n i):ố N i hai đ th đ đố ồ ị ể ược m t đ ộ ồ

th khác.ịVD:

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.ể ỏ ộ ể ạ ộ ồ ị ớ20

C Á C P H É P TO Á N

K H M T 05

Phép Restriction và phép Join cho phép chúng ta

th c hi n tính th a k trên đ th khái ni m.ự ệ ừ ế ồ ị ệ21

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

22

Đ 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 ể ể ễ ồ ề ệ đề

Đ N H M N H Đ Ỉ Ệ Ề

K H M T 05

VD: “Tom believes that Jane likes pizza”

24

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

25

Đ T K N V À L O G I C

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 ằ ố ề ồ ị ở joinPhé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 đ nh), ủ ị or(tuy n) nh d ng sauể ư ạ26

Đ T K N V À L O G I C

K H M T 05

Ví d :ụCâu: “There are no pink dogs”, được bi u di nể ễ27

Dog: * color Pink

Neg

Đ T K N V À L O G I C

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))28

Đ T K N V À L O G I C

K H M T 05

Và toàn b đ th ( bao g m đ nh quan h :neg), có ộ ồ ị ồ ỉ ệ

Đ T K N V À L O G I C

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 :ể ễ ị ừ

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ó

30

Đ T K N V À L O G I C

K H M T 05

Gi i thu t đ chuy n m t đ th khái ni m ả ậ ể ể ộ ồ ị ệ

bi n hay h ng đế ằ ược gán cho các đ nh khái ni m n i ỉ ệ ố

đ n nó.ế31

Đ T K N V À L O G I C

K H M T 05

VD:

32

dog bites

barks

dog: emma bites

barks dog(emma) ∧ barks(emma) ∧ bites(emma)

∃ X (dog(X) ∧ barks(X) ∧ bites(X))

dog: X bites

barks ∀ X (dog(X) ∧ barks(X) ∧ bites(X))

Đ I H C CÔNG NGH THÔNG Ạ Ọ Ệ

TIN

KHOA H C MÁY TÍNHỌ

Thank FOR WATCHING

33