Bài giảng Công nghệ tri thức và ứng dụng - Phần 1: Quản lý tri thức - Chương 1: Tiếp nhận và biểu diễn tri thức

gọt	 Vị (cam, ngọt) 	Cam có màu xanh	  Màu(cam, xanh) 	…	 III. Phương pháp biểu diễn tri thức (tt) Ví dụ 2: Tri thöùc “A laø boá cuûa B neáu B laø anh hoaëc em cuûa moät ngöôøi con cuûa A” coù theå ñöôïc bieåu dieãn döôùi daïng vò töø nhö sau :  Boá (A, B) = Toàn taïi Z sao cho : Boá (A, Z) vaø (Anh(Z, B) hoaëc Anh(B,Z)) Trong tröôøng hôïp naøy, meänh ñeà Boá(A,B) laø moät meänh ñeà toång quaùt  Nhö vaäy neáu ta coù caùc meänh ñeà cô sôû laø : a) Boá (“An”, “Bình”) coù giaù trò ñuùng (An laø boá cuûa Bình) b) Anh(“Tuù”, “Bình”) coù giaù trò ñuùng (Tuù laø anh cuûa Bình) thì meänh ñeà c) Boá (“An”, “Tuù”) seõ coù giaù trò laø ñuùng. (An laø boá cuûa Tuù). III. Phương pháp biểu diễn tri thức (tt) Ví dụ 3: Caâu caùch ngoân “Khoâng coù vaät gì laø lôùn nhaát vaø khoâng coù vaät gì laø beù nhaát!” coù theå ñöôïc bieåu dieãn döôùi daïng vò töø nhö sau :  	LôùnHôn(x,y) = x>y 	NhoûHôn(x,y) = x 0) 	(x, y)	 	(x-d, y)	Đổ d lít ra khỏi bình 4 lít III. Phương pháp biểu diễn tri thức (tt) Bài toán đổ nước (tt) 4. Nếu (y>0) 	(x, y)	 	(x, y-d)	Đổ d lít ra khỏi bình 3 lít 5. Nếu (x > 0) 	(x, y)		(0, y)	Đổ hết nước ra khỏi bình 4 lít 6. Nếu (y > 0) 	(x, y)		(x, 0)	Đổ hết nước ra khỏi bình 3 lít 7. Nếu (x+y  4) và (y > 0) 	(x, y)		(4, y-(4-x))	Đổ nước từ bình 3 lít vào bình 	4 lít đến khi bình 4 lít đầy Bài toán đổ nước (tt) 8. Nếu (x+y  3) và (x > 0) 	(x, y)		(x-(3-y), 3)	Đổ nước từ bình 4 lít vào bình 	3 lít cho đến khi bình 3 lít đầy. 9. Nếu (x+y  4) và (y > 0) 	(x, y)	 	(x+y, 0)	Đổ hết nước bình 3 lít vô 	bình 4 lít. 10. Nếu (x+y  3) và (x > 0)	 	(x, y)	 	(0, x+y)	Đổ hết nước bình 4 lít vô 	bình 3 lít. 11. (0, 2)	 (2, 0)	Đổ 2 lít từ bình 3 lít vô bình 4 lít. 12. (2, y)	 (0,y)	Đổ 2 lít ra khỏi bình 4 lít. III. Phương pháp biểu diễn tri thức (tt) III. Phương pháp biểu diễn tri thức (tt) Bài toán đổ nước (tt) Hiện nay để giải bài toán đổ nước như thế này người ta đã rút gọn lại chỉ còn 3 luật như sau: 	(L1): Nếu bình 3 lít đầy thì đổ hết nước trong bình 3 lít đi. 	(L2): Nếu bình 4 lít rỗng thì đổ đầy nước vào bình 4 lít. 	(L3): Nếu bình 3 lít không đầy và bình 4 lít không rỗng thì đổ nước từ bình 4 lít sang bình 3 lít (cho tới khi bình 3 lít đầy hoặc bình 4 lít hết nước). III. Phương pháp biểu diễn tri thức (tt) Öu ñieåm vaø nhöôïc ñieåm cuûa tri thức luật dẫn Ưu điểm: Caùc luaät raát deã hieåu neân coù theå deã daøng duøng ñeå trao ñoåi vôùi ngöôøi duøng (vì noù laø moät trong nhöõng daïng töï nhieân cuûa ngoân ngöõ). Coù theå deã daøng xaây döïng ñöôïc cô cheá suy luaän vaø giaûi thích töø caùc luaät. Vieäc hieäu chænh vaø baûo trì heä thoáng laø töông ñoái deã daøng. Coù theå caûi tieán deã daøng ñeå tích hôïp caùc luaät môø. Caùc luaät thöôøng ít phuï thuoäc vaøo nhau. III. Phương pháp biểu diễn tri thức (tt) Öu ñieåm vaø nhöôïc ñieåm cuûa tri thức luật dẫn Nhược điểm: Caùc tri thöùc phöùc taïp ñoâi luùc ñoøi hoûi quaù nhieàu (haøng ngaøn) luaät dẫn. Ñieàu naøy seõ laøm naûy sinh nhieàu vaán ñeà lieân quan ñeán toác ñoä laãn quaûn trò heä thoáng. Ngöôøi xaây döïng heä thoáng thích söû duïng luaät dẫn hôn taát caû phöông phaùp khaùc, neân hoï thöôøng tìm moïi caùch ñeå bieåu dieãn tri thöùc baèng luaät cho duø coù phöông phaùp khaùc thích hôïp hôn! Ñaây laø nhöôïc ñieåm mang tính chuû quan cuûa con ngöôøi. Cô sôû tri thöùc luaät dẫn lôùn seõ laøm giôùi haïn khaû naêng tìm kieám cuûa chöông trình ñieàu khieån. Nhieàu heä thoáng gaëp khoù khaên trong vieäc ñaùnh giaù caùc heä döïa treân luaät cuõng nhö gaëp khoù khaên khi suy luaän treân luaät. III. Phương pháp biểu diễn tri thức (tt) 4. Mạng ngữ nghĩa: là một phương pháp biểu diễn tri thức dùng đồ thị. Trong đó nút biểu diễn đối tượng, và cung biểu diễn quan hệ giữa các đối tượng. III. Phương pháp biểu diễn tri thức (tt) Chích choøe laø moät loaøi chim. Chim bieát hoùt Chim coù caùnh Chim soáng trong toå  Caùc moái quan heä naøy seõ ñöôïc bieåu dieãn tröïc quan baèng moät ñoà thò beân caïnh Xem thêm ví dụ về giải bài toán tam giác tổng quát ( trong tài liệu tham khảo) Ví duï1: giöõa caùc khaùi nieäm chích choøe, chim, hoùt, caùnh, toå coù moät soá moái quan heä nhö sau : III. Phương pháp biểu diễn tri thức (tt) Ví dụ 2: Bài toán tam giác tổng quát Một số bài toán thông thường về tam giác như: “Cho 3 cạnh của một tam giác, tính chiều dài các đường cao”, “cho góc a, b và cạnh AC, tính chiều dài các đường trung tuyến”, … Tồn tại hay không một chương trình tổng quát có thể giải được tất cả những bài toán tam giác dạng này ? Câu trả lời là có. Bài toán sẽ giải bằng mạng ngữ nghĩa: Có 22 yếu tố liên quan đến cạnh và góc của tam giác. Để xác định hay để xây dựng một tam giác ta cần 3 yếu tố trong đó có yếu tố cạnh Sử dụng khoảng 200 đỉnh để chứa công thức + 22 đỉnh để chứa các yếu tố của tam giác. III. Phương pháp biểu diễn tri thức (tt) Mạng ngữ nghĩa cho bài toán có cấu trúc như sau Đỉnh của đồ thị bao gồm 2 loại: 	Đỉnh chứa công thức (ký hiệu bằng hình chữ nhật) 	Đỉnh chứa yếu tố tam giác (ký hiệu bằng hình tròn) Cung: chỉ nối từ đỉnh hình tròn đến đỉnh hình chữ nhật cho biết yếu tố tam giác xuất hiện trong công thức nào Lưu ý: Trong một công thức liên hệ giữa n yếu tố của tam giác, ta giả định rằng nếu đã biết giá trị của n-1 yếu tố thì sẽ tính được giá trị của yếu tố còn lại III. Phương pháp biểu diễn tri thức (tt) Cơ chế suy diễn thực hiện theo thuật toán “loang” đơn giản sau: B1: Kích hoạt những đỉnh hình tròn đã cho ban đầu (những yếu tố đã có giá trị) B2: Lặp lại bước sau cho đến khi kích hoạt được tất cả những đỉnh ứng với những yếu tố cần tính hoặc không thể kích hoạt được bất kỳ đỉnh nào nữa Nếu một đỉnh hình chữ nhật có cung nối với n đỉnh hình tròn mà n-1 đỉnh hình tròn đã được kích hoạt thì kích hoạt đỉnh hình tròn còn lại (và tính giá trị đỉnh còn lại này thông qua công thức ở đỉnh hình chữ nhật). III. Phương pháp biểu diễn tri thức (tt) Mạng ngữ nghĩa cho bài toán tam giác III. Phương pháp biểu diễn tri thức (tt) Ví dụ: Cho hai góc a, b và chiều dài cạnh a của tam giác. Tính chiều dài đường cao hc . Với mạng ngữ nghĩa đã cho trong hình trên. Các bước thi hành của thuật toán như sau: Bắt đầu: đỉnh a, b , a được được kích hoạt Công thức (1) được kích hoạt. Từ (1) tính cạnh b, đỉnh b được kích hoạt. Công thức (4) được kích hoạt. Từ (4) tính được góc , đỉnh  được kích hoạt. Công thức (2) được kích hoạt. Từ (2) tính được cạnh c, kích hoạt đỉnh c. Công thức (3) được kích hoạt. Từ (3) tính đựơc S, kích hoạt đỉnh S. Công thức (5) được kích hoạt. Từ (5) tính được hc ,kích hoạt đỉnh hc Giá trị hc được tính, thuật toán kết thúc. III. Phương pháp biểu diễn tri thức (tt) Öu ñieåm vaø nhöôïc ñieåm cuûa maïng ngöõ nghóa Öu ñieåm Maïng ngöõ nghóa raát linh ñoäng, ta coù theå deã daøng theâm vaøo maïng caùc ñænh hoaëc cung môùi ñeå boå sung caùc tri thöùc caàn thieát. Maïng ngöõ nghóa coù tính tröïc quan cao neân raát deã hieåu. Maïng ngöõ nghóa cho pheùp caùc ñænh coù theå thöøa keá caùc tính chaát töø caùc ñænh khaùc thoâng qua caùc cung loaïi “laø”, töø ñoù, coù theå taïo ra caùc lieân keát “ngaàm” giöõa nhöõng ñænh khoâng coù lieân keát tröïc tieáp vôùi nhau. Maïng ngöõ nghóa hoaït ñoäng khaù töï nhieân theo caùch thöùc con ngöôøi ghi nhaän thoâng tin.   III. Phương pháp biểu diễn tri thức (tt) Öu ñieåm vaø nhöôïc ñieåm cuûa maïng ngöõ nghóa (tt) Nhược điểm: Cho ñeán nay, vaãn chöa coù moät chuaån naøo quy ñònh caùc giôùi haïn cho caùc ñænh vaø cung cuûa maïng. Nghóa laø baïn coù theå gaùn gheùp baát kyø khaùi nieäm naøo cho ñænh hoaëc cung! Tính thöøa keá (voán laø moät öu ñieåm) treân maïng seõ coù theå daãn ñeán nguy cô maâu thuaãn trong tri thöùc. III. Phương pháp biểu diễn tri thức (tt) 5. Frame: Frame laø moät caáu truùc döõ lieäu chöùa ñöïng taát caû nhöõng tri thöùc lieân quan ñeán moät ñoái töôïng cuï theå naøo ñoù. Frames coù lieân heä chaët cheõ ñeán khaùi nieäm höôùng ñoái töôïng neân noù thöôøng ñöôïc söû duïng trong caùc ngoân ngöõ laäp trình höôùng ñoái töôïng phuïc vuï cho trí tueä nhaân taïo vaø caùc heä chuyeân gia. III. Phương pháp biểu diễn tri thức (tt) Frame MAÙY Baùn kính xy-lanh : 3.19 inch Tyû leä neùn : 3.4 inche Heä thoáng xaêng : TurboCharger Maõ löïc : 140 hp Torque : 160ft/LB III. Phương pháp biểu diễn tri thức (tt) III. Phương pháp biểu diễn tri thức (tt) Moät ví duï bieåu dieãn caùc ñoái töôïng hình hoïc baèng frame Caùc kieåu döõ lieäu cô baûn : Area : numeric; // dieän tích Height : numeric; //chieàu cao Perimeter : numberic; //chu vi Side : numeric; //caïnh Diagonal : numeric; //ñöôøng cheùo Radius : numeric; //baùn kính Angle : numeric; //goùc Diameter : numeric; //ñöôøng kính pi : (val:numeric = 3.14159) III. Phương pháp biểu diễn tri thức (tt) Frame : CIRCLE (hình troøn) r : radius; s : area; p : perimeter; d : diameter; d = 2  r; s = pi  r2; p = 2  pi  r; III. Phương pháp biểu diễn tri thức (tt) Frame RECTANGLE (hình chöõ nhaät) b1 : side; b2 : side; s : area; p : perimeter; s = b1  b2; p = 2  (b1+b2); d2 = b12 + b22; Frame SQUARE (hình vuoâng) Laø : RECTANGLE b1 = b2; III. Phương pháp biểu diễn tri thức (tt) Frame TRIANGLE a : side; b : side; c : side; aBc : angle; //goùc ñoái dieän caïnh B. cAb : angle; //goùc ñoái dieän caïnh C. bCa : angle; //goùc ñoái dieän caïnh A. s = (p = (a+b+c)/2) III. Phương pháp biểu diễn tri thức (tt) III. Phương pháp biểu diễn tri thức (tt) Vaän duïng ñeå giaûi caùc baøi toaùn hình hoïc, chaúng haïn baøi toaùn tính dieän tích. Ví duï: cho hình vuoâng k vaø voøng troøn noäi tieáp c, bieát caïnh hình vuoâng coù chieàu daøi laø x, haõy vieát chöông trình ñeå tính dieän tích phaàn toâ ñen. III. Phương pháp biểu diễn tri thức (tt) VAR x, s : numeric; k : square; c : circle; BEGIN 	; 	k.b1 := x;	{ thieát “hình vuoâng coù caïnh vôùi chieàu daøi x”} 	c.d := x;	{ ñaëc taû giaû thieát “hình troøn noäi tieáp”} 	s := k.s – c.s; {tính dieän tích baèng caùch laáy dieän tích hình 	vuoâng tröø cho dieän tích hình troøn} END. III. Phương pháp biểu diễn tri thức (tt) Tóm tắt chương 1: Tiếp nhận, biểu diễn tri thức Tiếp nhận tri thức & phương pháp Biểu diễn tri thức & phương pháp