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: PDF
Số trang: 114 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic

Tác giả: Nguyễn Thanh Tú

Lĩnh vực: Công nghệ Thông tin

Nội dung tài liệu:

Luận văn này tập trung nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic. Nội dung bao gồm các kiến thức cơ bản về chương trình logic tổng quát, chương trình logic mở rộng, và môi trường lập trình logic DLV. Luận văn cũng đề cập đến cách tích hợp môi trường logic này vào mã nguồn hướng đối tượng Java và minh họa bằng các bài toán cụ thể như bài toán N quân hậu và bài toán Cây khung nhỏ nhất.

Mục lục chi tiết:

  • Mở đầu
  • Chương 1: Chương trình logic tổng quát
  • Chương 2: Lập trình logic mở rộng
  • Chương 3: Môi trường lập trình logic
  • Chương 4: Các bài toán minh họa
  • Kết luận
  • Tài liệu tham khảo
  • Phụ lục