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

Các câu sẽ được chuyển thành các cấu trúc dữ liệu thích hợp được cài đặt trong một vùng nhớ nào đó của máy tính, đó là biểu diễn bên trong. Bản thân các câu chưa chứa đựng một nội dung nào cả, chưa mang một ý nghĩa nào cả. Ngữ nghĩa của ngôn ngữ cho phép ta xác định ý nghĩa của các câu trong một miền nào đó của thế giới hiện thực. Chẳng hạn, trong ngôn ngữ các biểu thức số học, dãy ký hiệu (x+y)*z là một câu viết đúng cú pháp. Ngữ nghĩa. | trong máy tính. Các câu sẽ được chuyển thành các cấu trúc dữ liệu thích hợp được cài đặt trong một vùng nhớ nào đó của máy tính đó là biểu diễn bên trong. Bản thân các câu chưa chứa đựng một nội dung nào cả chưa mang một ý nghĩa nào cả. Ngữ nghĩa của ngôn ngữ cho phép ta xác định ý nghĩa của các câu trong một miền nào đó của thế giới hiện thực. Chẳng hạn trong ngôn ngữ các biểu thức số học dãy ký hiệu x y z là một câu viết đúng cú pháp. Ngữ nghĩa của ngôn ngữ này cho phép ta hiểu rằng nếu x y z ứng với các số nguyên ký hiệu ứng với phép toán cộng còn ứng với phép chia thì biểu thức x y z biểu diễn quá trình tính toán lấy số nguyên x cộng với số nguyên y kết quả được nhân với số nguyên z. Ngoài hai thành phần cú pháp và ngữ nghĩa ngôn ngữ biểu diễn tri thức cần được cung cấp cơ chế suy diễn. Một luật suy diễn rule of inference cho phép ta suy ra một công thức từ một tập nào đó các công thức. Chẳng hạn trong logic mệnh đề luật modus ponens từ hai công thức A và A B suy ra công thức B. Chúng ta sẽ hiểu lập luận hoặc suy diễn là một quá trình áp dụng các luật suy diễn để từ các tri thức trong cơ sở tri thức và các sự kiện ta nhận được các tri thức mới. Như vậy chúng ta xác định Ngôn ngữ biểu diễn tri thức Cú pháp Ngữ nghĩa Cơ chế suy diễn. Một ngôn ngữ biểu diễn tri thức tốt cần phải có khả năng biểu diễn rộng tức là có thể mô tả được mọi điều mà chúng ta muốn nói. Nó cần phải hiệu quả theo nghĩa là để đi tới các kết luận thủ tục suy diễn đòi hỏi ít thời gian tính toán và ít không gian nhớ. Người ta cũng mong muốn ngôn ngữ biểu diễn tri thức gần với ngôn ngữ tự nhiên. Trong sách này chúng ta sẽ tập trung nghiên cứu logic vị từ cấp một first-order predicate logic hoặc first-order predicate calculus -một ngôn ngữ biểu diễn tri thức bởi vì logic vị từ cấp một có khả năng biểu diễn tương đối tốt và hơn nữa nó là cơ sở cho nhiều ngôn ngữ biểu diễn tri thức khác chẳng hạn toán hoàn cảnh situation calculus hoặc logic thời gian khoảng cấp một first-order .

• 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