biểu diễn tri thức và lập luận trong logic mô tả

... biểu diễn tri thức lập luận logic mô tả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểu diễn tri thức, lập luận sở tri thức ngơn ngữ logic mơ tả điễn hình Cùng với việc biểu diễn tri thức, ... tổng quan logic mô tả số phần giới thiệu chương làm rõ ràng chương - 16 - Chương Biểu diễn tri thức lập luận logic mô tả Việc biểu diễn tri thức lập luận từ tri thức có để đưa tri thức hay định ... trình nghiên cứu logic mơ tả Trong chương này, đề cập đến chức biểu diễn tri thức lập luận cách cụ thể 2.1 Biểu diễn tri thức 2.1.1 Cơ sở tri thức Một hệ thống biểu diễn tri thức (knowledge representation)...

Ngày tải lên: 25/03/2015, 09:43

... biểu diễn tri thức lập luận logic mô tả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểu diễn tri thức, lập luận sở tri thức ngôn ngữ logic mô tả điễn hình Cùng với việc biểu diễn tri thức, ... biểu diễn tri thức lập luận logic mô tả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểu diễn tri thức, lập luận sở tri thức ngôn ngữ logic mơ tả điễn hình Cùng với việc biểu diễn tri thức, ... Tổng quan logic mô tả Chương đề cập đến động thúc đẩy phát tri n logic mô tả hình thức cho việc biểu diễn tri thức số ý tưởng quan trọng cho tảng hệ thống tạo logic mô tả truyền thống Trong chương...

Ngày tải lên: 18/02/2017, 21:58

... biểu diễn tri thức lập luận logic mô tả Đây chương trọng tâm luận văn nhằm làm sáng tỏ chức biểu diễn tri thức, lập luận sở tri thức ngôn ngữ logic mô tả điễn hình Cùng với việc biểu diễn tri thức, ... quan logic mô tả Trong phần cung cấp nhìn tổng quan logic mơ tả: Sự đời logic mô tả, thành tựu lịch sử nghiên cứu logic mô tả, ứng dụng ngành khoa học khác logic mô tả Chương 2: Trình bày cách biểu ... cụ để biểu diễn tri thức cách thuận lợi logic mô tả công cụ để biểu diễn tri thức tổ chức nghiên cứu khoa học sử dụng đến Logic mô tả (Description logics - DL) thuật ngữ sử dụng gần để biểu đạt...

Ngày tải lên: 15/12/2017, 22:56

... sinh đọc sách (tri thức hiện) rút học, tri thức cho (ẩn) Biểu diễn tri thức 2.2.1 Khái niệm Biểu diễn tri thức( knowledge representation): phương pháp diễn tả tổ chức 2.2 tri thức máy tính cho ... đạt, liên hệ, suy luận Trong tri t học, ngành nghiên cứu tri thức gọi tri thức luận Tri thức có dạng tồn tri thức ẩn tri thức • Tri thức tri thức giải thích mã hóa dạng văn bản, tài liệu, âm thanh, ... từ tri thức ẩn thành tri thức ẩn Tri thức từ người không qua trung gian mà chuyển thành tri thức người • Ẩn - Hiện: Một người mã hóa tri thức thành văn hay hình thức hữu khác lại trình tri thức...

Ngày tải lên: 19/05/2015, 00:28

... luận kiện, tượng tri thức mô tả Các ước lượng, suy đốn hình thành qua kinh nghiệm tri thức heuristic Biểu diễn tri thức Biểu diễn tri thức phương pháp mã hóa tri thức, nhằm thành lập sở tri thức ... thống dựa tri thức Biểu diễn tri thức máy tính phục vụ cho việc thu nhận tri thức vào máy tính, truy xuất tri thức thực phép suy luận dựa tri thức lưu trữ Có nhiều phương pháp biểu diễn tri thức như: ... nghĩa hình thức miêu tả ý nghĩa tri thứ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ễn tri thức Với tri thức ontology...

