... Sự tách biệt suy diễn sở tri thức tách biệt quan trọng Sự tách biệt: tính độc lập tương đối sở tri thức suy diễn Cần có tách biệt vì: + Việc biểu diễn tri thức thực cách tự nhiên hơn, gần gũi với ... x, y, z, ứng với số nguyên, ký hiệu “+” ứng với phép toán cộng, “*” ứng với phép chia, biểu thức (x+y)*z biểu diễn trình tính toán: lấy số nguyên x cộng với số nguyên y, kết nhân với số nguyên ... A[i, j] = -1 nghĩa công thức ứng với cột j có yếu tố tam giác ứng với cột i Ngược lại A[i,j] = Để thực thaotác "kích hoạt" đỉnh hình tròn, đặt giá trị toàn dòng ứng với yếu tố tam giác Để kiểm tra...
... điều kiện thaotác có ý nghĩa trực tiếp người dùng Chương trình có chuyển đổi lại điều kiện thaotác sang dạng phù hợp với chương trình Để làm điều trên, cần phải liệt kê trạng thái thaotác toán ... thái thaotác - Trạng thái bản: Bình X đầy; Bình X rỗng; Bình X không rỗng; Bình X có n lít nước - Thao tác: Đổ bình; Đổ đầy nước bình, Đổ nước từ bình A sang bình B B đầy A rỗng Lưu ý ta thaotác ... tri thức để giải vấn đề DỮLIỆUDỮLIỆU THUẬT TOÁN CƠ SỞ TRI THỨC ĐỘNG CƠ SUY DIỄN Nếu xét theo quan niệm biểu diễn tri thức vừa thảo luận thì: - Cơ sở tri thức dạng liệu đặc biệt, Động suy diễn...
... rời việc biểu diễn xử lý, không hiệu với lượng liệu lớn, chậm sở liệu lớn Tuy vậy, biết, chưa có kiểu biểu diễn tri thức phù hợp với tình Do đó, phải làm việc với nhiều nguồn tri thức khác (khác ... tính đồng cách sử dụng lúc nhiều kiểu biểu diễn tri thức, kiểu biểu diễn ứng với nhiệm vụ Nhưng vậy, lại nảy sinh vấn đề "dịch" tri thức từ kiểu biểu diễn sang kiểu biểu diễn khác Tuy số hệ chương ... Ngay vớikiểu học này, có nhiều thuật toán học khác Một lần nữa, với mục đích giới thiệu, khảo sát trường hợp đơn giản Có thể khái quát trình học theo trường hợp dạng hình thức sau : Dữ liệu...
... chứa đối tượng có Ví dụ lớp Tác giả có quan hệ “nơi công tác tại” với lớp Tổ chức Quan hệ có ràng buộc tác giả có nơi công tác tại, tức cá thể Tác giả có quan hệ với cá thể Tổ chức 1.1.4 Làm ... tính lớp Tác giả, Trường, Tổ chức nên miền lớp Trong đó, khoảng lớp (hay lớp) làm kiểu cho giá trị thuộc tính kiểu thực thể Ví dụ thuộc tính Nơi sinh lớp Tác giả có giá trị cá thể (kiểu thực ... lớp thông dụng kiểu Thing đỉnh lớp cụ thể phía (theo Protégé Tutorial) Lớp có ràng buộc (restrictions) cho quan hệ cá thể thuộc lớp đó, ví dụTác giả phải viết nhiều tác phẩm cá thể tác giả phải...
... khái niệm: Thúc vào bụng với người lớn, Thúc vào bụng với trẻ nhỏ Thúc vào bụng với trẻ sơ sinh Hai loại quan hệ sử dụng có triệu chứng cách xử lý Các luật Thúc vào bụng với người lớn diễn giải ... ontology, v giá trị thuộc tính gắn với c f định nghĩa mặt giới hạn v Một vài mặt giới hạn bao gồm loại (ft), lực lượng (fc) phạm vi (fr) Mặt giới hạn ft kiểuliệu hỗ trợ trình soạn thảo ontology, ... THIỆU Ngày nay, với bùng nổ thông tin, thông tin web nhiều nhà nghiên cứu quan tâm Thế máy tính có tác dụng nhận hiển thị thông tin khả đọc hiểu thông tin Do vậy, việc tìm kiếm, tách chiết, lập...
... chứa đối tượng có Ví dụ lớp Tác giả có quan hệ “nơi công tác tại” với lớp Tổ chức Quan hệ có ràng buộc tác giả có nơi công tác tại, tức cá thể Tác giả có quan hệ với cá thể Tổ chức 1.1.4 Làm ... tính lớp Tác giả, Trường, Tổ chức nên miền lớp Trong đó, khoảng lớp (hay lớp) làm kiểu cho giá trị thuộc tính kiểu thực thể Ví dụ thuộc tính Nơi sinh lớp Tác giả có giá trị cá thể (kiểu thực ... lớp thông dụng kiểu Thing đỉnh lớp cụ thể phía (theo Protégé Tutorial) Lớp có ràng buộc (restrictions) cho quan hệ cá thể thuộc lớp đó, ví dụTác giả phải viết nhiều tác phẩm cá thể tác giả phải...
... cụng thc tng ng cú th xem nh cỏc biu din khỏc ca cựng mt s kin d dng vit cỏc chng trỡnh mỏy tớnh thao tỏc trờn cỏc cụng thc, chỳng ta s chun húa cỏc cụng thc, a chỳng v dng biu din chun c gi l ... cụng thc tng ng cú th xem nh cỏc biu din khỏc ca cựng mt s kin d dng vit cỏc chng trỡnh mỏy tớnh thao tỏc trờn cỏc cụng thc, chỳng ta s chun húa cỏc cụng thc, a chỳng v dng biu din chun Ngi ta...
... Chứng minh : Tổng kết : 14/15 Biểu diễn tri thức Logic mờ suy diễn Biểu diễn tập mờ → số mờ & thaotác Nghiên cứu : t – norm : t – conorm : n(.) : not ₣ (x, y) : ⇒ Mâu thuẫn : + Tường minh + Không ... Dư thừa (trong tập luật) Duyệt / Áp dụng không vét cạn Lựa chọn thể phép toán phù hợp Suy diễn thaotác trực tiếp (Linguistic Reasoning) 15/15 ... μA˜ (x) gọi độ thuộc x vào A Hàm thuộc hàm người quan sát cung cấp (subjective opinon) Mờ hoá: Với mọi giá trị ngôn ngữ ta gán tập mờ Các phép toán tập mờ Cho tập ( tập vũ trụ ) U ( Universer...
... định kiểu logic thể ngữ nghĩa CL đầy đủ Thuật ngữ tương ứng với đồ thị sinh Peirce: tác tử nguyên thủy kết hợp, phủ định lượng từ tồn Nó cho phép lượng từ nằm nhiều quan hệ Peirce thử nghiệm với ... Boston by bus” Đồ thị khái niệm hình 2.1 biểu diễn phiên có kiểu xếp logic Mỗi khái niệm bốn khái niệm có nhãn kiểu (type label) biểu diễn cho kiểu thực thể Person, Go, Boston Bus Hai khái niệm có ... thực thể liên kết với thành phần tham gia chúng quan hệ trường hợp vai trò theo chủ đề Hình 2.6 đồ thị khái niệm với quan hệ trường hợp trình bày cách tường minh Những nhãn kiểu If Then hình...
... luật: Luật: A ∧ B C Tương đương với hai luật: A C B C Với quy tắc này, ta loại bỏ hoàn toàn luật có phép nối HOẶC Các luật có phép nối thường làm cho thaotác xử lý trở nên phức tạp 10 Luật ... phải Với luật r R Với kiện A ∈VếPhải(r) Nếu A ∈VếTrái(r) Loại A khỏi vế phải R Nếu VếPhải(r) rỗng loại bỏ r khỏi hệ luật dẫn : R = R \{r} B2: Phân rã luật Với luật r : X1 ∨ X2 ∨ … ∨ Xn Y R Với ... khả chẩn đoán bệnh tri thức - Biết tam giác có yếu tố với công thức liên hệ yếu tố tri thức - Biết dạng cấu trúc liệu thường dùng lập trình với thuật toán xử lý cấu trúc tri thức Các dạng tri thức...
... hợp luật Luật A ∨ B → C Tương đương với hai luật A→C B→C Với quy tắc này, ta loại bỏ hoàn toàn luật có phép nối HOẶC Các luật có phép nối thường làm cho thaotác xử lý trở nên phức tạp VIII.3.4 ... Với luật r R Với kiện A ∈ VếPhải(r) Nếu A ∈ VếTrái(r) Loại A khỏi vế phải R Nếu VếPhải(r) rỗng loại bỏ r khỏi hệ luật dẫn : R = R – {r} B2 : Phân rã luật Với luật r : X1 ∨ X2 ∨ … ∨ Xn → Y R Với ... {r} B3 : Loại bỏ luật thừa Với luật r thuộc R Nếu VếPhải(r) ∈ BaoĐóng(VếTrái(r), R-{r}) R := R – {r} B4 : Rút gọn vế trái Với luật dẫn r : X : A1 ∧ A2, …, An → Y thuộc R Với kiện Ai thuộc r Gọi...
... báo biến chương trình Prolog vớikiểuliệu không chuẩn liệu chuẩn Dữliệu chuẩn prolog short, word, integer, real, string, symbol Cú pháp khai báo biến vớikiểuliệu = ... 14.1 ĐỊNH NGHĨA DỮLIỆU VÀO VÀ CÁC LUẬT CHÍNH Giả sử X,Y hai thành phố đến trực tiếp với mà không qua thành phố trung gian Dữliệu vào toán bao gồm: Tên khoảng cách X Y Để xử lý số liệu vào hệ thống, ... nghĩa định Với phương tiện máy tính (mà cụ thể thiết bị đầu ra), người tiếp thu phần liệu có ý nghĩa Nếu so lượng, liệu thường nhiều thông tin Cũng quan niệm thông tin quan hệ liệu Các liệu xếp...
... lớp đối tượng gồm: - Kiểu đối tượng: kiểu nầy loại kiểu thiết lập danh sách đối tượng - Danh sách thuộc tính: thuộc tính có kiểu thực, kiểu đối tượng hay kiểu đối tượng cấp thấp HVTH: Bùi Thị ... tin “Operators.txt” begin_Operators [, [các kiểu toán hạng], , ] [, [các kiểu toán hạng], , ] end_Operators - ... ; : ; HVTH: Bùi Thị Mỹ Duyên MSHV CH1101079 Trang 18 Bài thu hoạch môn Biểu diễn tri thức UD GVHD: PGS TS Đỗ Văn Nhơn begin_variables : ;...
... G Đặt : A0 = H, Ai = {f1, f2, , fi}(H), với i=1, ,m Khi có dãy {B0, B1, , Bm-1, Bm}, thỏa điều kiện sau đây: (1) Bm = G (2) Bi ⊆ Ai , với i=0,1, ,m (3) Với i=1, ,m, [fi] lời giải toán Bi-1 → Bi ... đổ lỗi cho người dùng việc đưa vào hệ thống tri thức Tuy việc tối ưu sở tri thức mặt tổng quát thaotác khó (vì tri thức thường có quan hệ không tường minh), giới hạn sở tri thức dạng luật, ta ... đường thẳng d1 d2 Sự kiện loại 9: Sự kiện đối tượng hay thuộc tính với hàm Ví dụ: Goc[A,B,C]=GOC(d1,d2) Sự kiện loại 10: Sự kiện hàm với hàm khác Ví dụ: Khoangcach(d,d1)=Khoangcach(d,d2) Sự kiện loại...
... điều kiện thaotác có ý nghĩa trực tiếp người dùng Chương trình có chuyển đổi lại điều kiện thaotác sang dạng phù hợp với chương trình Để làm điều trên, c ần phải liệt kê trạng thái thaotác toán ... thái thaotác - Trạng thái bản: Bình X đầy; Bình X rỗng; Bình X không rỗng; Bình X có n lít nước - Thao tác: Đổ bình; Đổ đầy nước bình, Đổ nước từ bình A sang bình B B đầy A rỗng Lưu ý ta thaotác ... tri thức để giải vấn đề DỮLIỆU THUẬT TOÁN DỮLIỆU CƠ SỞ TRI THỨC ĐỘNG CƠ SUY DIỄN Nếu xét theo quan niệm biểu diễn tri thức vừa thảo luận thì: - Cơ sở tri thức dạng liệu đặc biệt, Động suy diễn...
... giác mảng hai chiều A đó: Cột:: ứng với công thức Mỗi cột ứng với công thức tam giác khác (đỉnh hình chữ nhật) Dòng: ứng với yếu tố tam giác Mỗi dòng ứng với yếu tố tam giác khác (đỉnh hình tròn) ... hệ thống, ta sử dụng cấu trúc gọi bảng đen, dùng để liên kết thông tin luật tách biệt, thông qua module với nhiệm vụ tách biệt Dạng hệ thống Erman đưa lần vào năm 1980 áp dụng cho hệ chuyên gia ... a[2, 3] = temp; a[5, 4] = a[6, 4] = a[7, 4] = temp; } Để thực thaotác "kích hoạt" đỉnh hình tròn, ta đặt giá trị toà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ố...
... “ax + b = 0” , với “a=”, m – “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, ... a= 0} Vậy: "với m = 3", " pt có nghiệm nhất" = 5/6 delta = b2 – 4*a*c = 4m2 - 4(3-m)(m+2) Phương trình có nghiệm (delta > 0) với m thuộc khoảng Phương trình vô nghiệm (delta < 0) với m thuộc ... 2; Vậy, với m > 2, phương trình có tập nghiệm (-b/a, + vô cùng) (- (m+4) / (m-2), + vô cùng) với m < 2, phương trình có tập nghiệm (-vô cùng,- b/a) ( - vô cùng, - (m+4) / (m-2) ) với m...
... Chưa phân nhóm chất: Axit, Bazơ để tự học tạo phản ứng axit với bazơ • Chưa phân biệt mức độ khử 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ọc (dsphanung) • M: tập hợp chất (được suy từ dsphanung) III.Lưu trữ Các phản ứng lưu tập tin liệu “DuLieu.txt” Mỗi phản ứng đặt dòng theo cấu trúc tựa HTML như: dùng HTML element để tạo ... có chất vế trái • Ưu tiên phản ứng có vế phải chứa “chatcuoi” B0: Gán giá trị “uutien” phản ứng với số chất bên trái phản ứng “giatriuutien”=1; Sắp xếp phản ứng tăng dần theo giá trị “uutien”...
... khác Bao gồm thông tin, liệu, sách báo, văn bản, tài liệu hệ thống nhiều phương tiện Tri thức tường minh đặc trưng cách tiếp cận lý thuyết, cách giải vấn đề, tài liệu, sở liệu, sở tri thức • Tri ... nên ta không xét đến trường hợp liệu input bị sai nên liệu toán đưa vào phải liệu chuẩn, sai sót GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 24 - • Giải toán với Suy diễn tiến Hình 4.2: Minh ... dài đường cao tương ứng với cạnh a GVHD: PGS.TS Đỗ Văn Nhơn HVTH: Nguyễn Ngọc Hoàng - 17 - • hb: độ dài đường cao tương ứng với cạnh b • hc: độ dài đường cao tương ứng với cạnh c • S: diện tích...