Logic mô tả

Logic mô tả được xem là một phương pháp biểu diễn tri thức hiệu quả. Trong những ứng dụng cụ thể có sử dụng logic mô tả, tri thức của miền ứng dụng được đặc tả bằng các khái niệm và các mối quan hệ. Lĩnh vực ứng dụng của logic mô tả cũng rất đa dạng, ngay từ ban đầu logic mô tả đã được xem như là những ngôn ngữ với mục đích biểu diễn tri thức và suy diễn, vì thế nó phù hợp cho nhiều ứng dụng. Các ứng dụng của logic mô tả có thể...

84p cancer23 24-08-2012 179 80   Download

Luận án xây dựng, mở rộng các định nghĩa, định lý, bổ đề về mô phỏng hai chiều trong lớp các logic mô tả đã đề cập ở trên và sử dụng nó để mô hình hóa tính không phân biệt được của các đối tượng làm cơ sở cho các thuật toán học khái niệm trong logic mô tả.

121p change03 06-05-2016 22 6   Download

Luận án xây dựng, mở rộng các định nghĩa, định lý, bổ đề về mô phỏng hai chiều trong lớp các logic mô tả đã đề cập ở trên và sử dụng nó để mô hình hóa tính không phân biệt được của các đối tượng làm cơ sở cho các thuật toán học khái niệm trong logic mô tả. Luận án xây dựng phương pháp làm mịn phân hoạch miền của các diễn dịch trong logic mô tả dựa trên mô phỏng hai chiều sử dụng các bộ chọn hợp lý và độ đo gia lượng thông tin.

31p change03 06-05-2016 9 3   Download

Bài viết Biểu diễn mô hình TimeER bằng logic mô tả ngoài việc giới thiệu một phương pháp biểu diễn của các tác giả trên, bổ sung vào đó, bài viết muốn đề xuất việc biểu diễn các thuộc tính đa trị trên các mô hình ER thời gian bằng logic mô tả.

10p maiyeumaiyeu26 23-12-2016 3 1   Download

Bài viết này giới thiệu về các kỹ thuật kết hợp các quy tắc với các ontology và chương trình logic mô tả, nó gồm cơ sở tri thức L và một tập hữu hạn các quy tắc logic mô tả P. Mời các bạn cùng tham khảo nội dung chi tiết của tài liệu.

12p jangni9 15-05-2018 2 1   Download

Xây dựng mô hình Mobile robot Như ở chương II, phương trình mô tả động học của Mobile robot có dạng... Trong đó, các thông số cơ bản của Mobile robot : + khoảng cách 2 bánh chủ động L= 200mm=7,8” + bán kính bánh chủ động r = 30mm = 1,18” Xây dựng trên Matlab Simulink ta có mô hình mobile robot như sau: Hình 4.18. Mô hình Mobile robot trên Simulink Khối gồm 2 đầu vào ωr (bánh phải) và ωl (bánh trái). Các khối Rr, Rl là các giá trị bán kính bánh xe robot....

9p vteo20 01-10-2010 273 160   Download

Giáo trình Thiết kế mạch logic số - Chương 2: Ngôn ngữ mô tả phần cứng VHDL giới thiệu về VHDL, cấu trúc của chương trình mô tả bằng VHDL, khai báo cấu hình, chương trình con và gói, đối tượng dữ liệu, kiểu dữ liệu, toán tử và biểu thức, phát biểu tuần tự, phát biểu đồng thời, kiểm tra thiết kế bằng VHDL,... Đây là tài liệu tham khảo dành cho sinh viên ngành Điện - điện tử.

78p thanglxkmhd 07-05-2014 256 124   Download

XÂY DỰNG THUẬT TOÁN KHỚP BẢN ĐỒ (MAP MATCHING) ỨNG DỤNG LOGIC MỜ ThS.

7p linhdan05016 27-01-2011 183 79   Download

Bài giảng "Ngôn ngữ biểu diễn Ontology OWL" cung cấp cho người đọc các kiến thức: Các hạn chế của RDFS, logic mô tả, lớp, lớp kế thừa, lớp tách rời, thuộc tính, các thuộc tính của thuộc tính, thuộc tính phân biệt, thuộc tính con,... Mời các bạn cùng tham khảo.

9p doinhugiobay_04 27-11-2015 32 11   Download

Bài giảng "Cơ sở logic đặc tả của OWL" cung cấp cho người học các kiến thức: ALC, cú pháp ALC, mở rộng, cơ sở tri thức, ngữ nghĩa ALC, các khái niệm tương đương, suy luận với ALC, các kiểu suy luận,... Mời các bạn cùng tham khảo.

8p doinhugiobay_04 27-11-2015 20 7   Download

Xây dựng mô hình động học cho robot tự hành - Các phương pháp định vị cho robot tự hành 2.1.

7p vteo20 01-10-2010 364 201   Download

