... biểudiễntrithứclậpluậnlogicmôtả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểudiễntri thức, lậpluận sở trithức ngơn ngữ logicmơtảđiễn hình Cùng với việc biểudiễntri thức, ... tổng quan logicmôtả số phần giới thiệu chương làm rõ ràng chương - 16 - Chương Biểudiễntrithứclậpluậnlogicmôtả Việc biểudiễntrithứclậpluận từ trithức có để đưa trithức hay định ... trình nghiên cứu logicmơtảTrong chương này, đề cập đến chức biểudiễntrithứclậpluận cách cụ thể 2.1 Biểudiễntrithức 2.1.1 Cơ sở trithức Một hệ thống biểudiễntrithức (knowledge representation)...
... biểudiễntrithứclậpluậnlogicmôtả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểudiễntri thức, lậpluận sở trithức ngôn ngữ logicmôtảđiễn hình Cùng với việc biểudiễntri thức, ... biểudiễntrithứclậpluậnlogicmôtả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểudiễntri thức, lậpluận sở trithức ngôn ngữ logicmơtảđiễn hình Cùng với việc biểudiễntri thức, ... Tổng quan logicmôtả Chương đề cập đến động thúc đẩy phát tri n logicmôtả hình thức cho việc biểudiễntrithức số ý tưởng quan trọng cho tảng hệ thống tạo logicmôtả truyền thống Trong chương...
... biểudiễntrithứclậpluậnlogicmôtả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểudiễntri thức, lậpluận sở trithức ngôn ngữ logicmôtảđiễn hình Cùng với việc biểudiễntri thức, ... quan logicmôtảTrong phần cung cấp nhìn tổng quan logicmơ tả: Sự đời logicmô tả, thành tựu lịch sử nghiên cứu logicmô tả, ứng dụng ngành khoa học khác logicmôtả Chương 2: Trình bày cách biểu ... cụ để biểudiễntrithức cách thuận lợi logicmôtả công cụ để biểudiễntrithức tổ chức nghiên cứu khoa học sử dụng đến Logicmôtả (Description logics - DL) thuật ngữ sử dụng gần để biểu đạt...
... sinh đọc sách (tri thức hiện) rút học, trithức cho (ẩn) Biểudiễntrithức 2.2.1 Khái niệm Biểudiễntri thức( knowledge representation): phương pháp diễntả tổ chức 2.2 trithức máy tính cho ... đạt, liên hệ, suy luậnTrongtri t học, ngành nghiên cứu trithức gọi trithứcluậnTrithức có dạng tồn trithức ẩn trithức • Trithứctrithức giải thích mã hóa dạng văn bản, tài liệu, âm thanh, ... từ trithức ẩn thành trithức ẩn Trithức từ người không qua trung gian mà chuyển thành trithức người • Ẩn - Hiện: Một người mã hóa trithức thành văn hay hình thức hữu khác lại trình tri thức...
... luận kiện, tượng trithứcmôtả Các ước lượng, suy đốn hình thành qua kinh nghiệm trithức heuristic BiểudiễntrithứcBiểudiễntrithức phương pháp mã hóa tri thức, nhằm thành lập sở trithức ... thống dựa trithứcBiểudiễntrithức máy tính phục vụ cho việc thu nhận trithức vào máy tính, truy xuất trithứcthực phép suy luận dựa trithức lưu trữ Có nhiều phương pháp biểudiễntrithức như: ... nghĩa hình thức miêu tả ý nghĩa trithức cách xác: Ý nghĩa ngữ nghĩa hình thức tồn thời gian dài miền toán logic Việc sử dụng ngữ nghĩa hình thức cho phép người suy diễntrithức Với trithức ontology...
... hạn chế định biểudiễn suy luậntrithức phức tạp Ontology hướng nghiên cứu phát tri n Ontology trithức đối tượng tính tốn COKB-ONTO mơ hình sử dụng hiệu việc biểudiễn sở trithức phức tạp ... thiết kế mô un truy cập sở trithức SVTH : CH1301074 – Nguyễn Hải Yến 39 Biểudiễntrithức suy luận - PGS.TS Đỗ Văn Nhơn Thích hợp cho việc thiết kế sở trithức với khái niệm biểudiễn đối tượng ... thể cao, linh động (dễ điều cấp, không hiệu chỉnh) hệ thống lớn, biểudiễn loại tri thức, yếu việc biểudiễntrithức dạng mô tả, có cấu trúc Mạng ngữ Dễ theo dõi phân cấp, dò theo mối Ngữ nghĩa...
... sử dụng lại kết biết 2.3.1 Miền trithứctrithứcbiểudiễnmơ hình COKB: Cho trithức K=(C, H, R, Ops, Funcs, Rules) , miền trithức K trithứcbiểudiễnmơ hình COKB sau: Kp =(Cp, Hp , Rp, ... dựa vào kết từ vấn đề cũ để giải vấn đề đặt hay khơng Như vậy, mơ hình biểudiễntrithức cần phải mô cách tư người để trình suy diễn nhanh chóng tìm kiếm sử dụng lại kết biết 2.3.1 Miền trithức ... thành phần sau: Trong đó, (C, H, R, Ops, Funcs, Rules) trithứcbiểudiễn theo mơ hình COKB; Sample tập hợp toán mẫu miền trithứcMơ hình COKB_SP phương pháp hiệu việc thiết kế sở trithứcthực tế,...
... ĐẦU Biểudiễntrithức vấn đề quan trọng hệ thống dựa trithức Các hệ thống dựa trithức phổ biến phải đề cập tới hệ chuyên gia, hệ giải toán Các hệ thống phụ thuộc lớn vào cách biểudiễntrithức ... với người Sau ta tìm hiểu mơ hình biểudiễntrithức gọi mơ hình trithức đối tượng tính tốn UIT | PHẦN 1: MƠ HÌNH TRITHỨC CÁC ĐỐI TƯỢNG TÍNH TỐN Mơ hình trithức đối tượng tính tốn xây dựng ... hướng đối tượng kết hợp kỹ thuật biểudiễn cấu trúc, biểudiễn thủ tục, biểudiễn mạng, biểudiễn theo đối tượng kỹ thuật tính tốn symbolic máy tính I Mơ hình trithức đối tượng tính tốn Mơ hình...
... luận miền trithức có khả cao 1.2 Biễudiễntrithức xử lý trithứcBiểudiễntrithức (Kowledge Representation) phương pháp cho phép mã hóa trithức sở trithức hệ thống Biểudiễntrithức vấn ... - Trithức meta: môtảtrithứctrithức Loại trithức giúp lựa chọn trithức thích hợp số trithức giải vấn đề Các chuyên gia sử dụng trithức để điều chỉnh hiệu giải vấn đề cách hướng lậpluận ... LỜI MỞ ĐẦU Việc xây dựng mơ hình biểudiễntrithức để đưa trithức lên máy tính, tổ chức lưu trữ xử lý tri thức, đặc biệt suy luận giải vấn đề, tốn Biểudiễntrithức đóng vai trò quan trọng thiết...
... hình thức hỗ trợ suy diễn thường cung cấp việc ánh xạ ngơn ngữ Ontology đến hình thứclogic sử dụng suy diễn tự động hình thức tồn OWL ánh xạ logic miêu tả sử dụng suy diễn tồn FaCT RACER Các logic ... Các hạn chế(restrictions): môtảthức tuyên bố điều phải xác cho số khẳng định chấp nhận đầu vào Các quy tắc(rules): tuyên bố có hình thức cặp nếu-thì (if-then) mơtả suy luậnlogic rút từ khẳng ... tương ứng với logicmô tả, lĩnh vực nghiên cứu logic tạo nên thiết lậpthức OWL OWL Full muốn đề cập tới người dùng cần diễn cảm tối đa tự RDF mà không cần đảm bảo tính tốn biểuthức Ví dụ, OWL...
... Mục lục I MẠNG TÍNH TỐN Giới thiệu Mạng tính tốn dạng biểudiễntrithức dùng biểudiễntrithức vấn đề tính tốn áp dụng cách có hiệu để giải vấn đề nầy Mỗi mạng tính tốn ... dụng cụ thể biến giá trị thường gắn liền với khái niệm cụ thể vật, quan hệ thể trithức vật Cách biểudiễntrithức tính tốn dạng đối tượng nầy tự nhiên gần gũi cách nhìn nghĩ người giải vấn ... tính tốn suy luận Từ cơng thức (1) ta suy góc γ Tiếp theo từ cơng thức (2) suy độ dài cạnh b , công thức (3) suy độ dài cạnh c Tiếp theo từ công thức (5) suy chu vi p Tiếp theo từ cơng thức (6) suy...
... hay khái niệm • Siêu trithức – metaknowledge: Môtảtrithứctrithức Loại trithức giúp lựa chọn trithức thích hợp số trithức giải vấn đề Các chuyên gia sử dụng trithức để điều chỉnh hiệu ... hợp phương pháp biểudiễntrithức có với phát tri n định để tạo số mơ hình biểudiễntrithức với phạm vi trithức bao gồm nhiều dạng kiến thức đa dạng hơn, mơ hình biểudiễntrithức sử dụng sở ... giải vấn đề cách hướng lậpluận miền trithức có khả cao • Trithức heuristic – heuristic knowledge: Môtả “mẹo” để dẫn dắt tiến trình lậpluậnTrithức heuristic gọi trithức nơng cạn khơng đảm...
... trang 22 CH1301030 – Vũ Thế Nhân I.Mạng tính tốn Giới thiệu Mạng tính tốn dạng biểudiễntrithức dùng biểudiễntrithức vấn đề tính tốn áp dụng cách có hiệu để giải vấn đề nầy Mỗi mạng tính tốn ... dụng cụ thể biến giá trị thường gắn liền với khái niệm cụ thể vật, quan hệ thể trithức vật Cách biểudiễntrithức tính tốn dạng đối tượng nầy tự nhiên gần gũi cách nhìn nghĩ người giải vấn ... tính tốn suy luận Từ cơng thức (1) ta suy góc γ Tiếp theo từ cơng thức (2) suy độ dài cạnh b , công thức (3) suy độ dài cạnh c Tiếp theo từ công thức (5) suy chu vi p Tiếp theo từ công thức (6) suy...
... PHÁP BIỂUDIỄNTRITHỨC CƠ BẢN Logic mệnh đề logic vị từ Dạng biểudiễntrithức cổ điển máy tính logic, với dạng phổ biến logic mệnh đề logic vị từ Cả dạng dùng ký hiệu để biểudiễntrithức ... quát Đây kiểu biểudiễntrithức có cấu trúc Ý tưởng trithức cấu trúc cặp giả thiết kết luận dạng: Đây dạng biểudiễntrithức phổ biến Mơ hình biểudiễntrithức dạng thường ... LỜI MỞ ĐẦU Trong lĩnh vực trí tuệ nhân tạo, có nhiều phương pháp để biểudiễntrithức phương pháp lại không hiệu việc biểudiễn suy luậntrithức phức tạp Phương pháp biểudiễntrithức đóng...
... cần phải biểudiễntrithức đối tượng có thuộc tính quan hệ nội tại, đồng thời phải thể quan hệ đối tượng 1.3 Phạm vi đề tài Trong phạm vi giới hạn, thu hoạch dừng lại việc biểudiễntrithức ứng ... để môtả tất thông tin du lịch khu vực, vùng, miền, tỉnh thành phố Ví dụ: Attr= { DiaDanh: string; ViTri: string DienTich: float; LeHoi: string; VanHoa: string; AmThuc: string; 13 DanToc: string; ... v.v Ops tập chứa toán tử C Thành phần biểudiễn phần trithức toán tử đối tượng Funcs tập chứa hàm đối tượng tính tốn Trithức hàm phổ biến hầu hết miền trithứcthực tế, đặc biệt lĩnh vực khoa...
... Trọng Nghĩa – CH1301042 10 Bài thu hoạch môn: Biểudiễntrithức GVHD: PGS TS Đỗ Văn Nhơn Hình 5: Mạng mở rộng ngữ nghĩa biểudiễntrithức I.4.6 Biểudiễntrithức nhờ ngơn ngữ nhân tạo - Nói chung, ... cách lậpluận hệ thống cho người sử dụng o Khả thu nhận trithức (explanation facility) Cho phép người sử dụng bổ sung trithức vào hệ thống cách tự động thay tiếp nhận trithức cách mã hoá trithức ... thu hoạch môn: Biểudiễntrithức GVHD: PGS TS Đỗ Văn Nhơn Hình 8: Bảng tra hướng tốt, xấu dựa vào cung mệnh HVTH: Phan Trọng Nghĩa – CH1301042 17 Bài thu hoạch môn: Biểudiễntrithức - GVHD:...
... phương pháp để biểudiễntrithức phương pháp lại không hiệu quả việc biểudiễn suy luậntrithức phức tạp Phương pháp biểudiễntrithức đóng vai trò quan trọng thiết kế hệ thống trithức phức tạp ... nhiều kiến thức chuyên sâu môn biểudiễntrithức liệu Từ vốn hiểu biết rộng rãi thầy định hướng, diễn giảng giới thiệu nhiều vấn đề liên quan đến mơn học, qua góp phần hồn thiện thêm kiến thức học ... Ví dụ: GOC(d,d1)+ GOC(d,d3) = GOC[A,B,C].a+GOC(d,d2) Trang | 11 Mạng đối tượng tính tốn 2.1 Khái niệm: Mạng tính tốn [là dạng biểudiễntrithức dùng biểudiễn tri...
... thơng minh hệ trithức nhiều lĩnh vực trithức khác hệ thống trithức nhiều lĩnh vực trithức khác Mơ hình đời theo cách tiếp cận hướng đối tượng để biểudiễntrithức với kĩ thuật lập trình tính ... sở trithức Công cụ suy diễn Thành phần diễn giải Bộ nhớ làm việc Quản lý trithức Giao diện Hình sau môtả cấu trúc hệ thống Cơ sở trithức (Knowledge Base) chứa trithức để giải vài ... operator expr logic- expr ::= logic- expr OR logic- term | logic- expr IMPLIES logic- term| NOT logic- term | logic- term | logic- term ::= logic- term AND logic- primary | logic- primary | logic- primary...
... Biểudiễntrithức Để sử dụng tri thức, trithức cần biểudiễn dạng thuận tiện cho việc môtả suy diễn Nhiều ngơn ngữ mơ hình biểudiễntrithức thiết kế để phục vụ mục đích Ngôn ngữ biểudiễntri ... vi yếu Biểudiễntrithức suy luận như: Suy luận không đơn điệu, Logictri thức, duyệt lại tín nhiệm suy luận hành động, lập trình logic, mạng ngữ nghĩa ứng dụng Biểudiễntrithức suy luận, nghiên ... hình thức để biểudiễn suy luậntrithức Trang 12 Biểudiễntrithức suy luận 2.4 2.4.1 Logic mệnh đề Cú pháp Logic mệnh đề logic đơn giản, khả biểudiễn số hạn chế thuận tiện cho ta đưa vào nhiều...