ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC CÔNG NGHỆ THÔNG TIN BÁO CÁO THU HOẠCH MÔN HỌC BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG ĐỀ TÀI: MẠNG NGỮ NGHĨA CHO CƠ CHẾ SUY DIỄN GIẢI BÀI TOÁN TAM GIÁC GIẢNG VIÊN : PGS.TS ĐỖ VĂN NHƠN HỌC VIÊN : ĐINH ĐỨC KHOA MÃ SỐ : CH11002003 LỚP : CAO HỌC K6 HÀ NỘI - 12/2012 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác MỤC LỤC PHẦN I: MỞ ĐẦU Cùng vời nhiều ngành khoa học khác. Khoa học máy tính và Công nghệ thông tin đã góp phần không nhỏ vào sự tiến bộ của toàn xã hội. Trí tuệ nhân tạo là một lĩnh vực khoa học máy tính nhằm nghiên cứu phát triển các hệ thống máy tính ngày càng thông minh hơn; hỗ trợ tốt hơn cho hoạt động xử lý thông tin và xử lý tri thức, tính toán và điều khiển, v.v Trí tuệ nhân tạo đã xâm nhập vào nhiều mặt đời sống xã hội và đã trở thành phương pháp rất hiệu lực để giải quyết nhiều bài toán phức tạp trong thực tế. Sự khác biệt giữa các hệ cơ sở tri thức và các chương trình truyền thống nằm ở cấu trúc. Trong các chương trình truyền thống, cách thức xử lý hành vi của chương trình đã được ấn định sẵn qua các dòng lệnh của chương trình dựa trên một thuật giải đã định sẵn. Trong các hệ cơ sở tri thức, có hai chức năng tách biệt nhau, trường hợp đơn giản có hai khối; khối tri thức hay còn được gọi là cơ sở tri thức và khối điều khiển hay còn được gọi là động cơ suy diễn. Với các hệ thống phức tạp, bản thân động cơ suy diễn cũng có thể là một hệ cơ sở tri thức chứa ccas siêu tri thức (tri thức về cách sử dụng các tri thức khác). Việc tách biệt tri thức khỏi các cơ chế điều khiển giúp ta dễ dàng thêm vào các tri thức mới trong tiến trình phát triển của một hệ thống. Đây là điểm tương tự của động cơ suy diễn trong một hệ cơ sở tri thức và não bộ con người (điều khiển xử lý), là không đổi cho dù hành vi của cá nhân có thay đổi theo kinh nghiệm và kiến thức mới nhận được. CH1102003 - ĐINH ĐỨC KHOA Trang 2 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Sự phát triển vượt bậc trong lĩnh vực khoa học và công nghệ đặc biệt trong khoa học trí tuệ nhân tạo, để xây dựng các hệ chuyên gia và các hệ giải bài toán dựa trên tri thức người ta phải thiết kế một cơ sở tri thức cho hệ thống và một động cơ suy diễn để giải quyết vấn đề dựa trên tri thức, đặt biệt là các hệ giải toán dựa trên tri thức vấn đề làm sao để thiết kế mô hình nhằm biểu diễn cơ sở tri thức thể hiện đầy đủ miền tri thức và được mô tả đầy đủ các khía cạnh của tri thức trong lĩnh vực nó cần biểu diễn, mô hình này còn hướng đến việc tạo điều kiện thuận lợi cho việc thiết kế, cài đặt để xây dựng một công cụ suy diễn dễ dàng truy cập phục vụ tốt quá trình suy luận khai thác ứng dụng . Vì thế một hệ giải bài toán dựa trên tri thức phải là một hệ giải toán thông minh có thể giải được các dạng bài toán tổng quát trong một miền tri thức nào đó, trong đó có một cơ sở tri thức và một bộ phận thực hiện suy luận giải bài toán trong phạm vi tri thức của hệ thống [1]. Trong khoa học về trí tuệ nhân tạo có nhiều phương pháp để biểu diễn tri thức và phương pháp cho hiệu quả cao trong viêc biểu diễn và suy luận dựa trên các bài toán tổng quát, mỗi phương pháp điều có ưu, nhược điểm riêng của từng phương pháp trong phần trình bày này người viết đề xuất một mô hình biểu diễn tri thức gọi là mạng ngữ nghĩa kết hợp với một số thuật toán được ứng dụng trong giải “bài toán tam giác” của chương trình phổ thông. CH1102003 - ĐINH ĐỨC KHOA Trang 3 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác PHẦN II: TỔNG QUAN VỀ BIỂU DIỄN TRI THỨC Khái niệm biểu diễn tri thức và kỹ nghệ xử lý tri thức được đề cập nhiều trong khoa học trí tuệ nhân tạo, nhưng chỉ từ khi xuất hiện và ứng dụng thực thế các hệ chuyên gia, chúng mới có được các cơ sở lý luận và thực tiển vững chắc. Nói tổng quát biểu diễn tri thức là thể hiện các mô tả về thế giới bên ngoài dưới dạng sao cho các máy thông minh có thể đưa tới những kết luận về môi trường xung quanh nó, trên cơ sở một cách hình thức các mô tả này, còn kỹ nghệ tri thức bao gồm trong nó các kỹ thuật cấu trúc tri thức, suy diễn, quản trị tri thức và học tự động. Vào những năm đầu thập kỷ 80 sự phát triển của khoa học tri thức mà các nhà nghiên cứu đã đúc kết lại những điểm khá chung nhau và các phương pháp biểu diễn tri thức đươc quan tâm chủ yếu là: - Biểu diễn nhờ lôgic hình thức - Biểu diễn nhờ hệ sản xuất - Biểu diễn nhờ mạng ngữ nghĩa - Biểu diễn nhờ các frame. Trong các phương pháp biểu diễn này là tạo ra cơ sở tri thức tường minh trong các hệ thống khoa học trí tuệ nhân tạo dựa trên tri thức, điều đó phải đòi hỏi xây dựng các ngôn ngữ khoa học trí tuệ biểu diễn tri thức, thêm vào đó các ngôn ngữ này phải cung cấp các công cụ truy nhập tới các sự kiện không tường minh có trong cơ sở tri thức, nghĩa là phải bao gồm trong nó cơ chế suy diễn tự động. Như vậy trong bất kỳ một hệ thống biểu diễn tri thức nào, bao giờ cũng phải chứa ba yếu tố: Ngôn ngữ biểu diễn, cơ chế suy dẫn và công cụ lập cơ sở tri thức cho từng lĩnh vực cụ thể. II.1/ Phân loại tri thức Dựa vào cách thức con người giải quyết vấn đề, các nhà nghiên cứu đã xây dựng các kỹ thuật biểu diễn các dạng tri thức khác nhau trên máy tính, mặc dù vậy CH1102003 - ĐINH ĐỨC KHOA Trang 4 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác không có một kỹ thuật riêng lẻ nào có thể giải thích đầy đủ cơ chế tổ chức tri thức trong các chương trình máy tính. Để giải quyết vấn đề, chúng ta chỉ chọ dạng biểu diễn nào thích hợp nhất, sau đây là các dạng biểu diễn tri thức thường gặp. Tri thức thủ tục mô tả cách thức giải quyết một vấn đề loại tri thức này đưa ra giải pháp để thực hiện một công việc nào đó. Các dạng tri thức thủ tục tiêu biểu thường là các luật, chiến lược, lịch trình, và thủ tục. Tri thức khai báo cho biết một vấn đề được thấy như thế nào. Loại tri thức này bao gồm các phát biểu đơn giản, dưới dạng các khẳng định logic đúng hoặc sai. Tri thức khai báo cũng có thể là một danh sách các khẳng định nhằm mô tả đầy đủ hơn về đối tượng hay một khái niệm nào đó. Siêu tri thức mô tả tri thức của tri thức. Loại tri thức này giúp lựa chọn tri thức thích hợp nhất trong số các tri thức khi giải quyết một vấn đề. Các chuyên gia sử dụng tri thức này đề điều chỉnh hiệu quả giải quyết vấn đề bằng cách hướng các lập luận về miền tri thức có khả năng hơn cả. Tri thức heuristic mô tả các “mẹo” để dẫn dắt tiến trình lập luận. Tri thức heuristic còn được gọi là tri thức nông cạn do không bảo đảm hoàn toàn chính xác về kết quả giải quyết vấn đề, các chuyên gia thường dùng các tri thức khoa học như sự kiện, các luật… sau đó chuyển chúng thành các tri thức heuristic để thuận tiện hơn trong việc giải quyết một số bài toán. Tri thức có cấu trúc mô tả tri thức theo cấu trúc. Loại tri thức này mô tả mô hình tổng quan hệ thống theo quan điểm của chuyên gia, bao gồm khái niệm và các đối tượng, diễn tả chức năng và mối liên hệ giữa các tri thức dựa theo cấu trúc xác định. II.2/ Các phương pháp biểu diễn tri thức Như đã nêu trong mục [II] tương ứng tồn tại các loại tri thức cơ bản sau: - Tri thức mô tả CH1102003 - ĐINH ĐỨC KHOA Trang 5 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác - Tri thức thủ tục - Tri thức điều khiển Tương ứng với hai loại tri thức mô tả và tri thức thủ tục, có hai loại lớp phương pháp biểu diễn tri thức: biểu diễn mô tả và biểu diễn thủ tục. Các cơ chế điều khiển sẽ được lồng trong bản thân cấu trúc ngôn ngữ biểu diễn tri thức, chẳng hạn trong ngôn ngữ PROLOG để tỉa bớt một số nhánh tìm kiếm trong không gian bài toán, tránh tìm kiếm vét cạn, nếu ta dùng toán tử cắt tỉa (cut). Có thể phân loại sau: - Phương pháp biểu diễn tri thức mô tả: logic, mạng ngữ nghĩa, AOV - Phương pháp biểu diễn tri thức thủ tục: sản xuất - Phương pháp biểu diễn hổn hợp: Frame Mong muốn của các chuyên gia về xử lý tri thức là tạo ra được các hệ thống cho phép người sử dụng mô tả bài toán bằng ngôn ngữ mô tả, sau đó giải chúng theo chế độ tương tác và hội thoại cao. II.2.1/ Biểu diễn tri thức nhờ logic Đây là dạng biểu diễn tri thức cổ điển nhất trong máy tính là logic, với hai dạng phổ biến là logic mệnh đề và logic vị từ, cả hai kỹ thuật này đều dùng ký hiệu để thể hiện tri thức và các toán tử áp lên các ký hiệu để suy luận logic. Logic đã cung cấp cho nhà nghiên cứu một công cụ hình thức để biểu diễn và suy luận tri thức. Phép toán AND OR NOT Kéo theo Tương đương Kí hiệu ^, &, v,, + Logic mệnh đề biểu diễn và lập luận với các mệnh đề toán học. Mệnh đề là một câu nhận giá trị hoặc đúng hoặc sai giá trị này gọi là chân trị của mệnh đề. Logic mệnh đề gán một bước ký hiệu vào một mệnh đề, ví dụ A= “Xe sẽ khởi động”. CH1102003 - ĐINH ĐỨC KHOA Trang 6 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Khi cần kiểm tra chân trị của câu trên trong bài toán sử dụng logic mệnh đề người ta kiểm tra giá trị của A. Nhiều bài toán sử dụng logic mệnh đề để thể hiện tri thức và giải quyết vấn đề, bài toán loại này được đưa về bài toán xử lý các luật, mỗi phần giải thiết và kết luận của luật có thể có nhiều mệnh đề. IF Xe không khởi động được  A AND Khoảng cách từ nhà đến chổ làm là xa  B THEN Sẽ trể giờ làm  C Luật trên có thể biểu diễn lại như sau: A^B -> C Các phép toán quen thuộc trên các mệnh đề được cho trong bảng sau: A B A^B A B A B A T T F T T T T F T T F T T F T F F F T F F F F T F F T T Bảng chân tri, với các giá trị đúng (True), sai (False) Logic vị từ là sự mở rộng của logic mệnh đề nhằm cung cấp một cách biễu diễn rõ hơn về tri thức thì logic vị từ dùng ký hiệu để biểu diễn tri thức. Cách biểu diễn này khá trực quan và ưu điểm căn bản của nó là có một cơ sở lý thuyết vững chắc cho những thủ tục suy diễn nhằm tìm kiếm và sản sinh ra những tri thức mới, dựa trên các sự kiện và các luật đã cho. Logic vị từ cũng giống như logic mệnh đề, dùng các ký hiệu để thể hiện tri thức, những ký hiệu này gồm: hằng số, vị từ, biến và hàm. Hằng số: Các hằng số dùng để đặt tên các đối tượng đặt biệt hay thuộc tính, nhìn chung các hằng số được ký hiệu bằng chữ viết thường, chẳng hạn An, bình, nhiệt độ. Hằng số An có thể được dùng để thể hiện đối tượng an một người đang xét. CH1102003 - ĐINH ĐỨC KHOA Trang 7 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Vị Từ: Một mệnh đề hay sự kiện trong logic vị từ được chia thành hai phần vị từ và tham số. Tham số thể hiện một khẳng định về đối tượng, chẳng hạn mệnh đề, chẳng hạn mệnh đề “Nam thích Mai” viết theo vị từ sẽ có dạng: thích (nam, mai). Với cách thể hiện này người ta dùng từ đầu tiên tức “thích” làm vị từ, vị từ cho biết quan hệ giữa các đối số đặt trong ngoặc, đối số là các ký hiệu thay cho các đối tượng của bài toán. Biến: Các biến dùng để thể hiện các lớp tổng quát của các đối tượng hay thuộc tính, biến được viết bằng các ký hiệu bắt đầu là chữ in hoa, như vậy có thể dùng vị tự có biến để thể hiện nhiều vị từ tương tự. Hàm: Logic vị từ cũng cho phép dùng ký hiệu để biểu diễn hàm, hàm mô tả một ánh xạ từ các thực thể hay một tập hợp đến một phần tử duy nhất của tập hợp khác. Phép toán: Logic vị từ cũng dùng các phép toán như logic mệnh đề như: thích (X, Y) AND thích (Z, Y) -> ¬ thích (X, Z), việc lập luận theo cách không hình thức đòi hỏi một khả năng rút ra được kết luận từ các sự kiện đã có, việc lấy ra thông tin mới từ các thông tin đã biết và các luật là trong tâm của tập luận trong hệ chuyên gia, quá trình lập luận được hình thức hóa trong bài toán suy luận. II.2.2/ Bộ ba đối tượng - Thuộc tính – Giá trị Cơ chế tổ chức nhận thức của con người thường được xây dựng dựa trên các sự kiện (fact), xem như các đơn vị cơ bản nhất, một sự kiện là một dạng tri thức khai báo. Nó cung cấp một số hiểu biết về một biến cố hay một vấn đề nào đó. Một cách biểu diễn khác là nhờ sử dụng bộ ba đối tượng – thuộc tính – giá trị (Object – Attribute – Value) để chỉ sự kiện rằng “Đối tượng” với “Thuộc tính” đã cho có một “giá trị” nào đó. Màu Sơ đồ biểu diễn tri thức theo bộ ba (O-A-V) CH1102003 - ĐINH ĐỨC KHOA Trang 8 Ghế Nâu Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Trong các sự kiện O – A – V một đối tượng có thể có nhiều thuộc tính với các kiểu giá trị khác nhau hơn nữa một thuộc tính cũng có thể có một hay nhiều giá trị chúng được gọi là các sự kiện đơn trị (single-value) hoặc đa trị (multi-value), điều này cho phép các hệ tri thức linh động trong việc biểu diễn các tri thức cần thiết, cần phân biệt hai đối tượng: đối tượng tĩnh và đối tượng động các đối tượng tĩnh được lưu trong nội bộ nhớ dài hạn và khi cần được đưa vào bộ nhớ làm việc để xử lý, ngược lại trong quá trình làm việc khi cần sẽ khởi tạo các giá trị thuộc tính của các đối tượng động và chúng được lưu ở bộ nhớ trong phục vụ cho việc xử lý tiếp theo. Các sự kiện không phải lúc nào cũng đảm bảo là đúng hay sai với độ chắc chắn hoàn toàn, vì thế khi xem xét các sự kiện người ta còn sử dụng thêm một khái niệm là độ tin cậy, phương pháp truyền thống để quản lý thông tin không chắc chắn là sử dụng nhân tố chắc chắn CF (ceratinly factor) được dùng trong hệ MYCIN (khoảng năm 1975). Ngoài ra, khi các sự kiện mang tính “nhập nhằng” việc biểu diễn tri thức dựa vào một kỹ thuật gọi là logic mờ (do Zadeh đưa ra năm 1965) các thuật ngữ nhập nhằng được thể hiện, lượng hóa trong tập mờ. II.2.3/ Các Luật dẫn Trong hệ thống dựa trên các luật người ta thu thập các tri thức lĩnh vực trong một tập và lưu chúng trong cơ sở tri thức của hệ thống. Hệ thống dùng các luật này cùng với các thông tin trong bộ nhớ để giải bài toán việc xử lý các luật trong hệ thống dựa trên các luật được quản lý bằng một module gọi là hệ suy diễn, phương pháp này khá trực quan với người sử dụng, song chỉ phù hợp khi cơ sở tri thức không có quá nhiều luật suy dẫn và do vậy không chứa nhiều loại vị từ khác nhau. Các luật dẫn cơ bản thể hiện tri thức có thể phân loại theo loại tri thức và như vậy có các lớp luật tương ứng với dạng tri thức như quan hệ, khuyến cáo, hướng dẫn, chiến lược và heuristic. Quan hệ CH1102003 - ĐINH ĐỨC KHOA Trang 9 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác IF Bình điện hỏng THEN Xe sẽ không khởi động được Lời khuyên IF Xe không khởi động được THEN Đi bộ Chiến lược IF Xe không khởi động được THEN Đầu tiên hãy kiểm tra hệ thống nhiên liệu, sau đó kiểm tra hệ thống điện. Các luật cũng có thể được phân loại theo cách thức giải quyết vấn đề, điển hình theo phân loại này các luật theo cách thức diễn giải, chẩn đoán và thiết kế. Diễn giải IF Cao 1m65 AND Nặng 65 kg THEN Phát triển bình thường Chẩn đoán IF Sốt cao AND Ho nhiều AND Họng đỏ THEN Viêm họng Thiết kế IF Cao 1m75 AND Da sẫm THEN Chọn áo vải sáng AND Chọn tấm vải khổ 1m40 Mở rộng cho các luật cần thực hiện cùng một phép toán trên một tập hay các đối tượng giống nhau lúc này cần các luạt có biến CH1102003 - ĐINH ĐỨC KHOA Trang 10 [...]... KHOA Trang 17 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác PHẦN IV: ỨNG DỤNG MẠNG NGỮ NGHĨA ĐỂ GIẢI CÁC BÀI TOÁN PHỔ THÔNG IV.1/ Giới thiệu bài toán Trong chương trình phổ thông có hai dạng bài toán hay gặp đó là bài toán hình học và bài toán đại số Với hai dạng bài toán này, việc biểu diễn trê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 của mạng ngữ nghĩa, người... Trang 18 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Có nhiều dạng toán hình học và đại số trong chương trình phổ thông, nhưng vì hạn chế về thời gian nên ở đây xin giới thiệu dạng cơ bản: Mạng ngữ nghĩa cho bài toán hình học phẳng IV.2/ Xây dựng bài toán hình học phẳng Các bài toán hình học phẳng gồm các dạng toán như giải bài toán hình tam giác, hình vuông, hình thoi, Các bài toán này... việc tính toán các giá trị còn lại CH1102003 - ĐINH ĐỨC KHOA Trang 23 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Thông tin về hai cạnh song song, không giúp ta trong việc tính toán Những thông tin này có thể lượt bỏ trong sơ đồ mạng ngữ nghĩa cho bài toán hình thang này (3) Biểu diễn thông tin trên mạng ngữ nghĩa: Hình 3-2 Mạng ngữ nghĩa cho bài toán hình thang IV.5/ Biểu diễn thông... hình tam giác Bài toán hình thang: Tương tự như bài toán tam giác, người dùng cần nhập vào những thông tin cần thiết trước khi chọn tính để thể hiện kết quả Giao diện của chương trình được trình bày như hình sau: CH1102003 - ĐINH ĐỨC KHOA Trang 26 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Giao diện bài toán hình thang CH1102003 - ĐINH ĐỨC KHOA Trang 27 Mạng ngữ nghĩa cho cơ chế suy diễn, ... giải bài toán tam giác Hình 3-2 Mạng ngữ nghĩa cho bài toán hình tam giác Trong mạng ngữ nghĩa trên, các ô tròn biểu thị cho các đối tượng của bài toán và các ô vuông thể hiện mối quan hệ giữa các đối tượng IV.4/ Bài toán hình thang (1) Xác định thông tin: Xét hình thang ABCD CH1102003 - ĐINH ĐỨC KHOA Trang 21 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Hình 3-2 Ví dụ về hình thang Ta... các bài toán trên ta có thể thấy một số thông tin thừa không cần thiết như: 3 đường trung tuyến ia , ib , ic ở bài toán tam giác Với các thông tin này hệ thống không bị mất đi độ chính xác nhưng sẽ làm cho tốc độ suy luận giảm đi Vậy nên cần được loại bỏ (3) Biểu diễn thông tin trên mạng ngữ nghĩa: CH1102003 - ĐINH ĐỨC KHOA Trang 20 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Hình 3-2 Mạng. .. trên mạng ngữ nghĩa của những bài toán này là các đỉnh, các cạnh Và mối liên hệ giữa các đối tượng này là tính chất của các bài toán hình học IV.3/ Bài toán hình tam giác: (1) Xác định thông tin Xét tam giác ABC với các thông tin được biểu diễn như sau: Ví dụ về hình tam giác • Đối tượng: ¼ ¼ ¼ o 3 góc α = BAC , β = ABC , δ = ACB CH1102003 - ĐINH ĐỨC KHOA Trang 19 Mạng ngữ nghĩa cho cơ chế suy diễn, giải. .. tính toán những thông số nào của bài toán, lựa chọn vào mục chọn giát trị cần tính Khi các thông số đã xác định, người dùng chọn tính để thể hiện kết quả Nếu không thể tính toán ra kết quả, chương trình sẽ thông báo cho người dùng biết Giao diện bài toán hình tam giác được xây dựng như sau: CH1102003 - ĐINH ĐỨC KHOA Trang 25 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác Giao diện bài toán. .. liên hệ giữa các đối tượng Mạng ngữ nghĩa sử dụng công cụ là đồ thị nên nó thừa hưởng tất cả những mặt mạnh của công cụ đồ thị Các thuật toán đã được cài đặt và phát triển trên máy CH1102003 - ĐINH ĐỨC KHOA Trang 13 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác tính, khi áp dụng chúng ta có thể giải quyết nhiều vấn đề khác nhau ở trên mạng Cho đến nay mạng ngữ nghĩa được ứng dụng nhiều... trước, và cho phép mã hóa tri thức một cách dễ dàng Để minh họa cho tính kế thừa của mạng ngữ nghĩa hãy xét một câu hỏi trên đồ thị, chẳng hạn tại nút “chim” người ta muốn hỏi con “chip” hoạt động như thế nào ? thông qua cung hoạt động người ta biết được nó bay CH1102003 - ĐINH ĐỨC KHOA Trang 15 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác III.2/ Giải thuật lan truyền trên mạng ngữ nghĩa . 17 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác PHẦN IV: ỨNG DỤNG MẠNG NGỮ NGHĨA ĐỂ GIẢI CÁC BÀI TOÁN PHỔ THÔNG IV.1/ Giới thiệu bài toán Trong chương trình phổ thông có hai dạng bài. 15 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác III.2/ Giải thuật lan truyền trên mạng ngữ nghĩa Lan truyền kích hoạt (spreading activation) là một phương pháp để tìm kiếm các mạng. KHOA Trang 13 Mạng ngữ nghĩa cho cơ chế suy diễn, giải bài toán tam giác tính, khi áp dụng chúng ta có thể giải quyết nhiều vấn đề khác nhau ở trên mạng. Cho đến nay mạng ngữ nghĩa được ứng dụng