Biểu diễn tri thức logic hình thức

Bài viết Mô hình tích hợp tri thức khả năng đề xuất một mô hình tích hợp mới để tích hợp các tri thức được biểu diễn dưới dạng lôgic khả năng (possibilistic logic) bằng cách sử dụng cách tiếp cận thứ nhất.

3p vipettigrew 15-03-2023 6 3   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 71 21   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 46 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 24 1   Download

Bài giảng "Trí tuệ nhân tạo - Chương 3: Kỹ thuật giải quyết vấn đề" cung cấp cho người học các kiến thức: Biểu diễn bằng logic hình thức và các phương pháp chứng minh, một số phương pháp giải quyết vấn đề khác. Mời các bạn cùng tham khảo.

19p dien_vi08 18-11-2018 88 9   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 109 17   Download

Bài giảng Biểu diễn tri thức nhằm trình bày các nội dung chính: khái niệm biểu diễn tri thức, biểu diễn tri thức bằng Logic hình thức, biểu diễn tri thức bằng mạng ngữ nghĩa, biểu diễn tri thức bằng hệ luật dẫn. Bài giảng được trình bày khoa học, súc tích giúp các bạn sinh viên tiếp thu bài Biểu diễn tri thức và ứng dụng.

28p acc_12 01-04-2014 180 33   Download

Mô hình kinh tế: Mô hình kinh tế là một công cụ lý thuyết mô tả các quá trình kinh tế thông qua các biến số kinh tế và những mối quan hệ logic và định lượng giữa các biến số đó. Mô hình có thể được diễn đạt dưới dạng lời văn, sơ đồ hoặc các biểu thức toán học. Mô hình là sự đơn giản hóa thực tế để có thể phân tích được các quá trình phức tạp.

124p alt_12 22-07-2013 298 45   Download

Hệ mờ Ứng dụng của lý thuyết tập mờ và logic mờ, khi thông tin không đầy đủ, không chắc chắn, nhiễu, tri thức chuyên gia biểu diễn dạng ngôn ngữ tự nhiên, ranh giới các lớp đối tượng không rõ ràng, hệ thống phức tạp … Hệ mờ có các thành phần: - Mờ hoá - Tham số + cơ sở luật - Suy diễn mờ - Khử mờ Mộ số mô hình mờ - Mô hình mờ Mamdani, phần tiền đề và kết luận đều là các nhãn biểu diễn bởi tập mờ - Mô hình mờ TSK,...

3p trinhvietnambk 29-05-2013 141 20   Download

Mô hình quan hệ sử dụng lý thuyết tập hợp và logic bậc nhất để biểu diễn dữ liệu CSDL được biểu diễn bằng một tập các bảng: Mỗi bảng là tập hợp các các bộ giá trị Mỗi cột đều có cùng một kiểu dữ liệu Mỗi hàng trong bảng là bộ các giá trị có quan hệ với nhau So sánh với mô hình ER: Mỗi bảng tương ứng với một tập thực thể Mỗi cột tương ứng một thuộc tính Mỗi hàng trong bảng tương ứng với một thực thể...

32p 2661686 07-09-2012 124 12   Download

Phép tính vị từ Logic hình thức – Logic hình thức = Biễu diễn + suy luận – Dùng như là một cơ chế biễu diễn tri thức – Dùng như là tìm kiếm không gian trạng thái trong các đồ thị And/Or – Dùng để hình thức hóa các luật heuristic

24p suatuoi_nguyenchat 21-07-2011 170 14   Download

Để có cơ sở hình dung quá trình xử lý thông tin xảy ra bên trong MTĐT như thế nào, chúng ta cần có một số kiến thức về hệ đếm. Hệ đếm được hiểu như tập các ký hiệu và quy tắc sử dụng tập ký hiệu đó để biểu diễn và xác định giá trị các số. Có hai loại hệ đếm là hệ đếm không theo vị trí và hệ đếm theo vị trí.

8p vn_thanks 12-06-2011 128 19   Download

Giáo trình “Nhập môn Trí tuệ nhân tạo” được viết dành cho sinh viên ngành Toán – Tin, Tin học và Công nghệ thông tin. Để đọc giáo trình này, sinh viên cần có kiến thức cơ bản về lôgic, cấu trúc dữ liệu và thuật toán. Nội dung giáo trình này gồm 4 chương: Chương 1: Khái niệm về trí tuệ nhân tạo Chương 2: Các phương pháp giải quyết vấn đề Chương 3: Biểu diễn và xử lý tri thức Chương 4: Lập trình lôgic Chương 1 giới thiệu tóm tắt lịch sử hình thành và phát triển...

115p dinhlan05011 25-04-2011 1261 531   Download

Tập lệnh trong S7-200 được biểu diễn dưới hai dạng: LAD và STL: _ LAD – Ladder logic – Gọi là phương pháp hình thang: là một ngôn ngữ viết dưới dạng đồ họa, dễ quan sát, dễ kiểm tra. _ STL – Statement list – Phương pháp liệt kê: Ngôn ngữ thể hiện dưới dạng những câu lệnh. Phần lớn những câu lệnh dưới dạng LAD đều có thể chuyển sang STL và ngược lại. Các lệnh xuất/nhập: Lệnh nhập: Nạp giá trị logic của tiếp điểm vào bit đầu tiên trong ngăn xếp....

11p kienza51 14-11-2010 201 86   Download