... hướng đối tượng để biểu diễn tri thức Do đó, sử dụng môhình giúp dễ thiết kế môhình cho ứng dụng cụ thể vá thiết kế giải thuật Trang 10 Chương II Áp Dụng Mạng Tính Toán Trong Hình Học Giải Tích ... giải toán hình học giải tích không gian Môhình biểu diễn tri thức dạng cho phép ta thực tính tóan biến hay hiều đối tượng dựa tập biến đối tượng khác 1.1.4 Môhình biểu diễn tri thức COKB Theo ... thông qua quan hệ “là” Cùng với ưu điểm cách biểu diễn trừu tượng khái quát, áp dụng phải phát triển môhình tri thức cụ thể Các môhình biểu diễn tri thức theo mạng ngữ nghĩa: Mạng tính tóan: Là...
... a h b g c f 12 HìnhHình minh họa tập xấp xỉ Giả sử quan hệ tơng đơng R phân hoạch U thành 24 lớp X U đợc minh hoạ theo hình Elips (xem hình 1) Khi đó: Xấp xỉ dới: XR = m n (2 hình tô đậm Elips) ... luật chung mẫu (patterns) để biểu diễn tri thức T I LIệU THAM KHảO [1] Bạch Hng Khang, Hoàng Kiếm, Trí tuệ nhân tạo - Các phơng pháp ứng dụng, Nhà xuất Khoa học Kỹ thuật, Hà Nội, 1989 62 Đại ... học Vinh Tạp chí khoa học, tập XXXVII, số 1A-2008 [2] Nguyễn Bá Tờng, Nhập môn sở liệu phân tán, Nhà xuất Khoa học Kỹ thuật, Hà Nội, 2005 [3] M Rauszer Cecylia, Knowledge Representation Systems...
... tắc môhình hóa thành Fm hình 3.a Hình 3.a minh họa hàm sau: IF XG THEN XG (Cf1) Theo quy luật, giá trị đạt tồng hợp kết hàm trước hàm CF Một điểm chuyển thành điểm sau xử lý chuyển đổi Hình ... kiến thức chuyên môn, trí thông minh người để giải vấn đề giới Kiến thức chuyên môn thường thể qua quy luật liệu máy tính Tùy thuộc vào yêu cầu cần giải quyết, quy tắc liệu lấy để giải vấn đề Hệ ... đề xuất môhình cho cấu trúc liệu Metagraph Họ dùng nhớ máy tính để lưu trữ liệu thay cho cách dùng ma trận kề danh sách kề có hiệu hơn[3], họ đề xuất cấu trúc Metagraph dựa nhữn mẫu ngữ nghĩa...
... 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 ... trúc xác định III CÁC KỸTHUẬT BIỄU DIỄN TRI THỨC Phần trình bày kỹthuật phổ biến để biểu diễn tri thức, bao gồm: Bộ ba Đối tượng-Thuộc tính-Giá trị Các luật dẫn Mạng ngữ nghĩa Frames Logic ... theo đặc tính có liên quan đến tri thức có II CÁC 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 Mặc dù vậy, không kỹ...
... TRI THC V NG DNG 12 T chc c s tri thc v cỏc C-Object 12.1 Cỏc thnh phn ca COKB C s tri thc v cỏc C-Object theo mụ hỡnh COKB cú th c t chc bi mt h thng tin bn cú cu trỳc th hin cỏc thnh phn mụ ... cỏc tam giỏc v t giỏc hỡnh hc phng theo mụ hỡnh COKB Phn kin thc v cỏc tam giỏc v cỏc t giỏc hỡnh hc phng cú th c biu din theo mụ hỡnh tri thc COKB vi cỏc thnh phn nh di õy [1] Cỏc khỏi nim v ... liờn h v cu trỳc thụng tin c s tri thc cú th c minh trờn s sau õy: Biu liờn h gia cỏc thnh phn COKB 19 PGS.TS: Vn Nhn 12.2 BIU DIN TRI THC V NG DNG Cu trỳc ca cỏc tin lu tr cỏc thnh phn C-Object...
... cho hình chữ nhật Việc tính toán hình chữ nhật liên quan đến số yếu tố hình chữ nhật sau: b1, b2 : hai cạnh hình chữ nhật; d : đường chéo hình chữ nhật; S : diện tích hình chữ nhật; p : chu vi hình ... mềm hỗ trợ “Giải toán hình học số đối tượng hình học bản” MÔ TẢ BÀI TOÁN Gói phần mềm giải toán dựa số đối tượng hình học (trên loại tam giác, hình chữ nhật, hình vuông) mô tả sau: − Input: toán ... ỨNG DỤNG GIẢI BÀI TOÁN HÌNH HỌC TRÊN MỘT SỐ ĐỐI TƯỢNG HÌNH HỌC CƠ BẢN Sau tìm hiểu môhình Mạng Tính Toán Mạng Các Đối Tượng Tính Toán, phần trình bày việc ứng dụng môhình việc cài đặt gói phần...
... nghiên cứu, phơng pháp giải vấn đề, đến điều kiện lý tởng để thực hành luận văn Tôi xin chân thành bày tỏ lòng biết ơn tới tất giáo s, đặc biệt GS José Júlio Alferes, trung tâm Logic tính toán, ... lời cảm ơn Trớc tiên xin gửi lời cảm ơn đặc biệt tới PGS.TS Nguyễn Thanh Thủy, ngời định hớng đề tài tận tình hớng dẫn bảo suốt trình thực ... kiến thức quý báu vấn đề đại ngành logic tính toán, trí tuệ nhân tạo, công nghệ thông tin, cho môi trờng tập thể, khoảng thời gian khó quên động viên, giúp đỡ khích lệ thời gian thực luận văn...
... ngữ nghĩa loại đồ thị thừa hưởng tất mặt mạnh công cụ Nghĩa ta dùng thuật toán đồ thị mạng ngữ nghĩa thuật toán tìm liên thông, tìm đường ngắn nhất,… để thực chế suy luận Điểmđặc biệt mạng ngữ ... Ưu điểm nhược điểm mạng ngữ nghĩa Ưu điểm Mạng ngữ nghĩa linh động, ta dễ dàng thêm vào mạng đỉnh cung để bổ sung tri thức cần thiết Mạng ngữ nghĩa có tính trực quan cao nên dễ hiểu Mạng ngữ ... nghĩa thường khó khăn (đặc biệt mạng có kích thước lớn) Do đó, môhình mạng ngữ nghĩa dùng chủ yếu để phân tích vấn đề Sau đó, chuyển đổi sang dạng luật frame để thi hành mạng ngữ nghĩa dùng kết...
... logic .II Biểu diễn tri thức nhờ logic vị từ bậc II.1 Cú pháp ngônngữ vị từ bậc Trong ngônngữ vị từ bậc một, cách sử dụng bảng ký hiệu đặc biệt, người ta đưa vào khái niệm hạng (term), nguyên tử ... thức thủ tục : thường dùng để diễn tả phương pháp, bước cần tiến hành, tr�nh từ hay ngắn gọn cách giải vấn đềThuật toán, thuật giải dạng tri thức thủ tục +Tri thức mô tả : cho biết đối tượng, ... thường mà kết tinh cô đọng lại Hãy hình dung liệu điểm mặt phẳng tri thức phương trình đường cong nối tất điểm lại Chỉ cần phương trình đường cong ta biểu diễn vô số điểm! Cũng vậy, cần có kinh nghiệm,...
... đồ sau đây: Hình 2-5: Sơ đồ tổ chức theo môhìnhCOKB 1.4.4 Ngônngữđặc tả theo môhình COKB: Ngônngữđặc tả theo môhìnhCOKB xây dựng để biểu diễn cho tri thức có dạng COKBNgônngữ bao gồm ... học phẳng 1.4 MôhìnhCOKB 1.4.1 Định nghĩa môhìnhCOKBMôhình biểu diễn tri thức COKB( Computational Objects Knowledge Base) [4] môhình tri thức đối tượng tính toán MôhìnhCOKB hệ thống gồm ... động - Thích hợp cho việc định dạng ngônngữ khai báo toán đặc tả toán cách tự nhiên Với ưu điểmmôhìnhCOKBmôhình lý tưởng để biểu diễn tri thức thay cho môhình biểu diễn tri thức thông thường...
... cách (space hay blank) 22/69 Cá c b c xây d ng CTC \ Cho m t phát bi u (s ki n) NNTN : u (Ch ai) i mô c ng nh v Hà T nh \ Xác nh mi n i t ng : i : cu Tý, cu Tèo, N … X D1 u Ng Y D2 u Quê : Hà T nh, ... nh ng v t b c m t, mà có b c cao h n (higher-order) 25/69 M t s nh n xét \ Tri th c di n t theo ngôn ng t nhiên hay toán h c không ph i luôn d dàng chuy n i thành CTC lôgic v t b c m t di n t...
... o để tích h p th nh phần s ph m v o h th ng ngh l g n k t đ c c c tính ch t s ph m v o n i ung v ho t đ ng h c tập v (2) l m th n o để h th ng thích nghi v i đ c điểm nhu cầu củ ng i h c c c ngữ ... k ch n y v h c kh c nh u KG; - i i thuật trích xu t m h nh Sub-KG t KG tiêu cho tr mục c - ề xu t kh i ni m e-Course để ph t triển n i ung p ụng đ i v i c c ngữ c nh y h c cụ thể yh cv t qu đ ... t Sub-KG t KG t ê ể ph t sinh k ch h c kh c nh u nh đ tr nh ục tiêu n cho c c ngữ c nh y phần n y s tr nh thuậtđể trích xu t Sub-KG t m t KG cho tr Gi i t uật ho tr t i u - G yv y gi i c t ê...
... o để tích h p th nh phần s ph m v o h th ng ngh l g n k t đ c c c tính ch t s ph m v o n i ung v ho t đ ng h c tập v (2) l m th n o để h th ng thích nghi v i đ c điểm nhu cầu củ ng i h c c c ngữ ... k ch n y v h c kh c nh u KG; - i i thuật trích xu t m h nh Sub-KG t KG tiêu cho tr mục c - ề xu t kh i ni m e-Course để ph t triển n i ung p ụng đ i v i c c ngữ c nh y h c cụ thể yh cv t qu đ ... t Sub-KG t KG t ê ể ph t sinh k ch h c kh c nh u nh đ tr nh ục tiêu n cho c c ngữ c nh y phần n y s tr nh thuậtđể trích xu t Sub-KG t m t KG cho tr Gi i t uật ho tr t i u - G yv y gi i c t ê...
... 52 Hình 1.18 So sánh tương đồng KG môhình Learnativity 57 Hình 1.19 Minh họa cho thành phần môhình Learnativity 58 Hình 1.20 Minh họa cho thành phần môhình KG 59 Hình ... hình hoạt động tổng quát ACeLF 109 Hình 3.7 Phương thức tư vấn ACeLF 109 Hình 3.8 Môhình hoạt động tự học 110 Hình 3.9 Môhình hoạt động học nhóm 111 Hình ... 111 Hình 3.10 Môhình hoạt động học cộng tác 112 Hình 3.11 Môhình hoạt động tư vấn 112 Hình 3.12 Môhình hoạt động học kiểm tra – đánh giá 113 Hình 3.13 Quy trình...