Trong quá trình thực hiện đề tài này, phần thiết kế cơ khí được mô hình hóa trên phần mềm thiết kế 3D là Audesk Inventor version 9.0. Đây là phần mềm thiết kế 3D hàng đầu giúp cho quá trình thiết kế chi tiết một cách nhanh chóng, dễ dàng. Hình 5.26.Thiết kế mô hình trên AutoDesk Inventor Khi lắp ráp tất cả các phần lại ta được mô hình thực tế : Hình 5.27.Mô hình thực tế của Mobile robot 5.5.

5p vteo20 01-10-2010 272 181   Download

Nội dung của chương này bào gồm : - Sơ đồ khối của Mobile robot - Nghiên cứu xây dựng khối điện tử: + Mạch động lực điều khiển động cơ + Thiết kế mạch Vi điều khiển + Cảm biến siêu âm - Xây dựng mô hình cơ khí 5.1. Xây dựng sơ đồ khối hoạt động của robot Ở đây, ta sử dụng mô hình Mobile robot 3 bánh. Như trong phần mô phỏng, bài toán đặt ra là làm sao để nó di chuyển theo bề mặt tường và luôn cách tường một khoảng X đặt trước....

8p vteo20 01-10-2010 277 164   Download

Ngày nay nhiều trang thiết bị được nhúng trong vào trong nó lôgic mờ để cho việc sử dụng nó dễ hơn, tiện lợi hơn. Chúng ta có thể tìm thấy lôgic mờ trong những camera, những nồi cơm điện, những máy hút bụi, …. Như vậy ta có thể có một ý tưởng rằng chúng đã được làm như thế nào, chúng ta sẽ xem mô hình được đơn giản hóa này của một máy giặt ứng dụng logic mờ.

7p the123hoa456 02-05-2011 442 137   Download

Verilog là một trong hai ngôn ngữ mô tả phần cứng chính (gồm VHDL và Verilog HDL) được người thiết kế phần cứng sử dụng để mô tả, thiết kế các hệ thống số, ví dụ như máy tính hay linh kiện điện tử.Verilog dễ học và dễ sử dụng hơn VHDL. Verilog được chuẩn hoá theo chuẩn IEEE vào năm 1995 và 2001. Verilog rất giống ngôn ngữ C và được giới chuyên môn nghiên cứu, sử dụng nhiều.

45p manhgiau2004 09-06-2011 367 136   Download

Phân tích dữ liệu không gian bằng cách kết hợp nhiều nguồn dữ liệu được khai thác từ các hệ thống thông tin địa lý là mục tiêu cao nhất của hầu hết các dự án GIS để diễn tả, phân tích các ảnh hưởng lẫn nhau, đưa ra các mô hình dự báo và hỗ trợ quyết định. Các hệ thống GIS thường không sãn sàng cho việc xử lý với các dữ liệu mờ vì thế cần phải có sự mở rộng cả về mô hình dữ liệu , các phép toán và lập luận để giải quyết...

97p cancer23 24-08-2012 176 90   Download

Trong lĩnh vực tự động hóa logic mờ ngày càng được ứng dụng rộng rãi. Nó thực sự hữu dụng với các đối tượng phức tạp mà ta chưa biết rõ hàm truyền, logic mờ có thể giải quyết các vấn đề mà điều khiển kinh điển không làm được. Để tìm hiểu sâu hơn về vấn đề này mời các bạn tham khảo "Bài giảng Chương 4: Điều khiển mờ".

0p quockhanhcins1 09-05-2016 41 18   Download

Hiểu rõ, mô tả lại toàn bộ dữ liệu của hệ thống. Chuẩn bị cho việc cài đặt thành phần dữ liệu trong hệ thống...Các khái niệm trong một mô hình dữ liệu được xây dựng bởi cơ chế trừu tượng hóa và mô tả bằng ngôn ngữ hay biểu diễn đồ họa.

59p bangnguyen1029 18-07-2011 93 17   Download

Xây dựng UI (giao diện người dùng) và khung làm việc đi kèm trong ngôn ngữ Java Arron Ferguson, Giảng viên, British Columbia Institute of Technology Tóm tắt: Việc viết ra các GUI (giao diện người dùng đồ hoạ) bằng mã chương trình có thể thường dẫn đến các lựa chọn thiết kế lộn xộn, đến lượt nó lại trở nên mờ nhạt giữa các logic nghiệp vụ (business logic) và mã UI.

60p hoathietmoclan 13-09-2011 59 15   Download

Bài giảng Điều khiển logic – Chương 1: Mạch tổ hợp và mạch trình tự trình bày các nội dung như: Mô hình toán học của mạch tổ hợp, phân tích mạch tổ hợp, tổng hợp mạch tổ hợp, một số mạch tổ hợp thường gặp trong hệ thống là, khái niệm về mạch trình tự (hay mạch dãy), phương pháp mô tả mạch trình tự,... Mời các bạn cùng tham khảo.

7p nganga_07 12-10-2015 55 14   Download