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

х=у Формула истинна, если значение переменной х совпадает со значением переменной у X=F(Y) Формула истинна, если значение функции F(Y) совпадаете константой X x=F(Y) Формула истинна, если значение функции F(Y) совпадает со значением переменной х x=F(y) Формула истинна, если значение функции F(y) совпадает со значением переменной х Х= F(y) Формула истинна, если значение функции F(y) совпадает со значением константы X 58 3.2. Переход от естественного языка к языку логики предикатов используется формула (3.6) с равенством, то она будет истинна только при равных значениях i и j: 3 (i, j) х (3, i) л х (3, j) А (/ = j). (3.6) Формула (3.7) с отрицанием равенства, наоборот, будет истинна при различных значениях координат (3,1) 3 (I, j) хя0, i) А * (3, j) л -, (/ = j)). (3.7) 3.1.9. Аксиомы, теоремы, факты и цели Определения таких понятий, как интерпретация, общезначимость, модель, выводимость формул, введенных в главе 2 для логики высказываний, остаются справедливыми и для логики предикатов. В математической литературе, посвященной логике предикатов первого порядка, аксиомами обычно называют формулы, истинные при всех интерпретациях в некоторой среде. Как и в случае логики высказываний, это можно выразить и другими словами: аксиомами называют такие формулы логики предикатов, для которых среда является моделью при всех их интерпретациях. Как уже отмечалось, атомы с отрицаниями или без них называют литералами. Аксиомы, являющиеся литералами, все аргументы которых константы, часто называют фактами. Аксиомы, не являющиеся фактами, часто называют правилами. Факты и правила представляют собой формулы логики предикатов. Основная задача агента — вывод на основании фактов и правил истинных формул, называемых обычно теоремами, целями или целевыми формулами.