TAILIEUCHUNG - Giáo trình trí tuệ Nhân tạo - Chương 6

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

• Kỹ thuật lập trình
• Giải quyết vấn đề bằng tìm kiếm
• tri thức
• lập luận
• công cụ tìm kiếm
• chiến lược tìm kiếm
• lôgic mệnh đề
• Trí tuệ nhân tạo
• Bài giảng Trí tuệ nhân tạo
• Không gian trạng thái
• Tìm kiếm mù
• Tìm kiếm trên không gian trạng thái
• kỹ năng mềm
• tâm lý
• nghệ thuật sống
• kỹ năng tư duy
• Đồ thị tìm kiếm
• Các trạng thái lặp
• Tìm kiếm không gian trạng thái
• Tìm kiếm theo chiều rộng
• Bài toán ràng buộc
• Đồ thị với ràng buộc
• Tìm kiếm quay lui
• Tìm kiếm bằng kiểm thử
• Giáo trình Nhập môn trí tuệ nhân tạo
• Nhập môn trí tuệ nhân tạo
• Bài toán tìm kiếm trong không gian trạng thái
• Biểu diễn tri thức
• Lập luận logic
• office
• tin học
• Kỹ năng lập trình
• Khoa học về trí não
• Nghiên cứu trí tuệ nhân tạo
• Công nghệ thông tin
• Kỹ thuật lập trình