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

Исключение импликаций. Из логики высказываний известно, что а з (3 = = -1 а v р. Поэтому на первом шаге с помощью этой формулы исключаем все импликации. Перемещения знака отрицания (-.) непосредственно к атомам. В клаузах отрицание допустимо только перед атомами. Поэтому используя перечисленные ниже законы Де Моргана, эквивалентности кванторов и двойного отрицания, перемешаем знак отрицания непосредственно к атомам: -1 (о v Ь) = -1 а л -1 Р, -1 (о л Ь) = -1 а v -1 р, -iVxa(jc)=3jf-.a (x), -. 3 ха(х) = \/ х -,а (х), -I a = а. Переименование переменных. Во всех формулах, в которых встречаются кванторы, использующие одни и те же связанные переменные, как, например, в формуле V х а(х) v 3 х Р(х), переименовываем связанные переменные таким образом, чтобы они были индивидуальными для каждого квантора. Например, для нашего примера это может быть использование переменной у вместо переменной х для квантора существования. В результате получится формула V х а(х) v 3 у Р(у).