TAILIEUCHUNG - Bài tập Logic

Câu 1Cho tập cơ sở tri thức: KB = { A = B ∧ C, C = E ∨ F, B = ¬E ,A} Biến đổi tập cơ sở tri thức trên về dạng hội chuẩn và chứng minh F được suy dẫn từ tập cơ sở tri thức trên bằng phương pháp Robinson (DP).Câu 2Thực hiện tương tự cho bài tập sau KB = {A = B; A = C ∨ E; B ∧ C = D; E = F; F ∨ D = G; A} Có thể suy diễn các sự kiện sau từ cơ sở tri thức trên hay không: a) E? b) G? | Môn Trí tuệ nhân tạo Giảng viên Tô Hoài Việt Bài tập Logic Câu 1 Cho tập cơ sở tri thức KB A B A C C E V F B -E A Biến đổi tập cơ sở tri thức trên về dạng hội chuẩn và chứng minh F được suy dẫn từ tập cơ sở tri thức trên bằng phương pháp Robinson DP . Câu 2 Thực hiện tương tự cho bài tập sau KB A B A C V E B A C D E F F V D G A Có thể suy diễn các sự kiện sau từ cơ sở tri thức trên hay không a E b G Câu 3 Cho cơ sở tri thức sau KB A B V D D E A F E A A -B Biến đổi tập cơ sở tri thức trên về dạng hội chuẩn và kiểm tra các câu sau có rút ra được từ tập cơ sở trên hay không dùng phương pháp Robinson DP a A -D b A A B -D Câu 4 Đặt C x x có một con mèo D x x có một con chó F x x có một con chồn . Biểu diễn các phát biểu sau theo C x D x F x các lượng từ và các phép nối logic. Xét không gian biến là các sinh viên trong lớp a Một sinh viên trong lớp có một con mèo một con chó hay một con chồn. b Tất cả sinh viên trong lớp có một con mèo một con chó hay một con chồn. c Một sinh viên nào đó có một con mèo và một con chồn nhưng không có chó. d Không có sinh viên nào trong lớp có một con mèo một con chó và một con chồn. e Với mỗi loại con vật trên có một sinh viên trong lớp có một con. Câu 5 Đặt L x x là một nhà logic C x x uống café W x x làm việc chăm chỉ T x x phát biểu định lý f x hàm trả ra giá trị là bạn của x giả sử mỗi người có đúng 1 bạn . 1. Phát biểu các câu sau dưới dạng logic bậc nhất có sử dụng dấu a. Không nhà logic nào uống café b. Bất kỳ ai là một nhà logic cũng đều là bạn của ai đó c. Không người nào phát biểu được định lý lại có một người bạn uống café. 10 15 2008 Môn Trí tuệ nhân tạo Giảng viên Tô Hoài Việt d. Ai có một người bạn làm việc chăm chỉ thì hoặc là một nhà logic hoặc cũng là một người làm việc chăm chỉ e. Mọi người bạn là một nhà logic. 2. Từ các tiền đề sau a. Tất cả nhà logic đều uống café. b. Bất kỳ ai không phát biểu được định lý đều không uống café. c. Có một số người mà bạn của họ là nhà logic. Chứng minh rằng Có một nhà logic uống café và

• Kỹ thuật lập trình
• Giáo trình Trí tuệ nhân tạo
• tài liệu tham khảo dành cho giáo viên
• sinh viên đang trong giai đoạn thực hiện chuyên đề
• báo cáo tốt nghiệp
• trí tuệ nhân tạo
• tài liệu trí tuệ nhân tạo
• lý thuyết trí tuệ nhân tạo
• phương pháo tư duy
• kỹ năng tư duy
• trí tuệ con người
• tư duy sáng tạo
• kiến thức trí tuệ
• giáo trình
• kinh tế chính trị học
• học thuyết kinh tế
• sách kinh tế học
• tài liệu học đại học
• bài giảng trí tuệ nhân tạo
• tổng quan về trí tuệ nhân tạo
• đề cương Trí tuệ Nhân tạo
• nghiên cứu trí tuệ nhân tạo
• Bài tập trí tuệ nhân tạo
• Giải thuật tìm kiếm
• Tìm kiếm hệ thống
• đề cương bài giảng
• sách trí tuệ nhân tạo
• xử lý ngôn ngữ tự nhiên
• ứng dụng trí tuệ nhân tạo
• sản phẩm trí tuệ nhân tạo
• Kỹ thuật lập trình
• Khoa học trí tuệ nhân tạo
• Trí tuệ nhân tạo quan tâm
• Không gian trạng thái trí tuệ nhân tạo
• phương pháp giải quyết vấn đề cơ bản
• điều khiển tốc độ động cơ
• trí thông minh nhân tạo
• kỹ thuật công nghệ
• Tri tuệ nhân tạo
• nghiên cứu Tri tuệ nhân tạo
• hệ thống Tri tuệ nhân tạo
• thiết kế Tri tuệ nhân tạo
• tìm hiểu Tri tuệ nhân tạo
• Nhập môn trí tuệ nhân tạo
• Biểu diễn tri thức
• Trí tuệ nhân tạo hiện đại
• Artificial Intelligence
• Phương pháp tìm kiếm lời giải
• Phương pháp tìm kiếm heuristic
• sản phẩm trí tuệ
• tri thức
• phương pháp biểu diễn tri thức