Bài giảng Trí tuệ nhân tạo của trường ĐH Kinh tế Kỹ thuật Công nghiệp có nội dung trình bày tổng quan về kho học trí tuệ nhân tạo, các phương pháp biểu diễn và giải quyết vấn đề, ngôn ngữ nhân tạo Prolog.
TRÍ TUỆ NHÂN TẠO Khoa Cơng nghệ Thơng tin Trường Đại học Kinh tế Kỹ thuật công nghiệp NỘI DUNG TỔNG QUAN VỀ KHOA HỌC TTNT CÁC PHƯƠNG PHÁP BIỂU DIỄN VÀ GIẢI QUYẾT VẤN ĐỀ NGÔN NGỮ TTNT PROLOG TÀI LIỆU THAM KHẢO Trí tuệ nhân tạo – Các phương pháp Giải vấn đề kỹ thuật xử lý tri thức (1999) Nguyễn Thanh Thuỷ Lập trình lơgic Prolog (2004) Phan Huy Khánh Artificial Intelligence: A Modern Approach (2nd edition, 2002) Stuart Russell & Peter Norvig KHỐI LƯỢNG & CẤU TRÚC HỌC PHẦN Số tín chỉ: Lý thuyết: 26 tiết Thực hành, tập: 10 tiết TỔNG QUAN VỀ KHOA HỌC TTNT NỘI DUNG CÁC KHÁI NIỆM CƠ BẢN CÁC TIỀN ĐỀ CƠ BẢN CỦA TTNT LỊCH SỬ PHÁT TRIỂN CỦA KHOA HỌC TTNT CÁC THÀNH TỰU CỦA KHOA HỌC TTNT CÁC XU HƯỚNG MỚI TRONG TTNT CÁC KHÁI NIỆM CƠ BẢN: TTNT gì? Trí tuệ nhân tạo khoa học liên quan đến việc làm cho máy tính có khả trí tuệ người, tiêu biểu khả năng“suy nghĩ”, “hiểu ngôn ngữ”, biết “học tập” CÁC KHÁI NIỆM CƠ BẢN: TTNT gì? Intelligence: trí thông minh “ability to learn, understand and think” (Oxford dictionary) Artificial Intelligence (AI): trí thơng minh nhân tạo “attempts to understand intelligent entities” “strives to build intelligent entities” (Stuart Russell & Peter Norvig) CÁC KHÁI NIỆM CƠ BẢN: TTNT gì? CÁC KHÁI NIỆM CƠ BẢN: TTNT lập trình truyền thống 10 Điều khiển quay lui lát cắt Lát cắt: Ký hiệu: ! Dùng để ngăn Prolog quay lui trường hợp tìm lời giải khơng tìm lời giải thêm tiếp tục 220 Điều khiển quay lui lát cắt Thêm lát cắt : f(X,0) :- X