LOGIC Vị Từ CấP Mộ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 để. | CHƯƠNG VI LOGIC Vị Từ CấP Mộ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ừ cấp mộ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ấp một còn sử dụng các lượng tử. Chẳng hạn lượng tử V 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 đó. Chương này dành cho nghiên cứu logic vị từ cấp một với tư cách là một ngôn ngữ biểu diễn tri thức. Logic vị từ cấp mộ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ó nó cho phép ta biểu diễn tri thức về thế giới với các