Ngày tải lên: 19/05/2015, 00:57

... hạn chế định biểu diễn suy luận tri thức phức tạp Ontology hướng nghiên cứu phát tri n Ontology tri thức đối tượng tính tốn COKB-ONTO mơ hình sử dụng hiệu việc biểu diễn sở tri thức phức tạp ... thiết kế mô un truy cập sở tri thức SVTH : CH1301074 – Nguyễn Hải Yến 39 Biểu diễn tri thức suy luận - PGS.TS Đỗ Văn Nhơn Thích hợp cho việc thiết kế sở tri thức với khái niệm biểu diễ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ể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ữ Dễ theo dõi phân cấp, dò theo mối Ngữ nghĩa...

Ngày tải lên: 19/05/2015, 00:27

... sử dụng lại kết biết 2.3.1 Miền tri thức tri thức biểu diễn mơ hình COKB: Cho tri thức K=(C, H, R, Ops, Funcs, Rules) , miền tri thức K tri thức biểu diễn mơ 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ểu diễn tri thứ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 tri thức ... thành phần sau: Trong đó, (C, H, R, Ops, Funcs, Rules) tri thức biểu diễn theo mơ hình COKB; Sample tập hợp toán mẫu miền tri thức Mơ hình COKB_SP phương pháp hiệu việc thiết kế sở tri thức thực tế,...

Ngày tải lên: 19/05/2015, 00:27

... ĐẦU Biểu diễn tri thức vấn đề quan trọng hệ thống dựa tri thức Các hệ thống dựa tri thứ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ểu diễn tri thức ... với người Sau ta tìm hiểu mơ hình biểu diễn tri thức gọi mơ hình tri thức đối tượng tính tốn UIT | PHẦN 1: MƠ HÌNH TRI THỨC CÁC ĐỐI TƯỢNG TÍNH TỐN Mơ hình tri thứ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ểu diễn cấu trúc, biểu diễn thủ tục, biểu diễn mạng, biểu diễn theo đối tượng kỹ thuật tính tốn symbolic máy tính I Mơ hình tri thức đối tượng tính tốn Mơ hình...

Ngày tải lên: 19/05/2015, 00:28

... luận miền tri thức có khả cao 1.2 Biễu diễn tri thức xử lý tri thức Biểu diễn tri thức (Kowledge Representation) phương pháp cho phép mã hóa tri thức sở tri thức hệ thống Biểu diễn tri thức vấn ... - Tri thức meta: mô tả tri 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 ... LỜI MỞ ĐẦU Việc xây dựng mơ hình biểu diễn tri thức để đưa tri thứ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ểu diễn tri thức đóng vai trò quan trọng thiết...

Ngày tải lên: 19/05/2015, 00:57

... 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ức logic 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ận logic rút từ khẳng ... tương ứng với logic mô tả, lĩnh vực nghiên cứu logic tạo nên thiết lập thứ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ểu thức Ví dụ, OWL...

Ngày tải lên: 19/05/2015, 00:57

... Mục lục I MẠNG TÍNH TỐN Giới thiệu Mạng tính tốn dạng biểu diễn tri thức dùng biểu diễn tri thứ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ể tri thức vật Cách biểu diễn tri thứ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...

Ngày tải lên: 19/05/2015, 00:58

... hay khái niệm • Siêu tri thức – metaknowledge: Mô tả tri 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 ... hợp phương pháp biểu diễn tri thức có với phát tri n định để tạo số mơ hình biểu diễn tri thức với phạm vi tri thức bao gồm nhiều dạng kiến thức đa dạng hơn, mơ hình biểu diễn tri thức sử dụng sở ... giải vấn đề cách hướng lập luận miền tri thức có khả cao • Tri thức heuristic – heuristic knowledge: Mô tả “mẹo” để dẫn dắt tiến trình lập luận Tri thức heuristic gọi tri thức nơng cạn khơng đảm...

