Hiện nay đã có nhiều hệ lập trình logic ra đời mà tiêu biểu là Prolog. Prolog là viết tắt của cụm từ tiếng Pháp ”Programmation en Logique”
Hệ Prolog đầu tiên ra đời vào năm 1973 do Alain Colmerauer và nhóm trí tuệ nhân tạo thuộc Đại học tổng hợp Aix-Marseilie, Pháp xây dựng.
Mục đích ban đầu của hệ này là dịch các ngôn ngữ tự nhiên.
File đính kèm:
Bài giảng Trí tuệ nhân tạo - Phần 7.ppt
Bài giảng Hệ chuyên gia - Phan Huy Khánh - Chương 4: Phát triển các hệ chuyên gia44 trang | Lượt xem: 2070 | Lượt tải: 1
Bài giảng Hệ dựa tác tử và mở rộng AUML10 trang | Lượt xem: 1648 | Lượt tải: 3
Bài giảng Hệ chuyên gia - Phan Huy Khánh - Chương 3: Máy suy diễn70 trang | Lượt xem: 2509 | Lượt tải: 1
Bài giảng Trí tuệ nhân tạo - Phần 536 trang | Lượt xem: 6734 | Lượt tải: 2
Bài giảng Tác tử - Công nghệ phần mềm dựa tác tử9 trang | Lượt xem: 2047 | Lượt tải: 2
Bài giảng Ontology - Bản thể học10 trang | Lượt xem: 2281 | Lượt tải: 1
Bài giảng Hệ chuyên gia - Phan Huy Khánh - Chương 2: Biểu diễn tri thức nhờ logic vị từ bậc một (Phần 3)69 trang | Lượt xem: 1729 | Lượt tải: 1
Bài giảng Java Agent Development Framework6 trang | Lượt xem: 1897 | Lượt tải: 1
Bài giảng Kiến trúc Agent và hệ Agent9 trang | Lượt xem: 1864 | Lượt tải: 1
Đề cương bài giảng Trí tuệ nhân tạo69 trang | Lượt xem: 3269 | Lượt tải: 1
