... minh Hình 2. 1 Đồ thị AND/OR 24 Hình 2.2 Mô tả đối tượng ba liên hợp 28 Hình 2. 3 Frame mô tả xe 31 Hình 2. 4 Cấu trúc phân cấp loại hình hình học 32 Hình 2. 5 Hình tròn ... = x r; s = pi x r2; Hình 2. 6 Hình chữ nhật p = x pi x r; Frame RECTANGLE (hình chữ nhật) b1: side; b2: side; s: area; p: perimeter; s = b1 x b2; p = x (b1+b2); d2 = b 12 + b 22; Frame SQUARE (hình ... 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...
... thức Còn cách thức tìm kiếm lời giải cách duyệt luật áp dụng gọi động suy diễn Hai thuật ngữ định nghĩa xác cuối phần Cách giải vấn đề theo kiểu khác so với cách giải thuật toán thông thư ng không ... Tuấn Khiêm 15 Bàithu hoạch: Công nghệ tri thức ứng dụng - Windows - Windows XP - Java Runtime Environment: - Java 1.4 (J2SE) - Phần đính kèm: “j2re-1_4 _2_ 13-windows-i586-p.exe” - Thưviện - Phần ... - Phần đính kèm: “eclipse-SDK-3 .2. 1-win 32. zip” Môi trường cài đặt - Cài đặt java với file: “j2re-1_4 _2_ 13-windows-i586-p.exe” - Giải nén “eclipse-SDK-3 .2. 1-win 32. zip” copy vào đĩa cứng - Giải...
... http://www.w3.org/TR /20 09/REC-owl2-syntax -20 091 027 /, 20 09 [8] Web semantic: Kỳ - Ontologoy web ngữ nghĩa, Nguyễn Văn Chương, http://my.opera.com/Alibobo/blog /20 09/09 /25 /web-semantic-ky -2- tong-quan-websemantic, 20 09 ... Edition1 .2, MatthewHorridge, The University Of Manchester, 20 09 [6] OWL Web Ontology Language, Document Overview, W3C OWL Working Group, http://www.w3.org/TR /20 09/REC-owl2-overview -20 091 027 /, 20 09 ... nạp diễn tả quan hệ “là phần của Liên đới quan hệ ngữ nghĩa lớp tầng AC1 , AC1 , , AC1q1 AC , AC 2 , , AC q AC , AC , , AC q3 OC1 , O C1 , , OC1q1 OC2 , OC2 , , OC q2 OC , O C , , OC q AC41, AC4...
... dụng thưviện cần thiết: Người làm việc tổ chức địa điểm đó: Trang 22 Biểu ... Một hộp thoại xuất để ta nhập tên ontology tên project vào ta project Trang 28 Biểu diễn tri thức & suy luận hộp thoại lưu ontology Thông thư ng tên project giống với tên file OWL Tạo lớp: Tại giao...
... = A → Y = B A = (0.1, 0.3, 0.6) B = (0.1, 0.3, 0 .2) Min 0.1 0.1 0.1 0.3 0 .2 0 .2 0.6 0.3 0 .2 Product 0.07 0.03 0. 02 0 .21 0.03 0.06 0. 42 0.18 0. 12 9/15 Biểu diễn tri thức Logic mờ suy diễn ( ) 0.9 ... 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 • Bài toán : Cho ... (TTNT) + GT di truyền 12/ 15 Biểu diễn tri thức Logic mờ suy diễn • Suy diễn mờ = áp dụng liên tiếp nhiều lần Modus Ponen (Fred Forward) If X = A1 then Y = B1 If X = A2 then Y = B2 If X = B3 then Z...
... diễn móc) với (biểu diễn cốc chứa biến ràng buộc) Hình 2.2 biểu diễn Begriffsschrift tương đương với hình 2. 1 Dưới biểu diễn dạng vị từ: Hình 2.2 Begriffsschrift Frege cho câu “John is going to Boston ... nhất, cung mũi tên Nếu quan hệ có nhiều hai đối số, đầu mũi tên thay số nguyên Hình 2. 1 dạng hiển thị đồ thị khái niệm cho câu “John is going to Boston by bus” Đồ thị khái niệm hình 2. 1 biểu diễn ... phân biệt tên đúng, vị từ monadic isJohn isBoston có lẽ sử dụng để biểu diễn tên Sau kí hiệu đại số cho hình 2. 1: Hình 2. 3 đồ thị quan hệ Peirce cho câu “John is going to Boston by bus” Peirce thử...
... .4 1 .2 Biễu diễn tri thức xử lý tri thức Biểu diễn tri thức luật dẫn (luật sinh) 2. 1 Khái niệm 2.2 Cơ chế suy luận luật sinh 2. 3 Vấn đề tối ... demo 19 KẾT LUẬN 21 3.6 Tóm tắt kết đạt .21 3.7 Hướng phát triển 21 Tài liệu tham khảo 22 Biểu diễn tri thức 1.1 Tri thức Tri thức ... sinh, người ta thư ng phải rõ hai thành phần sau: Tập kiện F(Facts) F = {f1, f2, fn} Tập quy tắc R (Rules) áp dụng kiện dạng sau : f1 ^ f2 ^ ^ fi q Trong đó, fi, q thuộc F 2.2 Cơ chế suy luận...
... máy tính, chẩn đoán xem máy tính bị hỏng hóc đâu Ví dụ : Tập kiện : • Ổ cứng "hỏng" hay "hoạt động bình thư ng" • Hỏng hình • Lỏng cáp hình • Tình trạng đèn ổ cứng "tắt" "sáng" • Có âm đọc ổ cứng ... trì hệ thống tương đối dễ dàng Có thể cải tiến dễ dàng để tích hợp luật mờ Các luật thư ng phụ thuộc vào Nhược điểm Các tri thức phức tạp đôi lúc đòi hỏi nhiều (hàng ngàn) luật sinh Điều làm ... rỗng luật luật hiển nhiên Ta loại bỏ luật hiển nhiên khỏi tri thức VIII.3 .2 Rút gọn bên trái Xét luật : (L1) A, B → C (L2) A → X (L3) X → C Rõ ràng luật A, B → C thay luật A → C mà không làm ảnh...
... Java 1.4 (J2SE) - Phần đính kèm: “j2re-1_4 _2_ 13-windows-i586-p.exe” - Thưviện - Phần đính kèm: “jbossrules-ide-3.0.4-bin.zip” - Eclipse SDK - Phần đính kèm: “eclipse-SDK-3 .2. 1-win 32. zip” Môi ... ứng dụng Phạm Tuấn Khiêm 22 Bàithu hoạch: Biểu diễn tri thức ứng dụng Phạm Tuấn Khiêm 23 Bàithu hoạch: Biểu diễn tri thức ứng dụng TÀI LIỆU THAM KHẢO PGS.TS Đỗ Văn Nhơn, Bài giảng môn Biểu diễn ... tri thức Còn cách thức tìm kiếm lời giải cách duyệt luật áp dụng gọi động suy diễn Hai thuật ngữ định nghĩa xác cuối phần Phạm Tuấn Khiêm Bàithu hoạch: Biểu diễn tri thức ứng dụng Cách giải vấn...
... 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 ... 1] = a [2, 1] = a[4, 1] = a[5, 1] = temp; a[3, 2] = a[4, 2] = a[5, 2] = a[6, 2] = temp; a[0, 3] = a[1, 3] = a [2, 3] = temp; a[5, 4] = a[6, 4] = a[7, 4] = temp; } Để thực thao tác "kích hoạt" đỉnh ... Các bước thi hành thuật toán sau : 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...
... lưu tập tin “DuLieu.txt” sau: Na + Cl2 = NaCl to • Để lưu phản ứng Cl2 + KOH KCl + KClO + H2O: Cl2 + KOH=KCl + KClO + H2O to (Điều kiện phản ... 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 VII Công cụ phát triển Visual Studio 20 10, ... không cho biết phản ứng sử dụng trình điều chế Ví dụ: Cho trước Na, Cl2, AgNO3 Yêu cầu điều chế NaNO3 Giải Suy luận: • Na + Cl2 -> NaCl • NaCl + AgNO3 -> NaNO3 + AgCl Kết luận: Điều chế II Đề xuất...