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 241 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 32 6   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 26 4   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 32 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 33 1   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 0 0   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 304 164   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 398 132   Download

XÂY DỰNG THUẬT TOÁN KHỚP BẢN ĐỒ (MAP MATCHING) ỨNG DỤNG LOGIC MỜ ThS. ĐẶNG QUANG THẠCH Bộ môn Điều khiển học Khoa Điện - Điện tử Trường Đại học Giao thông Vận tải Tóm tắt: Trong các hệ thống giám sát, dẫn đường sử dụng hệ thống định vị toàn cầu GPS ta cần hiển thị vị trí của xe trên bản đồ số sao cho biểu tượng xe phải nằm trên tuyến đường nó đang chạy nhưng do sai số của phép định vị nên nhiều khi ta thấy xe không chạy trên đường mà có thể nằm giữa các tòa...

7p linhdan05016 27-01-2011 210 81   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 69 14   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 42 7   Download

Trong bài viết này, các tác giả thực hiện nghiên cứu xây dựng mô hình toán học của hệ thống điều tốc nhà máy thủy điện Srêpốk 3 trên cơ sở giữ nguyên các bản chất phi tuyến của hệ thống để mô hình mô tả sát với thực tiễn. Dựa trên cơ sở mô hình toán học và sự hiểu biết về bản chất hệ thống, kinh nghiệm vận hành, quản lý nhà máy, các tác giả đề xuất một phương án cải tiến thuật toán điều khiển hệ thống điều tốc nhà máy thủy điện Srêpốk 3 sử dụng logic mờ. Hiệu quả của thuật toán đề xuất được thử nghiệm bằng mô phỏng trên phần mềm Matlab/Simulink.

5p vidanh95 13-12-2018 44 2   Download

Dự đoán lượng mưa là cần thiết đối với đời sống chúng ta và quan trọng với nông nghiệp. Nhóm tác giả mở rộng sự kiện dự đoán lượng mưa bằng cách áp dụng các luật suy luận và logic mờ. Có năm biến đầu vào cho mô hình mờ: độ ẩm, nhiệt độ, tốc độ gió, khí áp và loại mây. Hầu hết biến đầu vào có ba hàm liên thuộc, nhưng đầu vào loại mây có mười hàm liên thuộc theo phân loại quốc tế của mây.

5p caplock2711 22-02-2019 25 0   Download

Trong bài báo này, các tác giả đề xuất một phương pháp phân tách ontology tự động dựa vào lát cắt tối thiểu và tiến hành thử nghiệm trên một phần của các TBox như Vedaall, tambis, ... trong hệ thống FaCT, và đưa ra một số kết quả đánh giá.

13p tamynhan8 04-11-2020 0 0   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.Mô hình động học cho robot Động học là nghiên cứu cơ bản nhất để tìm hiểu quá trình hoạt động của một hệ thống cơ khí, trong lĩnh vực mobile robot, chúng ta cần phải tìm hiểu đặc tính cơ của robot để thiết kế sao cho phù hợp với các nhiệm vụ đặt ra, đồng thời việc tìm hiểu đặc tính cơ còn giúp ta xác định được phương pháp thiết kế phần mềm điều khiển sao cho...

7p vteo20 01-10-2010 435 207   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.Lập trình cho robot Sau khi đã hoàn thành phần cứng về cơ khí và điện tử, chương trình điều khiển robot...

5p vteo20 01-10-2010 301 184   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 313 169   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.Verilog HDL có thể được sử dụng để thiết kế hệ thống số ở nhiều mức khác nhau, ví dụ ở...

45p manhgiau2004 09-06-2011 454 142   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 579 141   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 221 95   Download