TAILIEUCHUNG - Giáo trình Trí tuệ Nhân tạo part 9

Từ một kéo theo và phủ định kết luận của nó, ta suy ra phủ định giả thiết của kéo theo. 3. Luật bắc cầu Từ hai kéo theo, mà kết luận của nó là của kéo theo thứ nhất trùng với giả thiết của kéo theo thứ hai, ta suy ra kéo theo mới mà giả thiết của nó là giả thiết của kéo theo thứ nhất, còn kết luận của nó là kết luận của kéo theo thứ hai. | Từ một kéo theo và phủ định kết luận của nó ta suy ra phủ định giả thiết của kéo theo. 3. Luật bắc cầu a p p Y a Y Từ hai kéo theo mà kết luận của nó là của kéo theo thứ nhất trùng với giả thiết của kéo theo thứ hai ta suy ra kéo theo mới mà giả thiết của nó là giả thiết của kéo theo thứ nhất còn kết luận của nó là kết luận của kéo theo thứ hai. 4. Luật loại bỏ hội ai Từ một hội ta đưa ra một nhân tử bất kỳ của hội . 5. Luật đưa vào hội a1 . ai .am Từ một danh sách các công thức ta suy ra hội của chúng. 6. Luật đưa vào tuyển ai Từ một công thức ta suy ra một tuyển mà một trong các hạng tử của các tuyển là công thức đó. 7. Luật giải a v p lp v Y a v Y Từ hai tuyển một tuyển chứa một hạng tử đối lập với một hạng tử trong tuyển kia ta suy ra tuyển của các hạng tử còn lại trong cả hai tuyển. Một luật suy diễn được xem là tin cậy secured nếu bất kỳ một mô hình nào của giả thiết của luật cũng là mô hình kết luận của luật. Chúng ta chỉ quan tâm đến các luật suy diễn tin cậy. Bằng phương pháp bảng chân lý ta có thể kiểm chứng được các luật suy diễn nêu trên đều là tin cậy. Bảng chân lý của luật giải được cho trong hình . Từ bảng này ta thấy rằng trong bất kỳ một minh họa nào mà cả hai giả thiết a v p lp v Y đúng thì kết luận a v Y cũng đúng. Do đó luật giải là luật suy điễn tin cậy. a p Y a v p lp v Y a v Y False False False False True False False False True False True True False True False True False False False True True True True True True False False True True True True False True True True True True True False True False True True True True True True True Hình Bảng chân lý chứng minh tính tin cậy của luật giải. Ta có nhận xét rằng luật giải là một luật suy diễn tổng quát nó bao gồm luật Modus Ponens luật Modus Tollens luật bắc cầu như các trường hợp riêng. Bạn đọc dễ dàng chứng minh được điều đó . Tiên đề định lý chứng minh. Giả sử chúng ta có một tập nào đó các công thức. Các luật suy diễn cho phép ta từ các công thức đã

• Kỹ thuật lập trình
• giáo trình Trí tuệ Nhân tạo
• bài giảng Trí tuệ Nhân tạo
• tài liệu Trí tuệ Nhân tạo
• đề cương Trí tuệ Nhân tạo
• lý thuyết Trí tuệ Nhân tạo
• 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
• tổng quan về 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