Bài giảng Nhập môn trí tuệ nhân tạo: Chương 2 - TS. Ngô Hữu Phúc

Bài giảng Nhập môn trí tuệ nhân tạo: Chương 2 do TS. Ngô Hữu Phúc biên soạn nhằm mục đích phục vụ cho việc giảng dạy với mục tiêu nhằm giúp các bạn nắm được Logic hình thức, sự tương đương logic, phương pháp lập luận và suy diễn sử dụng logic.
Nội dung trích xuất từ tài liệu:
Bài giảng Nhập môn trí tuệ nhân tạo: Chương 2 - TS. Ngô Hữu Phúc NHẬP MÔN TRÍ TUỆ NHÂN TẠO Chương 2: Logic hình thức Biên soạn: TS Ngô Hữu Phúc Bộ môn: Khoa học máy tính Mobile: 098 56 96 580 Email: ngohuuphuc76@gmail.com 1 Chương 2: Logic Thông tin chung  Thông tin về nhóm môn học: TT Họ tên giáo viên Học hàm Học vị Đơn vị công tác (Bộ môn) 1 Ngô Hữu Phúc GVC TS BM Khoa học máy tính 2 Trần Nguyên Ngọc GVC TS BM Khoa học máy tính 3 Hà Chí Trung GVC TS BM Khoa học máy tính 4 Trần Cao Trưởng GV ThS BM Khoa học máy tính  Thời gian, địa điểm làm việc: Bộ môn Khoa học máy tính Tầng 2, nhà A1.  Địa chỉ liên hệ: Bộ môn Khoa học máy tính, khoa Công nghệ thông tin.  Điện thoại, email: 069-515-329, ngohuuphuc76.mta@gmail.com. 2 Chương 2: Logic Cấu trúc môn học  Chương 1: Giới thiệu chung.  Chương 2: Logic hình thức.  Chương 3: Các phương pháp tìm kiếm mù.  Chương 4: Các phương pháp tìm kiếm có sử dụng thông tin.  Chương 5: Các chiến lược tìm kiếm có đối thủ.  Chương 6: Các bài toán thỏa rằng buộc.  Chương 7: Nhập môn học máy. 3 Chương 2: Logic Bài 2: Logic hình thức Chương 2, mục: 2.1 – 2.4 Tiết: 1-3; 4-6; Tuần thứ: 2,3. Mục đích, yêu cầu: Nắm được Logic hình thức. 2. Nắm được sự tương đương logic. 3. Nắm được phương pháp lập luận và suy diễn sử dụng logic. 1. Hình thức tổ chức dạy học: Lý thuyết. Thời gian: 3 tiết. Địa điểm: Giảng đường do Phòng Đào tạo phân công Nội dung chính: (Slides) 4 Chương 2: Logic Nội Dung •Lựa chọn hành động dựa trên tri thức. •Hang Wumpus . •Logic. •Logic Mệnh đề. •Tính tương đương, tính thoả được. •Lập luận & chứng minh tự động trên Logic Mệnh đề lập luận tiến lập luận lùi phép giải Chương 2: Logic 5