Ngày tải lên: 19/05/2015, 02:05

... 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ểu diễn tri thức dùng biểu diễn tri thứ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ể tri thức vật Cách biểu diễn tri thứ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...

Ngày tải lên: 19/05/2015, 00:26

... PHÁP BIỂU DIỄN TRI THỨC CƠ BẢN Logic mệnh đề logic vị từ Dạng biểu diễn tri thứ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ểu diễn tri thức ... quát Đây kiểu biểu diễn tri thức có cấu trúc Ý tưởng tri thức cấu trúc cặp giả thiết kết luận dạng: Đây dạng biểu diễn tri thức phổ biến Mơ hình biểu diễn tri thứ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ểu diễn tri thức phương pháp lại không hiệu việc biểu diễn suy luận tri thức phức tạp Phương pháp biểu diễn tri thức đóng...

Ngày tải lên: 19/05/2015, 00:27

... cần phải biểu diễn tri thứ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ểu diễn tri thứ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ểu diễn phần tri thức toán tử đối tượng Funcs tập chứa hàm đối tượng tính tốn Tri thức hàm phổ biến hầu hết miền tri thức thực tế, đặc biệt lĩnh vực khoa...

Ngày tải lên: 19/05/2015, 00:28

... Trọng Nghĩa – CH1301042 10 Bài thu hoạch môn: Biểu diễn tri thức GVHD: PGS TS Đỗ Văn Nhơn Hình 5: Mạng mở rộng ngữ nghĩa biểu diễn tri thức I.4.6 Biểu diễn tri thức nhờ ngơn ngữ nhân tạo - Nói chung, ... cách lập luận hệ thống cho người sử dụng o Khả thu nhận tri thức (explanation facility) Cho phép người sử dụng bổ sung tri thức vào hệ thống cách tự động thay tiếp nhận tri thức cách mã hoá tri thức ... thu hoạch môn: Biểu diễn tri thứ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ểu diễn tri thức - GVHD:...

Ngày tải lên: 19/05/2015, 01:57

... phương pháp để biểu diễn tri thức phương pháp lại không hiệu quả việc biểu diễn suy luận tri thức phức tạp Phương pháp biểu diễn tri thức đóng vai trò quan trọng thiết kế hệ thống tri thức phức tạp ... nhiều kiến thức chuyên sâu môn biểu diễn tri thứ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ểu diễn tri thức dùng biểu diễn tri...

Ngày tải lên: 19/05/2015, 02:05

... thơng minh hệ tri thức nhiều lĩnh vực tri thức khác hệ thống tri thức nhiều lĩnh vực tri thức khác Mơ hình đời theo cách tiếp cận hướng đối tượng để biểu diễn tri thức với kĩ thuật lập trình tính ... sở tri thức  Công cụ suy diễn  Thành phần diễn giải  Bộ nhớ làm việc  Quản lý tri thức  Giao diện Hình sau mô tả cấu trúc hệ thống Cơ sở tri thức (Knowledge Base) chứa tri thứ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...

Ngày tải lên: 10/04/2015, 08:50

... Biểu diễn tri thức Để sử dụng tri thức, tri thức cần biểu diễn dạng thuận tiện cho việc mô tả suy diễn Nhiều ngơn ngữ mơ hình biểu diễn tri thức thiết kế để phục vụ mục đích Ngôn ngữ biểu diễn tri ... vi yếu Biểu diễn tri thức suy luận như: Suy luận không đơn điệu, Logic tri 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ểu diễn tri thức suy luận, nghiên ... hình thức để biểu diễn suy luận tri thức Trang 12 Biểu diễn tri thức suy luận 2.4 2.4.1 Logic mệnh đề Cú pháp Logic mệnh đề logic đơn giản, khả biểu diễn số hạn chế thuận tiện cho ta đưa vào nhiều...

Ngày tải lên: 10/04/2015, 11:08