Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic |Tài liệu miễn phí

Home 1-luan-an-thac-si cong-nghe-thong-tin-thac-si Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic

[giaban]0.000 VNĐ[/giaban] [kythuat]

[/kythuat]
[tomtat]

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

MỤC LỤC

MỞ ĐẦU

Chương 1: CHƯƠNG TRÌNH LOGIC TỔNG QUÁT

1.1 Mở đầu

1.2 Biểu diễn tri thức trong chương trình logic tổng quát

1.3 Câu trả lời cho truy vấn

1.4 Một số ngữ nghĩa khác của chương trình logic tổng quát

Chương 2: LẬP TRÌNH LOGIC MỞ RỘNG

2.1 Biểu diễn tri thức sử dụng các chương trình logic mở rộng

2.2 Ngữ nghĩa khác của chương trình logic mở rộng

2.3 Các chương trình logic phân biệt (Disjunctive Logic Programs)

2.3.1 Giới thiệu

2.3.2 Biểu diễn tri thức sử dụng chương trình logic phân biệt

2.3.3 Tìm câu trả lời cho truy vấn

Chương 3: MÔI TRƯỜNG LẬP TRÌNH LOGIC

3.1 Giới thiệu

3.2 Hệ thống DLV

3.2.1 Ngôn ngữ của môi trường DLV

3.2.2 Cấu trúc một chương trình

3.3 Gói DLV trong Java

3.3.1 Biểu diễn dữ liệu: các lớp Predicate, Literal, Model và Program

3.3.2 Kiến trúc gói DLV: lớp DlvHandler

Chương 4: CÁC BÀI TOÁN MINH HỌA

4.1 Bài toán N quân hậu

4.1.1 Phân tích bài toán

4.1.2 Cài đặt

4.2 Bài toán Cây khung nhỏ nhất

4.2.1 Mô tả bài toán

4.2.2 Phân tích và cài đặt

KẾT LUẬN

TÀI LIỆU THAM KHẢO

PHỤ LỤC

[/tomtat]