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ớ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. | 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 đố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à ngữ nghĩa của logic vị từ cấp môt. Cú pháp. Các ký hiêu. Logic vị từ cấp một sử dụng các loại ký hiệu sau đây. Các ký hiệu hằng a b c An Ba John . Các ký hiệu biến x y z u v w . Các ký hiệu vị từ P Q R S Like Havecolor Prime . Mỗi vị từ là vị từ của n biến n 0 . Chẳng hạn Like là vị từ của hai biến Prime là vị từ một biến. Các ký hiệu vị từ không biến là các ký hiệu mệnh đề. Các ký hiệu hàm f g cos sin mother husband distance . Mỗi hàm là hàm của n biến n 1 . Chẳng hạn cos sin là hàm một biến distance là hàm của ba biến. Các ký hiệu kết nối logic A hội V tuyển 1 phủ định kéo theo o kéo theo nhau . Các ký hiệu lượng tử V với mọi 3 tồn tại . Các ký hiệu ngăn cách dấu phẩy dấu mở ngoặc và dấu đóng ngoặc. Comment LTT1 Comment LTT2 Các hạng thức Các hạng thức term là các biểu thức mô tả các đối tượng. Các hạng thức được xác định đệ quy như sau. Các ký hiệu hằng và các ký hiệu biến là hạng thức. Nếu ti t2 t3 . tn là n hạng thức và f là một ký hiệu hàm n biến thì f t1 t2 . tn là hạng thức. Một hạng thức không chứa biến được gọi là một hạng thức cụ thể ground term . Chẳng hạn An là ký hiệu hằng mother là ký hiệu hàm một biến thì mother An là một hạng thức cụ thể. Các công thức phân tử Chúng ta sẽ biểu diễn các tính chất của đối tượng hoặc các quan hệ của đối tượng bởi các công thức phân tử câu đơn . Các công thức phân tử câu đơn được xác định .
