... trường THPT Đối tượng phạm vi nghi n cứu Đối tượng nghi n cứu: - Giải toán điều chế chất hóa học – cân phản ứng hóa học sử dụng mạng ngữ nghĩa Phạm vi nghi n cứu: - Nghi n cứu phương pháp biểu ... ứng hóa học” để làm khóa luận tốt nghi p Mục đích nghi n cứu - Xây dựng chương trình điều chế chất hóa học, cân phản ứng hóa học sử dụng mạng ngữ nghĩa Nhiệm vụ nghi n cứu - Xây dựng chương trình ... công nghi p hoá, đại hoá đất nước phủ nhận, nhiên việc ứng dụng công nghệ thông tin vào lĩnh vực ứng dụng để khai thác hết mạnh ngành công nghệ thông tin câu hỏi lớn Việc ứng dụng tri thức nhân loại...
... trình Ta hình dung động suy diễn giống loại động tổng quát chuẩn hóa dùng để vận hành nhiều loại xe máy khác sở tri thức loại nhiên liệu đặc biệt để vận hành loại động Hình ảnh sau tóm tắt cho thấy ... lợi, ví máy tính có khả “mày mò” hẳn Nếu Phạm Tuấn Khiêm Bài thu hoạch: Công nghệ tri thức ứng dụng “kinh nghi m” mà cung cấp cho máy tính không giúp tìn lời giải, thay kinh nghi m khác lại tiếp ... kết hay không Sau nhiều lần thí nghi m ta rút số kinh nghi m “khi bình đầy nước mà bình chưa đầy đổ sang bình bình đầy” v.v Vậy ta lại không thử “truyền” kinh nghi m cho máy tính máy tính “mày...
... diễn đối tượng không cần phải tương tác cách tường minh luật Khảphân lớp frame dùng để phân hoạch, tạo mục xếp luật sinh hệ thống Khảthích hợp cho người dùng việc xây dựng hiểu luật, theo dõi ... điều chỉnh) Rất khó theo dõi phân cấp, không hiệu hệ thống lớn, biểu diễn loại tri thức, yếu việc biểu diễn tri thức dạng mô tả, có cấu trúc Mạng ngữ nghĩa Dễ theo dõi phân cấp, dò theo mối liên ... frame liên kết với theo cách Một điểm thú vị frame tính phân cấp Đặc tính cho phép kế thừa tính chất frame Hình sau cho thấy cấu trúc phân cấp loại hình hình học Gốc tương ứng với mức độ trừu tượng...
... F.Sowa, ontology đặc tả danh mục loại xá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 ... dùng để phân biệt với lớp khác Có hai loại: thuộc tính đơn (simple property) thuộc tính phức (complex property) Thuộc tính đơn giá trị đơn ví dụ: chuỗi, số,… thuộc tính phức chứa tham khảo đến ... (http://www.ontoknowledge.org/oil/) Châu Âu đề xuất OWL giúp tăng thêm yếu tố logic cho thông tin khảphân loại, ràng buộc kiểu lượng số tương đối mạnh Là ngôn ngữ mô tả từ vựng phong phú để mô tả thuộc...
... begin_objects end_objects Cấu trúc tập tin “RELATIONS.txt” begin_relations [,,,…], ... 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 định loại đối ... trường hợp Ta nói kiện B luật (1) dư thừa loại bỏ khỏi luật dẫn 8.3 Phân rã kết hợp luật: Luật: A ∧ B C Tương đương với hai luật AC BC Với quy tắc này, ta loại bỏ hoàn toàn luật có phép nối HOẶC...
... vực Ontology lĩnh vực có ba loại quan hệ, bao gồm khái quát hóa, quy nạp liên đới Quan hệ giữ lĩnh vực phân hệ tương ứng khái quát hóa, thể quan hệ “thuộc loại Quan hệ phân hệ kiện tương ứng quy ... bao gồm tầng lĩnh vực, tầng phân hệ, tầng kiện, tầng chứa lớp Một ontology miền thể tên miền ontology bao gồm nhiều phân hệ khác định nghĩa chuyên gia lĩnh vực Mỗi phân hệ tổ hợp bới tập kiện, ... internet Các khái niệm phân làm phân hệ sau: Tình huống: kiện diễn mà người sử dụng cần đến hỗ trợ y khoa, trường hợp thông tin tư vấn sở tri thức MedicKBase, để có xử lý thích hợp Bệnh: khái...
... F.Sowa, ontology đặc tả danh mục loại xá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 ... dùng để phân biệt với lớp khác Có hai loại: thuộc tính đơn (simple property) thuộc tính phức (complex property) Thuộc tính đơn giá trị đơn ví dụ: chuỗi, số,… thuộc tính phức chứa tham khảo đến ... (http://www.ontoknowledge.org/oil/) Châu Âu đề xuất OWL giúp tăng thêm yếu tố logic cho thông tin khảphân loại, ràng buộc kiểu lượng số tương đối mạnh Là ngôn ngữ mô tả từ vựng phong phú để mô tả thuộc...
... 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);...
... 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 ... 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ờ & thao tác Nghi n cứu : t – norm : t – conorm : n(.) : not ₣ (x, y) : ⇒ Mâu thuẫn : + Tường minh + Không tường...
... logic bậc tổng quát hóa toán tử kiểu Boolean Từ Boole xem phân rã việc cộng logic kết hợp nhân logic, Peirce biểu diễn toán tử tồn Σ cho việc phân rã lặp lặp lại toán từ với Π cho việc kết hợp lặp ... bắt đầu thử nghi m với đồ thị quan hệ cho việc biểu diễn logic hình 2.3 Trong đồ thị đó, lượng từ tồn biểu diễn đường nhận diện kết hợp toán tử Boolean mặc định Vì đồ thị Peirce không phân biệt ... “John is going to Boston by bus” Peirce thử nghi m với nhiều phương phá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...
... trường hợp Ta nói kiện B luật (1) dư thừa loại bỏ khỏi luật dẫn Phân rã kết 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 ... 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 i từ đến n R := R + { Xi Y } R := R \ {r} B3: Loại bỏ luật thừa Với luật ... 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ả cao 1.2 Biễu diễn tri thức...
... hợp Ta nói kiện B luật (1) dư thừa loại bỏ khỏi luật dẫn VIII.3.3 Phân rã kết 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 ... 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 i từ đến n R := R + { Xi → Y } R := R – {r} B3 : Loại bỏ luật thừa Với ... hóa tập luật cho cách loại luật có phép nối HOẶC, luật hiển nhiên luật thừa Thuật toán bao gồm bước B1 : Rút gọn vế 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...
... Hollywood Vậy nghi n cứu trí tuệ nhân tạo? Điều tương tự ước mơ chế tạo vàng nhà giả kim thuật thời Trung Cổ, chưa thành công trình nghi n cứu làm sáng tỏ nhiều vấn đề Nhận thức hiểu khả quan sát, ... tri thức Cũng vậy, cần có kinh nghi m, nhận xét từ hàng đống số liệu thống kê, không, ngập chìm biển thông tin nhà bác học Karan Sing cảnh báo Người ta thường phânloại tri thức làm dạng sau : ... hợp Ta nói kiện B luật (1) dư thừa loại bỏ khỏi luật dẫn 4.1.1.3 Phân rã kết 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...
... 1: Phânloạ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ânloạ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 ... cấp Loại đối tượng nầy có thuộc tính loại real thuộc tính thuộc loại đối tượng cấp 1, đối tượng thiết lập danh sách đối tượng Ví dụ: TAM_GIAC[A,B,C] TU_GIAC[A,B,C,D], A, B, C, D đối tượng loại ... cho khái niệm loại đối tượng C-Object [2] Tập tin “RELATIONS.txt” lưu trữ thông tin loại quan hệ khác loại C-Object [3] Tập tin “Hierarchy.txt” lưu lại biểu đồ Hasse thể quan hệ phân cấp đặc biệt...
... thống phát triển theo ba bước - Phânloại toán Phânloại giả thiết biểu diển chúng dựa loại kiện mô hình - KBCO Mô hình loai toán từ phânloại bước Từ mô hình loại, khởi tạo mô hình tổng quát ... 1.1.15.Các loại kiện mô hình KBCO Trong mô hình KBCO có 11 loại kiện chấp nhận Các loại kiẹn đề xuất từ nghi n cứu dựa yêu cầu thực vấn đề lĩnh vực tri thức khác Các loại kiện bao gồm: Sự kiện loại ... Kỹ thuật thiết kế Quá trình phân tích thiết kế thành phần hệ thống bao gồm bước sau B1: Tập hợp tri thức thực tế dựa mô hình KBCO B2: Phânloại tri thức B1, tiến tới phân tích yêu cầu B3: Xây dựng...
... trình Ta hình dung động suy diễn giống loại động tổng quát chuẩn hóa dùng để vận hành nhiều loại xe máy khác sở tri thức loại nhiên liệu đặc biệt để vận hành loại động Hình ảnh sau tóm tắt cho thấy ... lợi, ví máy tính có khả “mày mò” hẳn Nếu Phạm Tuấn Khiêm Bài thu hoạch: Biểu diễn tri thức ứng dụng “kinh nghi m” mà cung cấp cho máy tính không giúp tìn lời giải, thay kinh nghi m khác lại tiếp ... kết hay không Sau nhiều lần thí nghi m ta rút số kinh nghi m “khi bình đầy nước mà bình chưa đầy đổ sang bình bình đ ầy” v.v Vậy ta lại không thử “truyền” kinh nghi m cho máy tính máy tính “mày...
... luật thể tri thức phânloại theo loại tri thức Và vậy, 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 Các ví dụ sau minh họa cho loại luật Quan hệ ... 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ânloại theo cách thức giải vấn đề Điển hình theo phânloại luật theo cách thức diễn giải, chẩn đoán, thiết kế Diễn giải IF ... 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) -> ¬ 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ừ thông...
... cầu: có nghi m nhất, có nghi m kép, có toán nghi m phân biệt vô nghi m d/ Ví dụ: Tìm m để phương trình: (3-m)x2 - 2mx + m + = ; có nghi m nhất; có nghi m phân biệt, có nghi m kép vô nghi m Bài ... với Nghi m x Cho biến { i } duyệt hết tất nghi m x vừa tìm được, nghi m tìm số thực in hình phương trình có nghi m nghi m thực ngược lại phương trình nghi m thực II.3 CẢI TIẾN HÀM BIỆN LUẬN NGHI M ... “bptb1” giải Yêu cầu: biện luận theo m để có nghi m, vô toán nghi m, vô số nghi m d/ Ví dụ: Tìm m để phương trình:(m-2)x - m + > 0; có nghi m; vô nghi m, vô số nghi m Bài giải chương trình: Ta có: “ax...
... Browser Control VIII Nhận xét • 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 ... 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 • Bài giảng PGS.TS Đỗ Văn Nhơn • Luận văn Thạc sĩ Khoa học Tin học (1995) – Phần IVb – Đỗ...
... 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ả cao • ... b^2+c^2, b ⊥ c}, } Khảo sát toán suy diễn tính toán C-Object xây dựng thuật giải thích hợp sở cho việc thiết kế hệ hỗ trợ giải toán kết hợp với tra cứu kiến thức học kiến thức Tuy nhiên, loại C-Object ... giải toán tự động” Trong mô hình này, quan hệ tính toán 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...