Trình bày nội dung và yêu cầu an toàn và bảo mật thông tin trong hệ thống trao đổi thông tin

i ĐẠI HỌC THÁI NGUYÊN TRƢỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN VÀ TRUYỀN THÔNG Trần Thị Dƣơng NGHIÊN CỨUHỆ CHUYÊN GIA VÀ MạNG NGữ NGHĨA Để GIảI BÀI TOÁN TAM GIÁC LƢợNG Chuyên ngành: KHOA HỌC MÁY TÍNH Mã số chuyên ngành: 60 48 0101 TÓM TẮT LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH NGƢỜI HƢỚNG DẪN KHOA HỌC PGS.TS Ngô Quốc Tạo Thái Nguyên - 2015 Số hoá Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn download by : skknchat@gmail.com ii LỜI CAM ĐOAN Tôi xin cam đoan, kết luận văn hoàn toàn kết tự thân tơi tìm hiểu, nghiên cứu dƣới hƣớng dẫn thầy giáo PGS.TS Ngô Quốc Tạo Tơi hồn tồn chịu trách nhiệm tính pháp lý trình nghiên cứu khoa học luận văn Thái Nguyên, tháng năm 2015 Học viên Trần Thị Dƣơng Số hoá Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn download by : skknchat@gmail.com iii LỜI CẢM ƠN Em xin gửi lời cảm ơn chân thành đến thầy giáo PGS.TS Ngô Quốc Tạo định hƣớng nhiệt tình hƣớng dẫn, giúp đỡ em trình làm luận văn Em xin gửi lời biết ơn sâu sắc đến quý thầy cô giáo trƣờng Đại học Công nghệ thông tin truyền thông, thầy giáo, cô giáo Viện công nghệ thông tin Hà Nội truyền đạt kiến thức kinh nghiệm quý báu cho chúng em thời gian học tập Xin chân thành cảm ơn bạn bè, đồng nghiệp tổ Tin – Công Nghệ trƣờng THPT Kinh Môn 2, bạn học viên lớp cao học CK12B, ngƣời thân gia đình động viên, chia sẻ, tạo điều kiện giúp đỡ suốt trình học tập làm luận văn Thái Nguyên, tháng năm 2015 Học viên Trần Thị Dƣơng Số hoá Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn download by : skknchat@gmail.com iv MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN iii MỤC LỤC iv DANH MỤC HÌNH vi MỞ ĐẦU - Chƣơng I : TỔNG QUAN VỀ HỆ CHUYÊN GIA VÀ MẠNG NGỮ NGHĨA- 1.1 Hệ chuyên gia - 1.1.1 Hệ chuyên gia ? - 1.1.2 Đặc trƣng ƣu điểm hệ chuyên gia - 1.1.3 Các lĩnh vực ứng dụng hệ chuyên gia - 1.1.4 Cấu trúc hệ chuyên gia - 1.1.5 Một số mơ hình kiến trúc hệ chuyên gia - 1.2 Mạng ngữ nghĩa - 1.2.1 Đặc điểm - 1.2.2 Ƣu nhƣợc điểm - 1.2.3 Cách biểu diễn tri thức - 10 CHƢƠNG II: BIỂU DIỄN TRI THỨC - 12 2.1 Giới thiệu tri thức - 12 2.2 Biểu diễn tri thức luật dẫn(luật sinh) - 13 2.2.1 Khái niệm - 13 2.2.2 Cơ chế suy luận luật sinh - 14 2.2.3 Vấn đề tối ƣu luật - 15 2.2.4 Biểu diễn tri thức Frame - 17 2.2.5 Tính kế thừa - 19 2.2.6 Biểu diễn tri thức Script - 20 2.2.7 Mô hình COKB - 21 2.3 Cơ sở tri thức - 29 2.3.1 Phân biệt tri thức liệu - 29 - 2.3.2 Phân loại tri thức - 30 - Số hoá Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn download by : skknchat@gmail.com v 2.3.3 Các cấp độ tri thức - 32 2.4 Mô tơ suy diễn - 33 2.4.1 Cơ chế suy diễn - 33 2.4.2 Cơ chế điều khiển - 34 2.5 Phân loại tri thức - 38 2.6 Các phƣơng pháp biểu diễn tri thức - 39 2.6.1 Biểu diễn tri thức nhờ logic - 39 2.6.2 Bộ ba đối tƣợng - Thuộc tính – Giá trị - 41 2.6.3 Các Luật dẫn - 42 2.6.4 Biểu diễn tri thức Frame - 44 Chƣơng III: ỨNG DỤNG GIẢI CÁC BÀI TOÁN TAM GIÁC - 46 3.1 Giới thiệu toán - 46 3.2 Xây dựng tốn hình học - 46 3.3 Bài tốn hình tam giác: - 46 3.3.1 Tam giác - 46 3.3.2 Tam giác cân - 50 3.3.3 Tam giác vuông - 51 3.3.4 Tam giác vuông cân - 51 3.3.5 Tam giác - 52 3.4 Các luật biến đổi - 53 3.4.1.Một số luật liên quan đến tam giác : - 53 3.4.2 Các luật dẫn: - 54 3.5 Biểu diễn thông tin mạng ngữ nghĩa: - 55 3.6 Ứng dụng : - 55 3.7 Demo chƣơng trình: - 57 KẾT LUẬN - 58 TÀI LIỆU THAM KHẢO - 59 - Số hoá Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn download by : skknchat@gmail.com vi DANH MỤC HÌNH Hình 1.1: Hoạt động hệ chuyên gia dựa tri thức - Hình 1.2: Cấu trúc hệ chuyên gia - Hình 1.3: Mơ hình J.L.Ermin .- Hình 1.4 :Mơ hình C.Ernest .- Hình 1.5: Mơ hình E.V.Popov - Hình 1.6: Ví dụ mạng ngữ nghĩa tiêu biểu - 10 Hình 1.7: Ví dụ mạng ngữ nghĩa kế thừa - 11 Hình 2.1: Cấu trúc Frame xe - 18 Hình 2.2: Quan hệ đối tƣợng hình học phẳng - 20 Hình 2.3: Sơ đồ tổ chức theo mơ hình COKB - 25 Hình 2.4: Sơ đồ biểu diễn tri thức theo ba (O-A-V) - 41 Hình 3.1: Mạng ngữ nghĩa cho tốn hình tam giác - 55 - Số hoá Trung tâm Học liệu – ĐHTN http://www.lrc.tnu.edu.vn download by : skknchat@gmail.com -1MỞ ĐẦU Đặt vấn đề Trong nghiệp cơng nghiệp hố, đại hố đất nƣớc, ngành cơng nghệ thơng tin lĩnh vực có đƣợc bƣớc tiến lớn đạt đƣợc thành tựu đáng kể Cùng với phát triển ngành công nghệ thông tin, vấn đề phức tạp thực tế đƣợc đơn giản nhiều Nhờ mà q trình phát triển đƣợc thúc đẩy nhanh chóng Vai trị của cơng nghệ thơng tin thời buổi cơng nghiệp hố, đại hố đất nƣớc khơng thể phủ nhận, nhiên việc ứng dụng công nghệ thông tin vào lĩnh vực ứng dụng nhƣ để khai thác hết đƣợc mạnh ngành công nghệ thông tin câu hỏi lớn Việc ứng dụng tri thức nhân loại vào ngành cơng nghệ thơng tin để góp phần đƣa lời giải cho nhiều vấn đề khó đƣợc xem giải pháp cần thiết có ý nghĩa Các tri thức nhân loại đƣợc xây dựng thành hệ thống hoàn chỉnh ứng dụng nhiều ngành khác dƣới hộ trợ công nghệ thông tin Việc chuyển đổi tri thức nhân loại thành hệ thống hay đƣợc gọi biểu diễn tri thức đƣợc thực hiện, tri thức đƣợc ứng dụng rộng rãi trình phát triển xã hội Biểu diễn tri thức đóng vai trị quan trọng việc khảng định khả giải vấn đề hệ sở tri thức Dựa vào cách thức ngƣời giải vấn đề, nhà nghiên cứu xây dựng kỹ thuật biểu diễn dạng tri thức khác máy tính Mục tiêu tiểu luận nhằm tìm hiểu phát triển kỹ thuật biểu diễn tri thức dựa tri thức theo logic, luật dẫn, mạng ngữ nghĩa, Frame, đồng thời trình bày việc ứng dụng giải toán tam giác mạng ngữ nghĩa Trong luận văn này, em nghiên cứu đƣa minh hoạ cho việc biểu diễn tri thức công nghệ thông tin ứng dụng minh hoạ cho trình biểu diễn tri thức Cho dù phạm vi ứng dụng hệ thống hạn chế, nhƣng sở để phát triển hệ thống chuyên gia Và luận văn này, em muốn gửi đến ứng dụng khác, ứng dụng mạng ngữ nghĩa để giải toán tam giác lƣợng chƣơng trình phổ thơng download by : skknchat@gmail.com -22 Đối tƣợng phạm vi nghiên cứu: Luận văn tập trung nghiên cứu phƣơng pháp giải toán lƣợng giác Để giải tốn hình học tốn sở, mà từ ngƣời xây dựng nhiều ứng dụng nhƣ: Giải toán tam giác lƣơng, hệ thức lƣợng tam giác… Hƣớng nghiên cứu đề tài: - Nắm kiến thức số toán tam giác lƣợng để sử dụng số giải thuật - Tìm hiểu lịch sử phát triển sở tri thức giải toán tam giác lƣợng - Tìm hiểu nắm đƣợc khái niệm tam giác lƣợng ứng dụng thực tế Nội dung nghiên cứu: Chương I: Tổng quan hệ chuyên gia mạng ngữ nghĩa Ở chƣơng đề tài vào tìm hiểu khái niệm hệ chuyên gia mạng ngữ nghĩa Các ƣu nhƣợc điểm mạng ngữ nghĩa Chương II: Biểu diễn tri thức Trong chƣơng tìm hiểu sâu luật cách biểu diễn tri thức Chương III: Ứng dung mạng ngữ nghĩa để giải toán tam giác lượng Chƣơng đƣa mục đích, yêu cầu nhƣ mơ tả chƣơng trình thực nghiệm đƣợc xây dựng Phƣơng pháp nghiên cứu: - Nghiên cứu tài liệu viết tổng quan - Phƣơng pháp phân tích, đánh giá tốn - Nghiên cứu triển khai thử nghiệm hệ thống download by : skknchat@gmail.com -3Chƣơng I : TỔNG QUAN VỀ HỆ CHUYÊN GIA VÀ MẠNG NGỮ NGHĨA 1.1 Hệ chuyên gia 1.1.1 Hệ chuyên gia ? Hệ chuyên gia hệ thống chƣơng trình máy tính chứa thơng tin, tri thức trình suy luận lĩnh vực cụ thể để giải vấn đề khó hóc búa địi hỏi tinh thơng đầy đủ chuyên gia ngƣời giải pháp họ Nói cách khác hệ chuyên gia dựa tri thức chuyên gia ngƣời giỏi lĩnh vực quan tâm  Tri thức hệ chuyên gia bao gồm kiện luật Các kiện đƣợc cấu thành số nhiều thông tin, đƣợc thu thập rộng rãi, cơng khai đƣợc đồng tình chuyên gia ngƣời lĩnh vực Các luật biểu thị đốn chun mơn chuyên gia lĩnh vực  Mức độ hiệu hệ chuyên gia phụ thuộc vào kích thƣớc chất lƣợng sở tri thức mà hệ có đƣợc  Mỗi hệ chuyên gia đặc trƣng cho lĩnh vực vấn đề đó, nhƣ y học, tài chính, khoa học hay cơng nghệ, vv…, mà cho lĩnh vực vấn đề  Ví dụ : hệ chuyên gia lĩnh vực y học để phát bệnh lây nhiễm có nhiều tri thức số triệu chứng lây bệnh, lĩnh vực tri thức y học bao gồm bệnh, triệu chứng chữa trị  Hoạt động hệ chuyên gia dựa tri thức đƣợc minh họa nhƣ sau: Ngƣời sử dụng Hệ thống giao tiếp Cơ sở tri thức Máy suy diễn Hình 1.1: Hoạt động hệ chuyên gia dựa tri thức download by : skknchat@gmail.com -41.1.2 Đặc trưng ưu điểm hệ chuyên gia Có đặc trƣng bản:  Hiệu cao: Khả trả lời với mức độ tinh thông cao so với chuyên gia (ngƣời) lĩnh vực  Thời gian trả lời thỏa đáng: Thời gian trả lời hợp lý, nhanh so với chuyên gia (ngƣời) để đến định  Độ tin cậy cao: Không thể xảy cố giảm sút độ tin cậy sử dụng  Dễ hiểu: Hệ chuyên gia giải thích bƣớc suy luận cách dễ hiểu quán Những ƣu điểm hệ chuyên gia : Phổ cập: Là sản phẩm chuyên gia, đƣợc phát triển không ngừng với hiệu sử dụng phủ nhận Giảm giá thành Giảm rủi ro: Giúp ngƣời tránh đƣợc rủi ro mơi trƣờng nguy hiểm Tính thƣờng trực: Bất kể lúc khai thác sử dụng Trong ngƣời mệt mỏi, nghỉ ngơi hay vắng mặt Đa lĩnh vực: Chuyên gia nhiều lĩnh vực khác đƣợc khai thác đồng thời thời gian sử dụng Độ tin cậy Khả giảng giải: Câu trả lời với mức độ tinh thông đƣợc giảng giải rõ ràng, chi tiết, dễ hiểu Khả trả lời nhanh Tính ổn định, suy luận có lý đầy đủ lúc nơi Trợ giúp thơng minh nhƣ ngƣời hƣớng dẫn Có thể truy cập nhƣ sở liệu thông minh 1.1.3 Các lĩnh vực ứng dụng hệ chuyên gia Tính đến thời điểm này, hàng trăm hệ chuyên gia đƣợc xây dựng báo cáo thƣờng xuyên tạp chí, sách báo hội thảo khoa học Ngồi cịn hệ download by : skknchat@gmail.com - 45 - (text, integer, real, pointer…) - (tên, giá trị, thủ tục, pointer) Cấu trúc Frame cho ta “khung liệu” để khoanh vùng đối tƣợng, đặc trƣng quan trọng biểu diễn nhờ Frame khả thừa kế thông tin slot có tên đối tƣợng bậc Khi tốn trở nên phức tạp việc mơ tả điều khiển Frame phức tạp nhiều phƣơng pháp biểu diễn thủ tục khác download by : skknchat@gmail.com - 46 - Chƣơng III: ỨNG DỤNG GIẢI CÁC BÀI TOÁN TAM GIÁC 3.1 Giới thiệu tốn Trong chƣơng trình phổ thơng có hai dạng tốn hay gặp tốn hình học toán đại số Với hai dạng toán này, việc biểu diễn mạng ngữ nghĩa có tác động tích cực đến ngƣời học Với tính trực quan mạng ngữ nghĩa, ngƣời học dễ dàng tiếp thu hình thành tri thức nhanh chóng Có nhiều dạng tốn hình học đại số chƣơng trình phổ thơng, nhƣng hạn chế thời gian nên xin giới thiệu dạng bản: Mạng ngữ nghĩa cho tốn hình học phẳng 3.2 Xây dựng tốn hình học Các tốn hình học phẳng gồm dạng tốn nhƣ giải tốn hình tam giác, hình vng, hình thoi, Các tốn đƣợc hình thành dựa tính chất thuộc tính hình học phẳng Do xác định đƣợc đối tƣợng mạng ngữ nghĩa toán đỉnh, cạnh Và mối liên hệ đối tƣợng tính chất tốn hình học 3.3 Bài tốn hình tam giác: 3.3.1 Tam giác Về mặt tính tốn, xem tam giác mạng tính tốn (hay đối tƣợng tính tốn) bao gồm biến ghi nhận giá trị yếu tố tam giác, quan hệ công thức thể mối liên hệ tính tốn yếu tố Tập biến tam giác gồm : download by : skknchat@gmail.com - 47 - A α b c hc hb δ C đƣờng cao β a B đƣờng trung tuyến - a, b, c : cạnh tam giác - , ,  : góc đối diện với cạnh tƣơng ứng tam giác - ha, hb, hc : đƣờng cao tƣơng ứng với cạnh tam giác - ma, mb, mc : đƣờng trung tuyến tƣơng ứng với cạnh tam giác - pa, pb, pc : đƣờng phân giác tƣơng ứng với cạnh tam giác - S : diện tích tam giác - p : nửa chu vi tam giác - R : bán kính đƣờng trịn ngoại tiếp tam giác - r : bán kính đƣờng trịn nội tiếp tam giác - ra, rb, rc : bán kính đƣờng trịn bàng tiếp tam giác Các hệ thức yếu tố tam giác : - Liên hệ góc : download by : skknchat@gmail.com - 48 f1 : A+ B + C =  (rad ian) - Định lý cosin : f2 : a2 = b2 + c2 - 2.b.c.cosA f3 : b2 = a2 + c2 - 2.a.c.cosB f4 : c2 = a2 + b2 - 2.a.b.cosC - Định lý Sin : f5 : a b  sin sin f6 : c b  sin sin f7 : a c  sin sin f8 : a  2R sin f9 : b  2R sin f10 : c  2R sin f11 : Liên hệ nửa chu vi cạnh : 2.p = a + b + c - Các cơng thức tính diện tích : f12 : S = a.ha/2 f13 : S = b.hb/2 f14 : S = c.hc/2 f15 : S = p.r f16 : S= f17 : S = b.c.sinA / f18 : S = c.a.sinB/ f19 : S = a.b.sinC/ p(p  a)(p  b)(p  c) - Các cơng thức tính đƣờng cao theo cạnh góc : download by : skknchat@gmail.com - 49 f20 : = b.sinC f21 : = c.sinB f22 : hb = a.sinC f23 : hb = c.sinA f24 : hc = a.sinB f25 : hc = b.sinA - Các công thức tính đƣờng trung tuyến : f26 : 4.ma2 = 2.b2 + 2.c2 - a2 f27 : 4.mb2 = 2.a2 + 2.c2 - b2 f28 : 4.mc2 = 2.a2 + 2.b2 - c2 - Các cơng thức tính đƣờng phân giác : f29 : pa = b.c.p.(p  a) bc f30 : pb = a.c.p.(p  b) ac f31 : pc = b.a.p.(p  c) ba - Một số công thức khác liên quan đến bán kính đƣờng trịn ngoại tiếp, đƣờng trịn nội tiếp, đƣờng tròn bàng tiếp : f32 : R= a.b.c 4.S f33 : = S p-a f34 : rb = S p-b f35 : rc = S p-c f36 : 4.R = + rb + rc - r Ghi : Trong cơng thức trên, có số cơng thức đƣợc suy từ cơng thức khác Do ta bỏ bớt số cơng thức Hơn nữa, download by : skknchat@gmail.com - 50 nêu lên thuật tốn để làm tối thiểu hóa cơng thức (hay quan hệ) theo thứ tự ƣu tiên Tuy nhiên, nhớ đƣợc trực tiếp nhiều cơng thức việc tính tốn có lợi 3.3.2 Tam giác cân Tam giác cân (không làm tính tổng quát, ta giả sử cân A) tam giác có tính chất sau đây: g1 : b=c g2 : B=C g3 : hb = h c g4 : mb = mc g5 : pb = p c g6 : rb = r c g7 : ma = g8 : pa = h a Ngoài ra, số quan hệ tam giác đƣợc viết lại nhƣ sau: f1 : A + 2B =  (radian) f2 : a2 = 2b2.(1- cosA) f3 : a = 2.b.cosB f4 : a = 2.c.cosC f11 : 2.p = a + 2b f17 : S = b2.sinA / f26 : 4.ma2 = 4.b2 - a2 f27 : 4.mb2 = 2.a2 + b2 f28 : 4.mc2 = 2.a2 + c2 f29 : pa = f32 : a b2 R= 4.S f36 : 4.R = + 2.rb - r p.(p  a) download by : skknchat@gmail.com - 51 3.3.3 Tam giác vuông Không làm tính tổng qt, ta giả sử tam giác vng có cạnh huyền a Nhƣ thế, ngồi hệ thức biết tam giác nói chung ta cịn có : g1 : A = /2 ( xác định) Ngồi số quan hệ đƣợc viết lại nhƣ sau: f1 : B+ C = /2 (radian) f2 : a2 = b + c f3 : c = a.cosB f4 : b = a.cosC f5 : b = a.sinB f7 : c = a.sinC f8 : a = 2.R f17 : S = b.c/2 f23 : hb = c f25 : hc = b f26 : 2.ma = a f27 : 4.mb2 = b2 + 4.c2 f28 : 4.mc2 = c2 + 4.b2 (định lý Pitago) 3.3.4 Tam giác vuông cân Tam giác vuông cân (với cạnh đáy tam giác cân a) tam giác có : g1 : b = c, g2 : A = /2 Ngồi số (nhóm) quan hệ tam giác đƣợc thay nhóm quan hệ khác có hiệu việc sử dụng Các quan hệ từ f1 đến f10 đƣợc thay quan hệ sau : f1 : B = /4 (radian) f2 : C = /4 (radian) f3 : a = b download by : skknchat@gmail.com - 52 f4 : a = c f5 : a = 2.R Các quan hệ từ f11 đến f25 đƣợc thay quan hệ sau : f11 : 2.p = a(1+ ) f12 : = a/2 f13 : hb = c f14 : hc = b f15 : S = a2 /4 f16 : S = b2 /2 f17 : S = c2 /2 f18 : S = p.r Các quan hệ từ f26 đến f28 đƣợc thay quan hệ sau : f26 : ma = a/2 f27 : 4.mb2 = 5a2 /2 f28 : mc = mb Quan hệ f29 đến f31 đƣợc thay bởi: f29 : pa = a/2 f30 : pb = a f31 : pc = p b (  1) 3.3.5 Tam giác Tam giác tam giác có : g1 : a=b g2 : b=c Tất quan hệ từ f1 đến f36 đƣợc thay quan hệ sau : f1 : A = /3 (radian) f2 : B = /3 (radian) f3 : C = /3 (radian) download by : skknchat@gmail.com - 53 - f4 : R = a 3 f5 : p = 3a f6 : a2 S = f7 : = f8 : hb = h a f9 : hc = h a f10 : ma = f11 : mb = ma f12 : mc = ma f13 : pa = f14 : pb = p a f15 : pc = p a f16 : r = f17 : = f18 : rb = r a f19 : rc = r a a a a a a 3.4 Các luật biến đổi Giữa đối tƣợng hình học trình bày có số luật biến đổi mà ta áp dụng q trình tính tốn 3.4.1.Một số luật liên quan đến tam giác : L1 : Tam giác có hai cạnh tam giác cân L2 : Tam giác có góc tam giác cân L3 : Tam giác có đƣờng cao trung tuyến tƣơng ứng tam giác cân download by : skknchat@gmail.com - 54 L4 : Tam giác có đƣờng cao đƣờng phân giác tƣơng ứng tam giác cân L5 : Tam giác có trung tuyến đƣờng phân giác tƣơng ứng tam giác cân L6 : Tam giác có góc vng tam giác vng L7 : Tam giác có bình phƣơng cạnh tổng bình phƣơng hai cạnh tam giác vuông L8 : Tam giác có góc vng hai cạnh kề góc vng tam giác vuông cân L9 : Tam giác vng có hai cạnh kề góc vng tam giác vuông cân L10 : Tam giác cân góc đỉnh góc vng tam giác vng cân L11 : Tam giác có cạnh tam giác L12 : Tam giác có góc tam giác L13 : Tam giác cân có góc ( / 3) tam giác 3.4.2 Các luật dẫn: 3.4.2.1 Các luật tam giác thường: R1: {a,b,c} > {P} R2: {a,b,c,P} > {S} R3: {A,B} > {C } R4 :{a,S} > {ha} R5: {a,b,c} > {A} R6: {b,c, A} > {a} R7: {a, A} > {R} 3.4.2.2 Các luật tam giác vuông R1: {B} > {C} R2: {a,b} > {B} R3: {b,c} > {a} R4: {a} > {R} R5: (Nếu A= /2 b = c -> B = C =/4) download by : skknchat@gmail.com - 55 3.4.2.3 Các luật tam giác cân R1: {A} > {B} R2: {C} > {B} R3: {b, A} > {a} R4: {c, A} > {a} R5: (Nếu B= C b = c, b = c B =/3 A= C =/3 ) 3.4.2.4 Tam giác R1: {a} > {S} R2: {a} > {P} 3.5 Biểu diễn thơng tin mạng ngữ nghĩa: Hình 3.1: Mạng ngữ nghĩa cho tốn hình tam giác Trong mạng ngữ nghĩa trên, trịn biểu thị cho đối tƣợng tốn vng thể mối quan hệ đối tƣợng 3.6 Ứng dụng : Nhƣ nói trên, xét tam giác bao gồm 22 yếu tố.Giữa yếu tố tam giác có quan hệ cho phép ta tính đƣợc yếu tố cần thiết download by : skknchat@gmail.com - 56 tam giác từ giả thiết biết số yếu tố tam giác.Nhờ vào lý thuyết mạng tính tốn ta cài đặt chƣơng trình để giải tam giác Khi ta cho biết số yếu tố tam giác yêu cầu tính số yếu tố khác, chƣơng trình cho lời giải (nếu toán giải đƣợc).Trong trƣờng hợp tốn khơng giải đƣợc chƣơng trình thơng báo để ta cho thêm kiện điều chỉnh lại toán Bài toán Trong tam giác ABC giả sử biết cạnh c, góc A, góc B Hãy tính đƣờng cao hc Nhƣ ta có : Giả thiết : A,B,c Tính biến : hc a> Thuật giải suy diễn tiến: Tính góc C : A, B  C Tính hb : c, A  hb Tính : c,B  Tính a : c, C, A a Tính b : c, C, B b Tính P : a,b,c  P Tính S: a,b,c,P  S Tính hc : a, B hc b> Thuật giải suy diễn lùi: Bƣớc 1: Tính hc : a, B hc Bƣớc : Để tính đƣợc hc ta cần tìm a Ta dùng luật : A,C, c  a Bƣớc 3: Để tính đƣợc a, ta cần tính đƣợc C Ta dùng luật : A, B  C Tới đủ kiện để sinh C, ta thay C ngƣợc lại biểu thức trƣớc, sau tiếp tục thay vào cơng thức phía trƣớc tìm đƣợc hc download by : skknchat@gmail.com - 57 3.7 Demo chƣơng trình: Suy diễn tiến Suy diễn lùi Thiếu giả thiết download by : skknchat@gmail.com - 58 KẾT LUẬN Biểu diễn tri thức tính tốn dƣới dạng đối tƣợng tự nhiên gần gũi với cách nhìn nghĩ ngƣời giải vấn đề tính tốn có liên quan đến số khái niệm đối tƣợng, ứng dụng đƣợc nêu mạng tính tốn áp dụng việc biểu diễn giải số tốn phản ứng hóa học ta xem tri thức nhƣ mạng mạng tính toán mà phản ứng số quan hệ mạng Mạng ngữ nghĩa dạng công cụ dùng để biểu diễn tri thức Với tính chất loại cơng cụ này, mạng ngữ nghĩa thích hợp cho việc biểu diễn tri thức dạng dự đốn tính tốn dựa cở sở thơng tin cố định Mạng ngữ nghĩa thích hợp cho việc biểu diễn hệ chuyên gia Hệ thống chuyên gia đƣợc xây dựng sở thu thập nhiều thông tốt Mạng ngữ nghĩa thích hợp cho việc thêm thơng tin vào mạng Với hệ chun gia việc thêm thơng tin vào mạng lƣới thơng tin có cần thiết, thơng tin nhiều chi tiết hệ chuyên gia có giá trị Ngồi mạng ngữ nghĩa cịn ứng dụng nhiều lĩnh vực khác nhƣ xây dựng mạng giao thông, luồng giao thông Việc biểu diễn tri thức mạng ngữ nghĩa thuận tiện cho việc biểu diễn thơng tin máy tính Trong xu hƣớng công phát triển xã hội, việc biểu diễn tri thức nhân loại phƣơng tiện, cơng cụ (nhất máy tính) vơ cần thiết Và để thực việc này, ứng dụng mạng ngữ nghĩa phƣơng tiện biểu diễn tri thức cần thiết download by : skknchat@gmail.com - 59 TÀI LIỆU THAM KHẢO [1] Bài giảng – Hệ chuyên gia Tác giả: GS.TS Vũ Đức Thi Năm 2009 [2] GS TSKH Hoàng Kiếm, TS Đỗ Phúc, TS Đỗ Văn Nhơn Giáo trình hệ sở tri thức Nhà xuất Đại Học Quốc Gia TP Hồ Chí Minh, 2009 [3] GS.TSKH Hoàng Kiếm, Ths Đinh Nguyễn Anh Dũng Giáo trình Trí Tuệ Nhân Tạo Đại học cơng nghệ thông tin, 2007 [4] PGS.TS Đỗ Văn Nhơn, giảng Biểu diễn tri thức ứng dụng [5] Dragan Gasevic, Dragan Djuric, Vladan Devedzic Model Driven Architecture and Ontology Development [6] Các website tham khảo - http://en.wikipedia.org/wiki/Semantic_network - http://en.wikipedia.org/wiki/Spreading_activation - http://tailieu.vn/xem-tai-lieu/chuong-3-cac-phuong-phap-bieu-dien-tri-thuc-vaxu-ly-tri-thuc.752159.html download by : skknchat@gmail.com ... quan hệ đƣợc xác định tên quan hệ danh sách loại đối tƣợng quan hệ Đối với quan hệ hay ngơi quan hệ có tính chất nhƣ tính phản xạ, tính phản xứng, tính đối xứng tính bắc cầu Cấu trúc quan hệ: ... Rời Rạc”: o Định nghĩa quan hệ ngơi o Các tính chất quan hệ R tập X: phản xạ, đối xứng, phản xứng, bắc cầu o Quan hệ thứ tự o Quan hệ tƣơng đƣơng o Cách biểu diễn quan hệ R tập X: Biểu diễn dựa... Các Luật dẫn Trong hệ thống dựa luật ngƣời ta thu thập tri thức lĩnh vực tập lƣu chúng sở tri thức hệ thống Hệ thống dùng luật với thông tin nhớ để giải toán việc xử lý luật hệ thống dựa luật