... nghĩa Các phươngpháp biểu diễn tri thức khác - Phươngpháp mô tả tri thức kịch (Script) - Phươngpháp mô tả tri thức mặt (Face) - Phươngpháp mô tả tri thức bảng đen (Blackboard) - Phươngpháp mô ... Phươngphápnghi n cứu Phươngphápnghi n cứu lý luận: Nghi n cứu qua việc đọc sách, báo tài liệu liên quan nhằm xây dựng sở lý thuyết khóa luận biện pháp cần thiết để giải vấn đề khóa luận Phương ... lên nhiều so với phươngpháp biểu diễn khác 2.5 Biểu diễn tri thức nhờ mạng ngữ nghĩa 2.5.1 Khái niệm Mạng ngữ nghĩa phươngpháp biểu diễn tri thức phươngpháp dễ hiểu Phươngpháp biểu diễn tri...
... thống trí tuệ nhân tạo thích sử dụng luật sinh phươngpháp khác dễ hiểu, dễ cài đặt Từ đó, họ thường tìm cách để biểu diễn tri thức luật sinh cho dù có phươngpháp khác thích hợp Đây nhược điểm ... phải đề phươngpháp để loại bỏ tri thức trùng lắp, thừa mâu thuẫn Những thao tác thực trình ghi nhận tri thức vào hệ thống đề cập đến phần tìm hiểu luật sinh Khái niệm luật sinh Phươngpháp biểu ... hoạch: Công nghệ tri thức ứng dụng LỜI NÓI ĐẦU Luật sinh phươngpháp biểu diễn tri thức máy tính Nó đóng vai trò quan trong việc khẳng địnhkhả giải vấn đề hệ sở tri thức Rất nhiều toán trí tuệ...
... tính có nhiều thuật toán học khác Tuy nhiên, phạm vi giáo trình này, khảo sát phươngpháp học dựa theo trường hợp Theo phươngpháp này, hệ thống cung cấp số trường hợp "mẫu", dựa tập mẫu này, hệ ... trường hợp tìm cách xây dựng ánh xạ f’ dựa theo ánh xạ f f gọi tập mẫu Phươngpháp học theo trường hợp phươngpháp phổ biến nghi n cứu khoa học mê tín dị đoan Cả hai dựa liệu quan sát, thống kê ... luận (theo kiểu heuristic) Bảng sau cho số ưu khuyết điểm phươngpháp biểu diễn tri thức trình bày P .Pháp Ưu điểm Nhược điểm Luật sinh Cú pháp đơn giản, dễ hiểu, diễn dịch đơn giản, tính đơn thể...
... danh mục loạixácđịnh không xácđịnh câu phát biểu ngôn ngữ tự nhiên Một ontology thức xácđịnh tập hợp tên khái niệm loại quan hệ tổ chức phân nhóm theo thứ tự cục − Một ontology định nghĩa ... thuộc tính Đối với thuộc tính ta thay đổi Domain Range cho bên phải hình Domain xácđịnh thuộc lớp nào, Range xácđịnhloại liệu Ngoài ra, ta thêm vào vài ràng buộc đơn giản cho giới hạn số giá trị ... ontology thường động từ câu mô tả khái niệm lĩnh vực Theo tài liệu [5] phươngpháp xây dựng ontology gồm bước: Bước 1: Xácđịnh miền phạm vi ontology Đây bước nên làm trước muốn xây dựng ontology...
... biến thuộc A hay không? Nếu xácđịnh B từ A trình tính toán giá trị biến thuộc B nào? Trong trường hợp xácđịnh B, cần cho thêm điều kiện để xácđịnh B Bài toán xácđịnh B từ A mạng tính toán ... thống trí tuệ nhân tạo thích sử dụng luật dẫn tất phươngpháp khác (vì dễ hiểu, dễ cài đặt) nên họ thường tìm cách để biểu diễn tri thức luật dẫn cho dù có phươngpháp khác thích hợp hơn! Đây nhược ... ElipOx, ElipOy loại đối tượng cấp thiết lập từ danh sách đối tượng kiểu điểm, có thuộc tính loại real thuộc tính loại đối tượng cấp Tập quan hệ đối tượng Mỗi quan hệ xácđịnhloại đối...
... việc xácđịnh lớp xácđịnh phân cấp lớp Việc giúp định vị lớp dễ dàng GVHD: GS.TSKH Hoàng Kiếm Trang 11 Biểu diễn tri thức Ontology Dương Hoàng Thanh Có số phươngpháp tiếp cận việc xácđịnh ... 5: Xácđịnh thuộc tính Để xácđịnh thuộc tính cho lớp, ta quay trở lại danh sách thuật ngữ liệt kê Hầu hết thuật ngữ lại (sau xácđịnh lớp) thuộc tính lớp Với thuộc tính tìm được, ta phải xácđịnh ... hết loại bệnh Thông tin loại thuốc thông dụng có ích cho bệnh nhân, thông tin tính năng, cách sử dụng tác dụng phụ Thông tin: Các thông tin bổ trợ phục vụ cho việc chẩn đoán xácđịnhphương pháp...
... danh mục loạixácđịnh không xácđịnh câu phát biểu ngôn ngữ tự nhiên Một ontology thức xácđịnh tập hợp tên khái niệm loại quan hệ tổ chức phân nhóm theo thứ tự cục − Một ontology định nghĩa ... thuộc tính Đối với thuộc tính ta thay đổi Domain Range cho bên phải hình Domain xácđịnh thuộc lớp nào, Range xácđịnhloại liệu Ngoài ra, ta thêm vào vài ràng buộc đơn giản cho giới hạn số giá trị ... ontology thường động từ câu mô tả khái niệm lĩnh vực Theo tài liệu [4] phươngpháp xây dựng ontology gồm bước: Bước 1 :Xác định miền phạm vi ontology Đây bước nên làm trước muốn xây dựng ontology...
... cm tớnh Cỏc tri thc thuc loi ny thng cú dng c lng, phng oỏn, v thng c hỡnh thnh thụng qua kinh nghim Siờu tri thc: mụ t tri thc v tri thc Loi tri thc ny giỳp la chn tri thc thớch hp nht s cỏc ... rng v tr c to nờn Ng Hnh: Kim, Mc, Thy, Ha, Th Vn vt cú s sng trn gian ny, c ngi xa tớch lu tri nghim bng lun thuyt Ng Hnh (Kim, Mc, Thu, Ho, Th) tc l cỏch ng dch chuyn bin thỏi chuyn hoỏ ... thỏi hnh Mc (sinh sụi, ny n); Hnh vi hnh ng l ng thỏi hnh Ho (phỏt huy, phỏt trin); Hnh vi kinh nghim l ng thỏi hnh Th (thu gn, qui np): Hnh vi phng phỏp l ng thỏi ca hnh Kim (cht lc, chn la);...
... ˜ ˜ ˜ ˜ GT (giả thiết) = {U1 = C1,U2 = C2, ,Ul = Cl} Cần xácđịnh : KL (kết luận) = {V1 = D1,V2 = D2, ,Vk = Dk} ⇒ Suy diễn : làm xácđịnh μD1,μD2, ,μDk? 11/15 Biểu diễn tri thức Logic mờ suy ... diễn Hàm s : Hàm t : → hiển nhiên Tính chất cuối : Hàm negation : Hàm – x - Bộ ba : (s, t, n) → thích hợp : s (x, t (y, z)) = t (s (x, y), s (x, z)) t (x, s (y, z)) = s (t (x, y), t (x, z)) n ... Dạng 1: • Dạng ˜ A= (a, b, c, d) ˜ ˜ Tập mờ A tập theo nghĩa thông thường nên quan niệm A phải định nghĩa theo hàm thuộc Do không biểu diễn biểu đồ Ven mà biểu biểu diễn đồ thị 3/15 Biểu diễn...
... Peirce thử nghi m với nhiều phươngpháp đồ thị khác cho việc biểu diễn toán tử khác kí hiệu đại số ông giống nhà nghi n cứu AI thập kỉ 60 ông ta tìm cách hay để thể phạm vi lượng từ phép phủ định Tuy ... đương CLIF: Trong chuẩn CL, CGIF mở rộng xácđịnh việc biên dịch sang CGIF cốt lõi định nghĩa việc biên dịch thành cú pháp trừu tượng CL Sau CGIF cốt lõi không định kiểu CLIF tương ứng cho ví dụ trên: ... Ngoài cú pháp trừu tượng lí thuyết mô hình, chuẩn CL đặc tả thuật ngữ cụ thể mà có khả thể ngữ nghĩa CL đầy đủ: định dạng trao đổi logic tổng quát (Common Logic Interchange Format (CLIF), định dạng...
... kiện) tam giác cho trước - Mục tiêu: Xácđịnh thông số (đối tượng) tam giác Ví dụ: Xét tam giác ABC có góc A = 30 độ, cạnh b = 6, cạnh c = đơn vị độ dài Hãy xácđịnh độ dài đường cao Phạm vi: Ta ... tham khảo 22 Biểu diễn tri thức 1.1 Tri thức Tri thức (knowledge): hiểu biết người phạm vi, lĩnh vực đó; xem xét theo mục tiêu hay vấn đề định Ví dụ: - Kiến thức lĩnh vực y học khả ... thứ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...
... thống trí tuệ nhân tạo thích sử dụng luật sinh tất phươngpháp khác (dễ hiểu, dễ cài đặt) nên họ thường tìm cách để biểu diễn tri thức luật sinh cho dù có phươngpháp khác thích hợp hơn! Đây nhược ... hình "chớp đỏ") (cáp hình "lỏng") Để xácđịnh nguyên nhân gây kiện "không sử dụng máy tính", ta phải xây dựng cấu trúc đồ thị gọi đồ thị AND/OR sau : Như để xácđịnh nguyên nhân gây hỏng hóc ổ cứng ... thuật toán đơn giản để loại bỏ vấn đề VIII.3.1 Rút gọn bên phải Luật sau hiển nhiên : A ∧ B → A (1) Do luật A∧B→ A∧C Là hoàn toàn tương đương với A∧B→ C Quy tắc rút gọn : Có thể loại bỏ kiện bên vế...
... báo Người ta thường phân loại tri thức làm dạng sau : Tri thức kiện : khẳng định kiện, khái niệm (trong phạm vi xác định) Các định luật vật lý, toán học, thường xếp vào loại (Chẳng hạn : mặt trời ... thống trí tuệ nhân tạo thích sử dụng luật sinh tất phươngpháp khác (dễ hiểu, dễ cài đặt) nên họ thường tìm cách để biểu diễn tri thức luật sinh cho dù có phươngpháp khác thích hợp hơn! Đây nhược ... hình "chớp đỏ") (cáp hình "lỏng") Để xácđịnh nguyên nhân gây kiện "không sử dụng máy tính", ta phải xây dựng cấu trúc đồ thị gọi đồ thị AND/OR sau : Như để xácđịnh nguyên nhân gây hỏng hóc ổ cứng...
... với số kiện xácđịnh đối tượng hay quan hệ đối tượng; yêu cầu xácđịnh đối tượng Ví dụ: (P) (Q) mặt phẳng, M điểm thuộc (P) Giả sử biết tọa độ M phương trình (Q) (nghĩa M (Q) xác định) , biết ... cung cấp lời giải gồm bước sau đây: Bước 1: Xácđịnh A công thức A = π -B-C; Bước 2: Xácđịnh b công thức b = a.sin(B)/sin(A); Bước 3: Xácđịnh S công thức S = a.b.sin(C)/2; • Nếu yêu cầu ... 1: Phân loại toán toán chuẩn, toán xácđịnh chứng minh kiện, bào toán tìm đối tượng kiện… Bước 2: Phân loại kiện trình bày chúng dựa loại kiện mô hình COKB Bước 3: Mô hình hóa loại toán...
... F (d) xácđịnh (P) mặt phẳng thoả quan hệ sau: E ∈ (P), F ∈ (P), (d) // (P) Tìm phương trình mặt phẳng (P) Trong ví dụ có kiện loại 3: (1) điểm E xácđịnh biết toạ độ E, (2) điểm F xác định, ... vực tri thức khác Các loại kiện bao gồm: Sự kiện loại 1: Sự kiện thông tin loại đối tượng Ví dụ: ABC tam giác cân, ABCD hình bình hành Sự kiện loại 2: Sự kiện tính xácđịnh đối tượng hay thuộc ... thống trí tuệ nhân tạo thích sử dụng luật sinh tất phươngpháp khác (dễ hiểu, dễ cài đặt) nên họ thường tìm cách để biểu diễn tri thức luật sinh cho dù có phươngpháp khác thích hợp hơn! Đây nhược...
... thống trí tuệ nhân tạo thích sử dụng luật sinh phươngpháp khác dễ hiểu, dễ cài đặt Từ đó, họ thường tìm cách để biểu diễn tri thức luật sinh cho dù có phươngpháp khác thích hợp Đây nhược điểm ... phải đề phươngpháp để loại bỏ tri thức trùng lắp, thừa mâu thuẫn Những thao tác thực trình ghi nhận tri thức vào hệ thống đề cập đến phần tìm hiểu luật sinh Khái niệm luật sinh Phươngpháp biểu ... hoạch: Biểu diễn tri thức ứng dụng LỜI NÓI ĐẦU Luật sinh phươngpháp biểu diễn tri thức máy tính Nó đóng vai trò quan trong việc khẳng địnhkhả giải vấn đề hệ sở tri thức Rất nhiều toán trí tuệ...
... thức tri thức cần biểu diễn da dạng hệ ứng dụng Các phươngpháp biểu diễn tri thức nêu có ưu điểm định biểu diễn dạng tri thức Nhưng tất phươngpháp có nhược điểm chung biểu diễn khía cạnh tri thức ... hàm sau định nghĩa nhằm trả giá trị xác định: s cha(ơn) = Nam mẹ(sơn) = Mai Phép toán: Logic vị từ dùng phép toán logic mệnh đề 13 Giải toán tam giác Mạng ngữ nghĩa Ví dụ: thích( X,Y) AND thích( Z,Y) ... định logic sai Tri thức khai báo có thề danh sách khẳng định nhằm mô tả đầy đủ đối tượng hay khái niệm khái niệm - 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...
... trước Yêu cầu tìm (m) để phương trình bậc 1, phương trình bậc 2, bất phương trình phương trình trùng phương thỏa điều kiện (có nghi m, vô nghi m…) II.2 HÀM BIỆN LUẬN NGHI M PHƯƠNG TRÌNH THEO THAM ... Có tham số (m) cho trước yêu cầu tìm (m) để phương trình cho có khả xảy trường hợp: Có nghi m, Vô nghi m Vô số nghi m b/ Phươngpháp giải: Phươngpháp giải theo chương trình sách giáo khoa toán ... “b=”, m + Phương trình có nghi m với m khác{ a 0} Vậy: "với m khác 2, phương trình có nghi m ( Phương trình vô nghi m với m { b khác 0} )“ Vậy: "với m khác -3, phương trình vô nghi m" Phương trình...
... kim loại để tự tạo phản ứng khử kim loại với muối • Chưa tự cân phương trình phản ứng • Heuristic hạn chế, cần phải cải tiến • Chưa tìm chất cần bổ sung không điều chế IX Tài liệu tham khảo ... Cl2 -> NaCl • NaCl + AgNO3 -> NaNO3 + AgCl Kết luận: Điều chế II Đề xuất giải pháp Sử dụng mạng tính toán với phươngpháp suy diễn tiến có Heuristic Mạng tính toán mô hình biểu diễn thành phần ... luận Điều chế thành công VI Giao diện demo Bước 1: Nhập các ban đầu (cách dấu phẩy “,”), không cần định dạng số chương trình tự xử lý Bước 2: Nhập chất cần điều chế Bước 3: Click chuột lên nút lệnh...
... 9- qui luật định, liên hệ đa dạng bao gồm định tính lẫn định lượng, luật dẫn heuristic, v.v Một cách tiếp cận khác sử dụng kết hợp phươngpháp biểu diễn tri thức có với phát triển định để tạo ... thống trí tuệ nhân tạo thích sử dụng luật sinh tất phươngpháp khác (dễ hiểu, dễ cài đặt) nên họ thường tìm cách để biểu diễn tri thức luật sinh cho dù có phươngpháp khác thích hợp hơn! Đây nhược ... nhiều luật khác loại kiện khác Ở có loại kiện tính toán quan tâm khảo sát mà ta đề cập đến kiện quan hệ khác thuộc tính đối tượng Mô hình mạng C-Object tổng quát cho ta phươngpháp biểu diễn dạng...