Biểu diễn tri thức trong logic

Phần 1 cuốn giáo trình "Các hệ thống thông minh" trình bày các nội dung của 3 chương đầu bao gồm: Giới thiệu về các hệ thống thông minh; biểu diễn tri thức, các phương pháp lập luận. Mời các bạn cùng tham khảo nội dung chi tiết.

96p besfriend10 12-07-2023 12 6   Download

Giáo án môn Tin học lớp 10 sách Kết nối tri thức: Bài 19 được biên soạn với mục tiêu nhằm giúp học sinh nêu được khái niệm biểu thức logic; biết và trình bày được các phép toán với kiểu dữ liệu logic; nắm được cách sử dụng câu lệnh if; biết sử dụng được lệnh rẽ nhánh if trong lập trình;... Mời các bạn cùng tham khảo!

7p manhitieulinh 29-08-2022 54 5   Download

Tham khảo Đề thi kết thúc học phần học kì 2 môn Hệ cơ sở tri thức năm 2020-2021 có đáp án - Trường ĐH Đồng Tháp dành cho các bạn sinh viên tham khảo, để hệ thống kiến thức học tập cũng như trau dồi kinh nghiệm ra đề thi. Hi vọng sẽ giúp các bạn đạt kết quả tốt trong kì thi.

3p namkimcham10 04-07-2022 43 6   Download

Tiếp phần 2 Biểu diễn tri thức và lập luận, nội dung đề cập dến các ngôn ngữ biểu diễn tri thức, đặc biệt là các logic và các phương pháp lập luận trong mỗi ngôn ngữ biểu diễn tri thức; các kỹ thuật biểu diễn tri thức và lập luận đóng vai trò quan trọng trong việc thiết kế các hệ thông minh. Mời các bạn cùng tham khảo!

208p namkimcham10 04-07-2022 33 11   Download

Nối tiếp phần 1, phần 2 của bài giảng "Các hệ thống dựa trên tri thức" tiếp tục trình bày các nội dung chính sau: Giải thuật di truyền; Các toán tử trong giải thuật di truyền; Đặc tính của hệ tính toán mềm; Hệ lai nơ ron mờ; Biểu diễn luật If-Then theo cấu trúc mạng nơ ron; Phân loại kết hợp mạng nơ ron và logic mờ. Mời các bạn cùng tham khảo để nắm nội dung chi tiết.

46p chenlinong_0310 23-02-2022 17 4   Download

"Giáo trình Nhập môn trí tuệ nhân tạo: Phần 1 - Từ Minh Phương" có nội dung trình bày về có nội dung trình bày về khái niệm trí tuệ nhân tạo, lịch sử hình thành và phát triển; giải quyết vấn đề bằng tìm kiếm, bài toán tìm kiếm trong không gian trạng thái; biểu diễn tri thức và lập luận logic, sự cần thiết sử dụng tri thức trong giải quyết vấn đề;... Mời các bạn cùng tham khảo!

109p chenlinong_0310 23-02-2022 74 22   Download

Giáo trình Trí tuệ nhân tạo - Phần 2: Biểu diễn tri thức và lập luận, Phần này đề cập đến các ngôn ngữ biểu diễn tri thức, đặc biệt là các logic và các phương pháp luận trong mỗi ngôn ngữ biểu diễn tri thức. Các kỹ thuật biểu diễn tri thức và lập luận đóng vai trò quan trọng trong việc thiết kế các hệ thông minh. Mời các bạn cùng tham khảo!

286p hoaanhdao709 19-01-2022 81 17   Download

Bài giảng “Trí tuệ nhân tạo”, một môn cơ sở chuyên ngành trong chương trình đào tạo cử nhân tin học, ngoài mục đích xây dựng nhiều bài giảng trên một khung chương trình đào tạo, mà còn giúp cho sinh viên có tài liệu học tập phù hợp với hoàn cảnh thực tế của Đại học Nha Trang. Nội dung bài giảng gồm: giới thiệu; thuật toán, thuật giải; giải thuật di truyền; biểu diễn và suy luận tri thức; logic mệnh đề logic vị từ; máy học; mạng Neural; SVM và HMM.

137p tinarose 07-09-2021 44 7   Download

Mục tiêu của đề tài là nghiên cứu các lý thuyết về tập mờ phức, logic mờ phức và các độ đo dựa trên tập mờ phức; nghiên cứu và phát triển hệ suy diễn dựa trên tập mờ phức; nghiên cứu các kĩ thuật áp dụng để giảm luật, tối ưu hóa luật mờ trong hệ suy diễn mờ phức; nghiên cứu cách biểu diễn luật dựa trên đồ thị tri thức để giảm thời gian tính toán suy diễn đối với tập thử nghiệm và xử lý với các trường hợp bộ dữ liệu mới không có trong tập dữ liệu huấn luyện.

27p beloveinhouse01 15-08-2021 31 3   Download

Bài viết nhằm nghiên cứu và đánh giá Horn-DL trong quan hệ so sánh với các ngôn ngữ có độ phức tạp tương đương. Dựa trên các phân tích chúng tôi kết luận được rằng, khả năng biểu diễn tri thức của ngôn ngữ Horn-DL mạnh hơn hẳn các ngôn ngữ đã đưa ra so sánh.

