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

3 (ft Л) x4(g, Л) л ((? = / л (Л =j-l v h "j +1) v (A =j л {g = i-1 v g = i+l)). Используя эту запись вместо 16 формул логики высказываний, в логике предикатов можно ограничиться одной формулой (3.4) V (/, j ) xJLi, j) => 3 (g, h) x4{g, h) л ({g = / л (Л =у -1 v Л =j +1) v v (А =/л (? = Mvg = i+l)). (3.4) Квантор существования произносится на естественном языке как "Существует...". Взаимосвязь между кванторами. Считают, что квантор связывает переменные, которые записываются за знаком квантора в скобках. Поэтому их называют связанными. Переменные же, которые ни один квантор не связывает, называют свободными. Взаимосвязь между кванторами существования и общности можно легко выразить с помощью связки -¦ и она основана на следующем соображении: если какая-либо совокупность переменных связана квантором общности таким образом, что все объекты, которым соответствуют эти переменные, не обладают каким-то общим свойством, то не существует объекта (а следовательно, и соответствующей ему переменной), который обладал бы этим свойством. Например, в случае среды чудовища, если во всех ячейках нет чудовища, то это означает, что не существует ни одной ячейки, в которой бы находилось чудовище и наоборот. Эту взаимосвязь можно описать следующей формулой: