Luận văn Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic
Logic tính toán được các nhà logic học đưa ra vào những năm 1950, dựa trên
các kỹthuật tự động hóa quá trình suy diễn logic. Logic tính toán được phát
triển thành lập trình logic vào những năm 1970. Từ đó hình thành một khái
niệm quan trọng là lập trình khai báo (declarative programming) đối lập với
lập trình cấu trúc (procedural programming). Vềý tưởng, các lập trình viên
chỉcần đưa ra khai báo của chương trình còn việc thực hiện cụthểdo máy
tính tựxác lập,
Luận văn Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic trang 1
Luận văn Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic trang 2
Luận văn Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic trang 3
Luận văn Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic trang 4
Luận văn Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình logic trang 5
Tải về để xem đầy đủ hơn
File đính kèm:
luan_van_nghien_cuu_cac_phuong_phap_bieu_dien_tri_thuc_trong.pdf
