Искусственный интеллект

В настоящей главе изучим логику предикатов первого порядка, называя ее в дальнейшем просто логикой предикатов, которая существенно более выразительна, чем логика высказываний, и позволяет представлять знания о среде гораздо более компактно. Выразительность логики предикатов является следствием ее основополагающей идеи, заключающейся во взаимно-однозначном сопоставлении каждого уникального (не совпадающего ни с каким другим) объекта среды с индивидуальной объектной константой, обозначаемой именем (названием) объекта, а класс однотипных по каким-либо свойствам объектов, — с объектной переменной, значением которой являются объектные константы. Объектные константы и переменные в литературе часто называют индявидяыми, или предметными. Предикатом называют высказывательную функцию, определенную на множестве наборов значений объектных переменных. Эта функция может принимать только два значения: Истина (И) и Ложь (Л), называемые истинностными значениями. Отношения объектов среды представляются на