Tiếp nội dung phần 1, Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 cung cấp cho người học những kiến thức như: Logic vị từ; Chiến lược phân giải sử dụng tập hỗ trợ; Biểu diễn tri thức; Kiểu dữ liệu cấu trúc của Prolog; Ngữ nghĩa của chương trình Prolog; .Mời các bạn cùng tham khảo! | CHƢƠNG 4 LOGIC VỊ TỪ Logic mệnh đề cho phép ta biểu diễn các sự kiện mỗi kí hiệu trong logic mệnh đề đƣợc minh họa nhƣ là một sự kiện trong thế giới hiện thực sử dụng các kết nối logic ta có thể tạo ra các câu phức hợp biểu diễn các sự kiện mang ý nghĩa phức tạp hơn. Nhƣ vậy khả năng biểu diễn của logic mệnh đề chỉ giới hạn trong phạm vi thế giới các sự kiện. Thế giới hiện thực bao gồm các đối tượng mỗi đối tƣợng có những tính chất riêng để phân biệt nó với các đối tƣợng khác. Các đối tƣợng lại có quan hệ với nhau. Các mối quan hệ rất đa dạng và phong phú. Chúng ta có thể liệt kê ra rất nhiều ví dụ về đối tƣợng tính chất quan hệ. Đối tƣợng một cái bàn một cái nhà một cái cây một con ngƣời một con số. Tính chất Cái bàn có thể có tính chất có bốn chân làm bằng gỗ không có ngăn kéo. Con số có thể có tính chất là số nguyên số hữu tỉ là số chính phƣơng. . Quan hệ cha con anh em bè bạn giữa con ngƣời lớn hơn nhỏ hơn bằng nhau giữa các con số bên trong bên ngoài nằm trên nằm dƣới giữa các đồ vật . Hàm Một trƣờng hợp riêng của quan hệ là quan hệ hàm. Chẳng hạn vì mỗi ngƣời có một mẹ do đó ta có quan hệ hàm ứng mỗi ngƣời với mẹ của nó. Logic vị từ là mở rộng của logic mệnh đề. Nó cho phép ta mô tả thế giới với các đối tƣợng các thuộc tính của đối tƣợng và các mối quan hệ giữa các đối tƣợng. Nó sử dụng các biến biến đối tƣợng để chỉ một đối tƣợng trong một miền đối tƣợng nào đó. Để mô tả các thuộc tính của đối tƣợng các quan hệ giữa các đối tƣợng trong logic vị từ ngƣời ta dựa vào các vị từ predicate . Ngoài các kết nối logic nhƣ trong logic mệnh đề logic vị từ còn sử dụng các lượng tử. Chẳng hạn lƣợng tử với mọi cho phép ta tạo ra các câu nói tới mọi đối tƣợng trong một miền đối tƣợng nào đó. Logic vị từ đóng vai trò cực kì quan trọng trong biểu diễn tri thức vì khả năng biểu diễn của nó cho phép biểu diễn tri thức về thế giới với các đối tƣợng các thuộc tính của đối tƣợng và các quan hệ của đối tƣợng và hơn nữa nó là cơ sở cho nhiều ngôn ngữ logic khác. . Cú pháp và .
