MẠNG NGỮ NGHĨA VÀ GIẢI THUẬT LAN TRUYỀN

PHẦN I: MỞ ĐẦU Sự phát triển vượt bật lĩnh vực khoa học công nghệ đặt biệt khoa học trí tuệ nhân tạo, để xây dựng hệ chuyên gia hệ giải toán dựa tri thức người ta phải thiết kế sở tri thức cho hệ thống động suy diễn để giải vấn đề dựa tri thức, đặt biệt hệ giải toán dựa tri thức vấn đề để thiết kế mô hình nhằm biểu diễn sở tri thức thể đầy đủ miền tri thức mô tả đầy đủ khía cạnh tri thức lĩnh vực cần biểu diễn, mơ hình 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 công cụ suy diễn dễ dàng truy cập phục vụ tốt trình suy luận khai thác ứng dụng Vì hệ giải toán dựa tri thức phải hệ giải tốn thơng minh giải dạng toán tổng quát miền tri thức đó, có sở tri thức phận thực suy luận giải toán phạm vi tri thức hệ thống [1] Trong khoa học trí tuệ nhân tạo có nhiều phương pháp để biểu diễn tri thức phương pháp cho hiệu cao viêc biểu diễn suy luận dựa toán tổng quát, phương pháp điều có ưu, nhược điểm riêng phương pháp phần trình bày người viết đề xuất mơ hình biểu diễn tri thức gọi mạng ngữ nghĩa kết hợp với số thuật toán ứng dụng giải “bài toán tam giác” chương trình phổ thơng 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 kỹ nghệ xử lý tri thức đề cập nhiều khoa học trí tuệ nhân tạo, từ xuất ứng dụng thực hệ chuyên gia, chúng có sở lý luận thực tiển vững Nói tổng quát biểu diễn tri thức thể mô tả giới bên ngồi dạng cho máy thơng minh đưa tới kết luận mơi trường xung quanh nó, sở cách hình thức mơ tả này, cịn kỹ nghệ tri thức bao gồm kỹ thuật cấu trúc tri thức, suy diễn, quản trị tri thức học tự động Vào năm đầu thập kỷ 80 phát triển Trang khoa học tri thức mà nhà nghiên cứu đúc kết lại điểm chung 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ờ frame Trong phương pháp biểu diễn tạo sở tri thức tường minh hệ thống khoa học trí tuệ nhân tạo dựa tri thức, điều phải địi hỏi xây dựng ngơn ngữ khoa học trí tuệ biểu diễn tri thức, thêm vào ngơn ngữ phải cung cấp cơng cụ truy nhập tới kiện không tường minh có sở tri thức, nghĩa phải bao gồm chế suy diễn tự động Như hệ thống biểu diễn tri thức nào, phải chứa ba yếu tố: Ngôn ngữ biểu diễn, chế suy dẫn công cụ lập sở tri thức cho lĩnh vực cụ thể II.1/ Phân loại 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, khơng có kỹ thuật riêng lẻ giải thích đầy đủ chế tổ chức tri thức chương trình máy tính Để giải vấn đề, chọ dạng biểu diễn thích hợp nhất, sau 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 vấn đề loại tri thức đưa giải pháp để thực công việc Các dạng tri thức thủ tục tiêu biểu thường luật, chiến lược, lịch trình, thủ tục Tri thức khai báo cho biết vấn đề thấy Loại tri thức bao gồm phát biểu đơn giản, dạng khẳng định logic sai Tri thức khai báo danh sách khẳng định nhằm mô tả đầy đủ đối tượng hay khái niệm Trang Siêu tri thức mô tả tri thức tri thức Loại tri thức giúp lựa chọn tri thức thích hợp số tri thức giải vấn đề Các chuyên gia sử dụng tri thức đề điều chỉnh hiệu giải vấn đề cách hướng lập luận miền tri thức có khả Tri thức heuristic mô tả “mẹo” để dẫn dắt tiến trình lập luận Tri thức heuristic cịn gọi tri thức nông cạn không bảo đảm hồn tồn xác kết giải vấn đề, chuyên gia thường dùng tri thức khoa học kiện, luật… sau chuyển chúng thành tri thức heuristic để thuận tiện việc giải số 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 mơ tả mơ hình tổng quan hệ thống theo quan điểm chuyên gia, bao gồm khái niệm đối tượng, diễn tả chức mối liên hệ 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 mục [II] tương ứng tồn loại tri thức sau: - Tri thức mô tả 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ả 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ả biểu diễn thủ tục Các chế điều khiển lồng thân cấu trúc ngôn ngữ biểu diễn tri thức, chẳng hạn ngôn ngữ PROLOG để tỉa bớt số nhánh tìm kiếm khơng gian tốn, tránh tìm kiếm vét cạn, if ta dùng tố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 Trang Mong muốn chuyên gia xử lý tri thức tạo hệ thống cho phép người sử dụng mô tả tốn ngơn ngữ mơ tả, sau giải chúng theo chế độ tương tác hội thoại cao II.2.1/ Biểu diễn tri thức nhờ logic Đây dạng biểu diễn tri thức cổ điển máy tính logic, với hai dạng phổ biến logic mệnh đề logic vị từ, hai kỹ thuật dùng ký hiệu để thể tri thức toán tử áp lên ký hiệu để suy luận logic Logic cung cấp cho nhà nghiên cứu cơng cụ hình thức để biểu diễn suy luận tri thức Phép tốn Kí hiệu AND OR ^, &, NOT Kéo theo Tương đương v,, + Logic mệnh đề biểu diễn lập luận với mệnh đề toán học Mệnh đề câu nhận giá trị hoặc sai giá trị gọi chân trị mệnh đề Logic mệnh đề gán bước ký hiệu vào mệnh đề, ví dụ A= “Xe khởi động” Khi cần kiểm tra chân trị câu toán sử dụng logic mệnh đề người ta kiểm tra giá trị A Nhiều toán sử dụng logic mệnh đề để thể tri thức giải vấn đề, toán loại đưa toán xử lý luật, phần giải thiết kết luận luật có nhiều mệnh đề IF Xe không khởi động AND Khoảng cách từ nhà đến chổ làm xa THEN Sẽ trể làm Luật biểu diễn lại sau:  A  B  C A^B -> C Các phép toán quen thuộc mệnh đề cho bảng sau: A B A^B Trang AB AB A T F T F T T F F F T F T T F F F T T T F T T F T T F F T Bảng chân tri, với giá trị (True), sai (False) Logic vị từ mở rộng logic mệnh đề nhằm cung cấp cách biễu diễn rõ tri thức logic vị từ dùng ký hiệu để biểu diễn tri thức Cách biểu diễn trực quan ưu điểm có sở lý thuyết vững cho thủ tục suy diễn nhằm tìm kiếm sản sinh tri thức mới, dựa kiện luật cho Logic vị từ giống logic mệnh đề, dùng ký hiệu để thể tri thức, ký hiệu gồm: số, vị từ, biến hàm Hằng số: Các số dùng để đặt tên đối tượng đặt biệt hay thuộc tính, nhìn chung số ký hiệu chữ viết thường, chẳng hạn An, bình, nhiệt độ Hằng số An dùng để thể đối tượng an người xét Vị Từ: Một mệnh đề hay kiện logic vị từ chia thành hai phần vị từ tham số Tham số thể khẳng định đối tượng, chẳng hạn mệnh đề, chẳng hạn mệnh đề “Nam thích Mai” viết theo vị từ có dạng: thích (nam, mai) Với cách thể người ta dùng từ tức “thích” làm vị từ, vị từ cho biết quan hệ đối số đặt ngoặc, đối số ký hiệu thay cho đối tượng toán Biến: Các biến dùng để thể lớp tổng quát đối tượng hay thuộc tính, biến viết ký hiệu bắt đầu chữ in hoa, dùng vị tự có biến để thể nhiều vị từ tương tự Hàm: Logic vị từ cho phép dùng ký hiệu để biểu diễn hàm, hàm mô tả ánh xạ từ thực thể hay tập hợp đến phần tử tập hợp khác Phép toán: Logic vị từ dùng phép tốn 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 khả rút kết luận từ kiện có, việc lấy thơng tin từ Trang thông tin biết luật tâm tập luận hệ chuyên gia, q trình lập luận hình thức hóa 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 người thường xây dựng dựa kiện (fact), xem đơn vị nhất, kiện dạng tri thức khai báo Nó cung cấp số hiểu biết biến cố hay vấn đề Một cách biểu diễn khác nhờ sử dụng ba đối tượng – thuộc tính – giá trị (Object – Attribute – Value) để kiện “Đối tượng” với “Thuộc tính” cho có “giá trị” Ghế Nâu Màu Sơ đồ biểu diễn tri thức theo ba (O-A-V) Trong kiện O – A – V đối tượng có nhiều thuộc tính với kiểu giá trị khác thuộc tính có hay nhiều giá trị chúng gọi kiện đơn trị (single-value) đa trị (multi-value), điều cho phép hệ tri thức linh động việc biểu diễn tri thức cần thiết, cần phân biệt hai đối tượng: đối tượng tĩnh đối tượng động đối tượng tĩnh lưu nội nhớ dài hạn cần đưa vào nhớ làm việc để xử lý, ngược lại trình làm việc cần khởi tạo giá trị thuộc tính đối tượng động chúng lưu nhớ phục vụ cho việc xử lý Các kiện lúc đảm bảo hay sai với độ chắn hoàn tồn, xem xét kiện người ta sử dụng thêm khái niệm độ tin cậy, phương pháp truyền thống để quản lý thông tin không chắn sử dụng nhân tố chắn CF (ceratinly factor) dùng hệ MYCIN (khoảng năm 1975) Ngồi ra, kiện mang tính “nhập nhằng” việc biểu diễn tri thức dựa vào kỹ thuật gọi logic mờ (do Zadeh đưa năm 1965) thuật ngữ nhập nhằng thể hiện, lượng hóa tập mờ Trang II.2.3/ 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 tốn việc xử lý luật hệ thống dựa luật quản lý module gọi hệ suy diễn, phương pháp trực quan với người sử dụng, song phù hợp sở tri thức khơng có q nhiều luật suy dẫn không chứa nhiều loại vị từ khác Các luật dẫn thể tri thức phân loại theo loại tri thức có lớp luật tương ứng với dạng tri thức quan hệ, khuyến cáo, hướng dẫn, chiến lược heuristic Quan hệ IF THEN Lời khuyên Bình điện hỏng Xe không khởi động IF THEN Chiến lược Xe không khởi động Đi IF THEN Xe không khởi động Đầu tiên kiểm tra hệ thống nhiên liệu, sau kiểm tra hệ thống điện Các luật phân loại theo cách thức giải vấn đề, điển hình theo phân loại luật theo cách thức diễn giải, chẩn đoán thiết kế Diễn giải IF AND THEN Cao 1m65 Nặng 65 kg Phát triển bình thường Trang Chẩn đốn IF AND AND THEN Thiết kế Sốt cao Ho nhiều Họng đỏ Viêm họng IF Cao 1m75 AND Da sẫm THEN Chọn áo vải sáng AND Chọn vải khổ 1m40 Mở rộng cho luật cần thực phép toán tập hay đối tượng giống lúc cần luạt có biến IF X nhân viên AND Tuổi X >65 THEN X có thẻ nghỉ hưu Khi mệnh đề phát biểu kiện hay thân kiện không chắn, người ta dùng hệ số chắn CF, luật thiết lập quan hệ khơng xác kiện giải thiết kết luận gọi luật khơng chắn ví dụ “lạm phát cao” “hầu chắn lãi suất cao” luật viết lại với giá trị CF sau IF Lạm phát cao THEN Lãi suất cao, CF=0,8 Dạng siêu luật luật với chức mô tả cách thức dùng luật khác đưa chiến lượt sử dụng luật theo lĩnh vực chun dụng, thay đưa thơng tin IF Xe không khởi động AND Hệ thống điện làm việc bình thường THEN Có thể sử dụng luật liên quan đến hệ thống điện Qua thực nghiệm chuyên gia đề tập luật áp dụng cho tốn cho trước thí dụ tập luật hệ thống chẩn đốn hỏng hóc xe điều giúp giải trường hợp mà với luật riêng Trang II.2.4/ Biểu diễn tri thức Frame Phương pháp biểu diễn tri thức Frame có tất tính chất vốn có ngơn ngữ biểu diễn tri thức, đồng thời sở cho phương pháp xử lý thông tin – hướng đối tượng phương pháp biểu diễn nhờ logic mạng ngữ nghĩa [III] mang đặc trưng mô tả phương pháp dùng luật sản xuất dùng để biểu diễn tri thức thủ tục, Frame lại kết hợp đặc điểm hai dạng biểu diễn: Mô tả thủ tục hệ biểu diễn Frame M.Minsky đưa năm 1975 Frame thực chất tổng quát hóa cấu trúc ghi PASCAL danh sách thể LISP tương tự cấu trúc đối tượng C++, tận dụng ưu điểm luật sản xuất vị từ, mạng ngữ nghĩa, Frame mô tả cấu trúc - (như trên, nhất, miền) - (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 toá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 Trang PHẦN III: MẠNG NGỮ NGHĨA VÀ GIẢI THUẬT LAN TRUYỀN Như trình bày phần mở đầu [I] để máy tính sử dụng tri thức, xử lý tri thức, cần phải biểu diễn tri thức dạng thuận tiện cho máy tính, mục tiêu biểu diễn tri thức sau nhiều cố gắng nhà trí tuệ nhân tạo phát triển số cách biểu diễn (thể hiện) tri thức có hiệu máy tính đặc biệt số biểu diễn mà người viết muốn nhắc đến mạng ngữ nghĩa tính tốn lan truyền mạng III.1/ Mạng ngữ nghĩa Mạng ngữ nghĩa công cụ trực quan giúp biểu diễn mối liên hệ tri thức tổng quát, khái niệm, việc mà chúng có mối liên hệ Mạng ngữ nghĩa phương pháp biểu diễn tri thức phương pháp dễ hiểu, để biểu diễn mạng ngữ nghĩa người ta dùng phương pháp đồ thị, đỉnh đối tượng (khái niệm, tri thức, việc) đó, cịn cung đỉnh thể mối liên hệ đối tượng Người ta nới rộng mạng ngữ nghĩa cách thêm nút nối chúng vào đồ thị, nút ứng với đối tượng bổ sung, thơng thường nới rộng mạng ngữ nghĩa theo ba cách: - Thêm đối tượng tương tự Thêm đối tượng đặc biệt Thêm đối tượng tổng quát Thứ thêm “cách cụt” thể loại chim thứ hai thêm “chip” có nghĩa “sẻ” đồng thời “chim”, thứ ba đưa đối tượng tổng quát “con Trang 10 vật” lúc khơng biết “chim vật” mà cịn biết “chip thở khơng khí” Tính chất quan trọng mạng ngữ nghĩa tính kế thừa, cho phép nút bổ sung nhận thơng tin nút có trước, cho phép mã hóa tri thức cách dễ dàng Để minh họa cho tính kế thừa mạng ngữ nghĩa xét câu hỏi đồ thị, chẳng hạn nút “chim” người ta muốn hỏi “chip” hoạt động ? thông qua cung hoạt động người ta biết bay Trang 11 III.2/ Giải thuật lan truyền mạng ngữ nghĩa Lan truyền kích hoạt (spreading activation) phương pháp để tìm kiếm mạng lưới liên kết, mạng thần kinh (neural networks) mạng ngữ nghĩa (semantic networks), trình tìm kiếm bắt đầu cách ghi nhãn tập hợp nút nguồn [III.1] với kích hoạt hay “activation” sau lặp lặp lại lan truyền hay “spreading” tiếp tục kích hoạt nút liên quan đến nút nguồn Trong kích hoạt lan truyền nút kích hoạt nút chưa kích hoạt lưu lại để phục vụ cho việc tìm nút lan truyền hợp lý Lan truyền kích hoạt ứng dụng truy suất thông tin, việc sử dụng ngữ nghĩa mạng lưới đại diện cho nút tài liệu từ ngữ có văn Cho đồ thị có hướng thể mảng node [1 n], kích hoạt liên quan đến giá trị A[i] số thực nằm khoảng [0.0 1.0], link[i, j] kết nỗi với nguồn node[i] với mục tiêu node[j] Mỗi liên kết có trọng số w[i, j] thường số thực nằm dãy [0.0 1.0] Các tham số: Trang 12 • • Ngưỡng kích hoạt F số thực nằm khoảng [0.0 1.0] Yếu tố suy biến D (Decay factor) số thực nằm khoảng [0.0, , 1.0] Các bước thực thuật tốn: • Khởi tạo đồ thị, cài đặt tất kích hoạt giá trị A[i] = 0, thiết lập thêm nút gốc để kích hoạt giá trị ban đầu lớn ngưỡng F Giá trị khởi tạo • thơng thường Đối với node[i] chưa kích hoạt đồ thị có kích hoạt A[i] lớn giá trị node ngưỡng kích hoạt F • Đối với Link[i, j] kết nối node[i] với mục tiêu node[j] , điều chỉnh: o A [j] = A [j] + (A [i] * W [i, j] * D) D yếu tố suy biến • Nếu nút nhận mục tiêu điều chỉnh giá trị kích hoạt vượt q 1.0, sau đặt giá trị kích hoạt 1.0 Tương tự vậy, trì 0.0 giá trị ràng buộc kích hoạt thấp hơn, nút mục tiêu nhận giá trị điều chỉnh xuống 0.0 • Khi nút kích hoạt kích hoạt lại lần nữa, biến thể • thuật toán cho phép bỏ qua việc lặp lặp lại vòng qua đồ thị Các nút nhận giá trị kích hoạt có vượt ngưỡng kích hoạt F đánh dấu để kích hoạt vào chu trình kích hoạt • Nếu kích hoạt bắt nguồn từ nhiều nút, biến thuật toán cho phép đánh dấu kích hoạt qua để phân biệt với đường chưa kích hoạt đồ thị • Thủ tục chấm dứt hai khơng có thêm nút để kích hoạt trường hợp dấu hiệu chuyển từ nhiều nguồn gốc, có nhiều đường xuất phát từ nút Các biến sử dụng thuật toán cho phép lặp đi, lặp lại sa thải nút dịng kích hoạt đồ thị, chấm dứt sau trạng thái kích hoạt ổn định, số trường, đạt tới, số lần lặp vượt mức tối đa PHẦN IV: ỨNG DỤNG MẠNG NGỮ NGHĨA VÀO BÀI TỐN TỔNG QT Như trình bày mạng ngữ nghĩa dạng biểu diễn tri thức [III] dùng biểu diễn tri thức vấn đề tính tốn áp dụng cách hiệu việc Trang 13 áp dụng quan hệ để mở rộng dần tập biến có giá trị xác định trình tạo lan truyền tính xác định tập biến đạt đến tập biến đích Như tốn tam giác có 22 yếu tố liên quan đến cạnh góc tam giác, để xác định tam giác ta phải có yếu tố phải có yếu tố cạnh chế suy diễn thực theo thuật toán "lan truyền" mô tả đơn giản sau: Biểu diễn mạng ngữ nghĩa tốn tam giác Bước 1: Kích hoạt đỉnh hình trịn cho ban đầu (những yếu tố có giá trị) Bước 2: Lặp lại bước sau kích hoạt tất đỉnh ứng với yếu tố cần tính khơng thể kích hoạt đỉnh Nếu đỉ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 kích hoạt đỉnh hình trịn cịn lại (và tính giá trị đỉnh cịn lại thơng qua cơng thức đỉnh hình chữ nhật) Như việc cho hai góc α, β chiều dài cạnh a tam giác Tính chiều dài đường cao hC, với mạng ngữ nghĩa cho hình trên, bước thi hành thuật toán sau: Trang 14 - Bắt đầu: đỉnh α, β, a đồ thị kích hoạt Cơng thức (1) kích hoạt (vì α, β,a kích hoạt) Từ cơng thức (1) - tính cạnh b Đỉnh b kích hoạt Cơng thức (4) kích hoạt (vì α, β) Từ cơng thức (4) tính góc δ Cơng thức (2) kích hoạt (vì đỉnh β,δ,b kích hoạt) Từ cơng thức (2) - tính cạnh c Đỉnh c kích hoạt Cơng thức (3) kích hoạt (vì đỉnh a, b, c kích hoạt) Từ cơng thức (3) - tính diện tích S Đỉnh S kích hoạt Cơng thức (5) kích hoạt (vì đỉnh S, c kích hoạt) Từ cơng thức (5) - tính hc Đỉnh hc kích hoạt Giá trị hc tính Để thực thao tác "kích hoạt" đỉnh hình trịn, ta đặt giá trị tồn dịng ứng với yếu tố tam giác Để kiểm tra xem cơng thức có đủ n-1 yếu tố hay chưa (nghĩa kiểm tra điều kiện đỉ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 kích hoạt), ta việc lấy hiệu tổng số ô có giá trị tổng số ô có giá trị -1 cột ứng với cơng thức cần kiểm tra, kết n, cơng thức có đủ n-1 yếu tố, q trình thi hành kích hoạt diễn sau Ban đầu α,β, a kích hoạt β (2 ) (3 ) 0 -1 -1 α (1 ) b 1 c a (4 ) (5 ) -1 -1 0 -1 0 -1 -1 0 -1 -1 Trên cột (1), hiệu (1+1+1 - (-1)) = nên dòng b kích hoạt (1) (2) (3) (4) (5) (1) (2) (3) (4) (5) α 0 α 0 β 1 β 1 0 -1 -1 0 -1 -1 1 a a 1 Trang 15 S h c 0 -1 -1 0 0 b -1 -1 0 b 1 0 c -1 -1 -1 c -1 -1 -1 S 0 -1 -1 S 0 -1 -1 hc Trên cột (4), hiệu (1+1+1 - (-1)) = nên dịng kích hoạt (1) (2) (3) (4) (5) -1 0 0 -1 hc 0 0 -1 Trên cột (2), hiệu (1+1+1 + (1)) = nên dịng c kích hoạt (1) (2) (3) (4) (5) Trên cột (3), hiệu (1+1+1 - (-1)) = nên dịng S kích hoạt (1) (2) (3) (4) (5) α 0 α 0 α 0 β 1 β 1 β 1 0 1 0 1 0 1 a 1 a 1 a 1 b 1 0 b 1 0 b 1 0 c -1 -1 -1 c 1 c 1 S 0 -1 -1 S 0 -1 -1 S 0 1 hc 0 0 -1 hc 0 0 -1 hc 0 0 -1 Trên cột (5), hiệu (1+1 + (1)) = nên dịng hc kích hoạt Trang 16 Một số hàm chương trình: // Khởi tạo yếu tố tam giác theo ma trận lúc đầu private void init() { float tmp = -1; //bien tam for (int i = 0; i < 8; i++) { for (int j = 0; j < 5; j++) { a[i, j] = 0; } } // Xử lý tìm kiếm private bool timkiem() // Lấy yếu tố chưa biết private int laygiatri(int k) // Kích hoạt yếu tố private void kichhoat() // Dùng thuật toán chế lan truyền private void lantruyen(int j, int chuabiet) // Kiểm tra không cho nhập ký tự từ bàn phím private void tm_a_KeyPress(object sender, KeyPressEventArgs e) Trang 17 Giao diện chương trình PHẦN V: KẾT LUẬN Biểu diễn tri thức tính tốn 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ồi ứng dụng 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 mạng mạng tính tốn mà phản ứng số quan hệ mạng Như nói mạng ngữ nghĩa mơ hình tốt cho việc biểu diễn tri thức người, việc ứng dụng tốn tam giác vào mạng tính tốn khơng dừng lại việc tính giá trị yếu tố cần thiết mà đưa cách giải hình thức tốn chí cịn chọn cách giải hình thức tối ưu, nói cách suy Trang 18 luận tốn tìm kiếm theo chiều rộng Do việc đưa mơ tả trực quan, có tính kế thừa, lan truyền thơng tin khó kiểm tra tính phi mâu thuẩn việc ứng dụng khơng dừng lại giải tốn thơng minh (chẳng hạn tốn tam giác) mà cịn ứng dụng việc xử lý ngôn ngữ tự nhiên (dễ dàng việc hiểu ngữ nghĩa câu, tiến hành việc đọc dịch text), hệ chuyên gia, mặt khác bị hạn chế thời gian nên mặt ứng dụng hoàn thành mức độ bản, mang quy mô nhỏ TÀI LIỆU THAM KHẢO [1] Nguyễn Thanh Thủy Trí tuệ nhân tao phương pháp giải vấn đề kỹ thuật xử lý tri thức Nhà xuất khoa học kỹ thuật, 1999 [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] Dragan Gasevic, Dragan Djuric, Vladan Devedzic Model Driven Architecture and Ontology Development [5] GS.TSKH Hoàng Kiếm, giảng công nghệ tri thức ứng dụng [6] Các website tham khảo - http://en.wikipedia.org/wiki/Semantic_network http://en.wikipedia.org/wiki/Spreading_activation http://thanhcuong.wordpress.com Trang 19 MỤC LỤC Trang 20 ... đến mạng ngữ nghĩa tính tốn lan truyền mạng III.1/ Mạng ngữ nghĩa Mạng ngữ nghĩa công cụ trực quan giúp biểu diễn mối liên hệ tri thức tổng quát, khái niệm, việc mà chúng có mối liên hệ Mạng ngữ. .. thừa mạng ngữ nghĩa xét câu hỏi đồ thị, chẳng hạn nút “chim” người ta muốn hỏi “chip” hoạt động ? thông qua cung hoạt động người ta biết bay Trang 11 III.2/ Giải thuật lan truyền mạng ngữ nghĩa Lan. .. điều khiển Frame phức tạp nhiều phương pháp biểu diễn thủ tục khác Trang PHẦN III: MẠNG NGỮ NGHĨA VÀ GIẢI THUẬT LAN TRUYỀN Như trình bày phần mở đầu [I] để máy tính sử dụng tri thức, xử lý tri thức,