9p vijijen2711 11-06-2021 15 3   Download

Giáo trình Ứng dụng và dịch vụ trên internet cung cấp kiến thức nền tảng, giúp học sinh khai thácácông nghệ đám mây trong kỹ nguyên số. Trong tài liệu này tác giả sử dụng phương pháp logic trình tự cho từng kỹ thuật từ khái niệm, phân tích mô hình mạng, mô phỏng và bài tập áp dụng cho các kỹ năng được trình bày. Qua đó, giúp học sinh nắm bắt kiến thức và kỹ năng thực hành cơ bản để vận dụng trong thực tiễn.

168p solua999 05-05-2021 50 7   Download

Bài viết này tập trung vào việc sử dụng logic mô tả để xây dựng một cơ sở tri thức về thuốc. Chúng tôi chạy thử mô hình thông qua Ontology thuốc được tạo bằng phần mềm Protégé dựa trên thông tin thuốc tra cứu từ tài liệu liên quan. Cùng với các dịch vụ suy luận, Ontology về thuốc có thể giúp người dùng sàng lọc thuốc trong điều trị trên cơ sở kiến thức nền được thiết lập, đồng thời nó cũng hỗ trợ việc truy xuất thông tin thuốc khi cần.

8p angicungduoc11 18-04-2021 26 2   Download

Bài báo trình bày ngôn ngữ biểu diễn tri thức logic mô tả mờ (Fuzzy description logics), xây dựng luật mờ dựa trên ngôn ngữ f-SWRL, sử dụng bộ truy vấn Fuzzy description logics query trong plugin fuzzy OWL 2 và xây dựng một hệ thống ứng dụng trong tư vấn chọn nghề cho học sinh phổ thông.

9p tamynhan8 04-11-2020 30 2   Download

Chương 3 - Đại số boolean và các cổng logic. Chương này sẽ học về đại số boolean với đặc điểm là chỉ thực hiện trên hai giá trị/trạng thái 0 (OFF) và 1 (ON) nên rất phù hợp với việc biểu diễn và tính toán trong các mạch logic Số. Mời các bạn cùng tham khảo.

29p shiwo_ding3 02-05-2019 36 3   Download

Trong luận văn này tác giả đề ra một cách tiếp cận mới cho việc tích hợp tri thức nhằm khắc phục những hạn chế của các tiếp cận hiện có. Ý tưởng chính của tiếp cận này như sau: Để đạt được thỏa thuận giữa các bên, ta sẽ để cho các bên tranh luận với nhau, tức là các bên sẽ dùng lý lẽ, lập luận để bảo vệ cho các đòi hỏi của mình đồng thời phản bác lại các đòi hỏi của đối phương, bên nào có nhiều chứng cứ, lập luận tốt hơn thì bên đó sẽ giành được nhiều lợi ích hơn.

30p hanh_tv26 03-04-2019 30 2   Download

Hẳn khi các bạn tìm hiểu về phần 1 sách cũng đã cảm nhận được giáo trình thật sự giúp tích trong việc làm quen với một số kiến thức cơ bản nhất về các phương pháp tìm kiếm lời giải và các phương pháp xử lý tri thức. Ngoài ra, cuốn sách cũng giới thiệu một số chương trình cài đặt, nhằm giúp sinh viên có thể hiểu một cách tường tận các giải thuật, đồng thời tin tưởng rằng các giải thuật này có thể áp dụng thực tế và cài đặt được trên máy tính một cách dễ dàng.

74p hanh_tv21 02-03-2019 92 20   Download

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.1 đề cập đến vấn đề biểu diễn tri thức trong các hệ chuyên gia. Nội dung chính trong chương này tập trung trình bày một số phương pháp dùng ngôn ngữ hình thức như: Biểu diễn tri thức nhờ các luật sản xuất, biểu diễn tri thức nhờ lôgic, biểu diễn tri thức nhờ mạng ngữ nghĩa,... Mời các bạn cùng tham khảo.

45p namthangtinhlang_04 15-11-2015 111 17   Download

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.2 đề cập đến lôgic mệnh đề. Trong chương này sẽ trình bày 2 nội dung chính, đó là các khái niệm lôgic và lôgic mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

67p namthangtinhlang_04 15-11-2015 79 9   Download

Trong bài học này sẽ trang bại cho người học nhưng kiến thức về: Biểu diễn tri thức, logic mệnh đề (Cú pháp và ngữ nghĩa của Logic mệnh đề, dạng chuẩn tắc, luật suy diễn), logic vị từ cấp một (Cú pháp và ngữ nghĩa logic vị từ cấp một, chuẩn hoá các công thức, các luật suy diễn). Mời các bạn cùng tham khảo.

36p namthangtinhlang_04 15-11-2015 418 43   Download

 Giáo trình Toán học trong hoạt động Thư viện - Thông tin (Giáo trình dành cho sinh viên Đại học và Cao đẳng ngành thư viện - thông tin và quản trị thông tin): Phần 1 gồm nội dung chương 1 và chương 2, cung cấp cho bạn đọc các kiến thức về ngôn ngữ của Toán học và phương pháp biểu diễn thông tin, logic và các hệ thống tìm tin tự động hóa.

169p uocvongxua03 15-07-2015 152 28   Download