Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: DOC
Số trang: 36 trang
Dung lượng: 2 MB

Giới thiệu nội dung

Biểu Diễn Tri Thức Đại Học Công Nghệ

Tác giả: Đỗ Văn Nhơn, Trần Quốc Cường Trang

Lĩnh vực: Khoa học máy tính, Trí tuệ nhân tạo

Nội dung tài liệu:

Báo cáo chuyên đề này tập trung vào việc biểu diễn tri thức trong lĩnh vực công nghệ, cụ thể là ứng dụng trong giải toán hình học phẳng. Tài liệu giới thiệu các khái niệm về đối tượng tính toán COKB, các loại quan hệ giữa các đối tượng, và cách biểu diễn kiến thức hình học thông qua các tệp dữ liệu như OBJECTS.txt, Hierarchy.tx, RELATIONS.txt và RULES.txt. Báo cáo cũng trình bày quy trình tạo package để đọc và xử lý dữ liệu, cùng với các ví dụ minh họa về việc giải toán hình học bằng hệ thống COKB.

Mục lục chi tiết:

  • Giới thiệu
  • Khái niệm về đối tượng tính toán COKB
  • Các đối tượng tính toán mức 2 có các thuộc tính loại
  • Quan hệ giữa các đối tượng
  • Tập tin “FACTS.txt” lưu trữ thông tin về các loại sự kiện
  • Tập tin “RULES.txt” lưu trữ hệ luật
  • Định nghĩa về một lời giải của một bài toán
  • Quan hệ cấp cơ bản và quan hệ cấp 1
  • Các ví dụ về quan hệ và luật suy diễn
  • PHÂNPHẦN 3: LẬP TRÌNH ỨNG DỤNG COKB GIẢI TOÁN HÌNH HỌC PHẲNG
  • Giới thiệu chương trình demo
  • Các tệp dữ liệu hỗ trợ
  • Quy trình xử lý dữ liệu
  • Kết quả chương trình
  • Hướng dẫn sử dụng chương trình
  • Các thuật toán và thách thức khi ứng dụng vào thực tiễn