tailieunhanh - Tri tuệ nhân tạo part 7

Tham khảo tài liệu 'tri tuệ nhân tạo part 7', kỹ thuật - công nghệ, tự động hoá phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Phẩn .TRI THỨC VẰLẬPLUẬN 181 được từ A bằng cách thay các công thức là điểu kiện đủ cho p bởi công thức bổ sung cho p. Vi dụ. Xét cơ sở tri thức A gồm các công thức Bird x Flies x Flies Mic 1 Bird Bin Chúng ta bổ sung vị từ Flies. Trong cơ sở tri thức trên điểu kiện đủ để một đổi tượng biết bay là đốì tượng đó ỉà chim hoặc đôì tượng đó là Mic. Do đó công thức bổ sung cho vị từ Flies là V X Flies x Bird x V x Mic Như vậy cơ sở tri thức bổ sung C A Flies gồm các công thức Flies x o Bird x V x Mic 1 Bird Bin Từ cơ sở tri thức bổ sung này ta có thể suy ra rằng 1 Flies Bin Bin không biết bay . Kết luận này cần phải được xem xét lại khi ta bổ sung các thông tin mối vào cơ sỏ tri thức A. Chẳng hạn nếu ta thêm thông tin Flies Bin vào A thì công thức bổ sung cho vị từ Flies là V X FIies x Bird x V x Mic V x - Bin . Bây giờ 1 Flies Bin không thể suy ra được từ cơ sở tri thức bổ sung C A Flies . Cần lưu ý rằng khi ta tiến hành bổ sung các vị từ trong một cơ sở tri thức có thể dãn tới cơ sỏ tri thức bổ sung không còn phù hợp nữa tức là chứa các thông tin mâu thuẫn . Ta cần hạn chế sự áp dụng kỹ thuật bổ sung vị từ chỉ bổ sung các vị từ sao cho cơ sở tri thức bổ sung không chứa mâu thuẫn. Chẳng hạn ta có thể bổ sung các vị từ p mà p là đơn độc trong cơ sở tri thức A. VỊ từ p được xem ỉà đơn độc trong cơ sở tri thức A nếu một câu trong A chứa một xuất hiện dương của p thì đó là sự xuất hiện duy nhất của p trong câu đó . HẠN CHẾ PHẠM VI Chúng ta đã nghiên cứu kỹ thuật dựa trên giả thiết thế giới đóng và kỹ thuật bổ sung vị từ. sử dụng các kỹ thuật này chúng ta sẽ bổ sung 182 TRÍTUỆ NHÂN TẠO vào cơ sở tri thức đã cho các tiên đề mới mhằm bù đắp cho sự thiếu thông tin. Trong mục này chúng ta sẽ trình bày một kỹ thuật khác kỹ thuật hạn chế phạm vi circumscription . Kỹ thuật hạn chế phạm vi là sự tổng quát hóa của kỹ thuật bổ sung vị từ và kỹ thuật dựa trên quỵ ước về thế giới đóng. Chúng ta xét luật sau đây Bird x A 1 Anormal x Flies x Luật này nói rằng nếu X là một con chim bình

• Tự động hoá
• 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
• Bài giảng Trí tuệ nhân tạo
• Trí tuệ nhân tạo
• Trí tuệ nhân tạo chương 1
• Tổng quan về trí tuệ nhân tạo
• Nền tảng của trí tuệ nhân tạo
• Bài giảng Trí tuệ nhân tạo chương 1
• Nền tảng trí tuệ nhân tạo
• Định nghĩa trí tuệ nhân tạo
• Thành tự trí tuệ nhân tạo
• Lịch sử trí tuệ nhân tạo
• Thành tựu trí tuệ nhân tạo
• Thách thức trí tuệ nhân tạo
• Học phần môn Trí tuệ nhân tạo
• Đề thi Trí tuệ nhân tạo
• Ôn thi Trí tuệ nhân tạo
• Bài thi Trí tuệ nhân tạo
• Nội dung thi Trí tuệ nhân tạo
• Phần thi Trí tuệ nhân tạo
• Thực hành Trí tuệ nhân tạo
• Đề cương Thực hành Trí tuệ nhân tạo
• Ôn tập Trí tuệ nhân tạo
• Nội dung môn học Trí tuệ nhân tạo
• Bài tập Trí tuệ nhân tạo
• Cơ sở Trí tuệ nhân tạo‎
• Bài giảng Cơ sở Trí tuệ nhân tạo‎
• Đối tượng nghiên cứu trí tuệ nhân tạo
• Lĩnh vực áp dụng trí tuệ nhân tạo
• tài liệu trí tuệ nhân tạo
• giáo trình 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
• Agen thông minh
• Đặc điểm của trí tuệ nhân tạo
• Ứng dụng của trí tuệ nhân tạo
• Tác nhân thông minh
• 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
• đề 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
• nghiên cứu trí tuệ nhân tạo
• đề cương Trí tuệ Nhân tạo