Рассел С., Норвиг П. Искусственный интеллект. Современный подход (2-е изд., 2006) (1245267), страница 85
Текст из файла (страница 85)
Для этого требуется иметь отдельный регистр Гп х для каждого значения х и у; его значение должно быть равным схие, если агент находится в квадрате [х, у] . Однако логическая схема, которая присваивает значение регистру ъ „является гораздо более сложной по сравнению с логической схемой для регистра А11чге. Например, агент находится в квадрате [1, 1] в момент времени с, если он, во-первых, был здесь в момент времени с-1 и либо не двинулся вперед, либо попытался двинуться, но ударился об стену; во-вторых, находился в квадрате [1, 2], смотря вниз, и двинулся вперед; в-третьих, находился в квадрате [2,1], смотря влево, и двинулся вперед.
Эти три условия можно описать с помощью следующего высказывания; Ъ'ьг»» (Ъ',', л ( Рохгеахс(' чг Витр')) ч (Ь ],г л (Раодпярогеп' л Рохчеахс) )) (7.5) ч (Ь~г~г л (РасдпяьеЕС~ л Рохягахс(~ ') ) Схема для регистра гп, показана на рис. 7.10. К каждому регистру местонахождения подключена аналогичная схема.
В упр. 7.13, б предлагается спроектировать логическую схему для высказываний, касающихся ориентации. Вгееге П Вгепся П прзгег П Виму мгеам П Рис. 7.10. Схема определения того, находится ли агент в квадрате [1, 17, К каждому регистру с определением местонахождения и ориентации подключена аналоги чная схема 328 Часть 1П. Знания и рассуждения Логические схемы, показанные на рис. 7.9 и 7.10, постоянно поддерживают правильные истинностные значения лля регистров л24ъ е и ъ„,.
Однако необычным свойством логических высказываний, соответствуюгдих этим схемам и регистрам, является то, что их правильные истинностные значения всегда можно проверить. С другой стороны, рассмотрим высказывание В4 4 о том, что в квадрате [4, 41 чувствуется ветерок. Несмотря на то что истинносгное значение этого высказывания остается постоянным, агент не сможет узнать это истинностное значение до тех пор, пока не посетит квадрат [4, 4) (или не выведет логическим путем, что рядом с этим квадратом есть яма). Пропозициональная логика и логика первого порядка предназначены для того, чтобы с их помощью можно было автоматически представлять высказывания с истинными, ложными и неизвестными значениями, а логические схемы таким свойством не обладают: регистр для высказывания в4 4 обязан содержать хоть какое-то значение, либо егере, либо са2яе, даже несмотря на то, что истинные данные о том, каково его значение, еще не получены.
Зто означает, что значение в регистре вполне может оказаться неправильным, и это введет агента в заблуждение. Иными словами, в регистре должны быть представлены три возможных состояния (высказывание В4, является заведомо истинным, заведомо ложным или имеющим неизвестное значение), но в нашем распоряжении для этой цели имеется только один бит. Решение такой проблемы состоит в использовании двух битов вместо одного.
Высказывание В4, будет представлено с помощью двух регистров, которые мы будем называть к(вз 4) н к(- в, 4), где кобозначает")шочп" (известный). (Напомним, что это все еще просто символы со сложными именами, даже несмотря на то, что они выглядят как структурированные выражения!) Если оба регистра, К(В4 4) И К(- В,,), содержат ложное значение, то истинностное значение В, 4 неизвестно. [А если оба они содержат истинное значение, то в базе знаний есть ошибка!) С этого времени, каждый раз, когда в некоторой части логической схемы нужно будет использовать высказывание В4 4, вместо него будет применяться высказывание К(В, 4), а когда потребуется использовать в4,, вместо него будет служить К(- В4 4) . Вообще говоря, каждое потенциально неопределенное высказывание можно представить двумя Ъ.
высказываниями с оценкой знаний ()спов4е()йе ргорозй(оп), которые позволяют определить, известно ли о том, что соответствующее высказывание является истинным, или известно, что оно ложно. Примеры того, как использовать высказывания с оценкой знаний, будут вскоре приведены. Но вначале необходимо провести определенную работу, чтобы найти способ выяснения истинностных значений самих высказываний с оценкой знаний.
Обратите внимание на то, что высказывание в,, имеет постоянное истинностное значение, а значения высказываний к(В, 4) и к(- Вз,) изменяются по мере того, как агент больше узнает об этом мире. Например, высказывание к(В4 4) вначале является ложным, а затем становится истинным, как только появляется возможность определить, что высказывание В, 4 является истинным, т.е. после того, как агент переходит в квадрат [4, 4] и обнаруживает ветерок. С тех пор оно продолжает оставаться истинным.
Таким образом, справедливо следующее уравнение; К(во~) еь К(Вс4) ч (Ь 4.4 л Вхееве ) (7.б) Аналогичное уравнение может быть составлено для высказывания к(- вз,) '. Теперь, после того как агент узнал, в каких квадратах чувствуется ветерок, он может заняться обнаружением ям. В отсутствии ямы в некотором квадрате можно быть уве- Глава 7. Логические агенты 329 ренным тогда и только тогда, когда в отношении одного из соседних квадратов известно, что в нем не чувствуется ветерок.
Например, имеет место следующее уравнение: К( Р4,4) м К( ЗВз,4) ч К( В4,з) (7.7) Задача определения того, что в некотором квадрате есть яма, является более сложной — для этого в одном из соседних квадратов должен чувствоваться ветерок, который нельзя приписать наличию других ям, как показывает следующее уравнение: К(Р4,4) ЕЗ (К(В3,4) л К( Р2,4) Л К( Рз,з) ) ч (К(В4 3) л К(- РЗ 2) л К( Рз 3) ) (7.8) Хотя логические схемы для определения наличия или отсутствия ям являются довольно сложными, сУ в них имеется лишь постоянное количество логических эле24ентав в расчете на каждый квадрат. Это свойство является существенным, если мы занимаемся созданием агентов на основе логической схемы, предназначенных для решения задач, масштабы которых могут увеличиваться в разумных пределах.
А фактически это — свойство самого мира вампуса; среда называется проявляющей свойство локальности, если истинность каждого интересующего нас высказывания можно определить, рассматривая лишь постоянное количество других высказываний. Обоснованность классификации по признаку локальности очень сильно зависит от того, насколько точно определена "физическая структура" данной среды. Например, область определения задачи игры в минного тральщика (М)пеззчеерег) (упр. 7.11) является нелокальной, поскольку, чтобы узнать, есть ли мина в данном квадрате, может потребоваться проверить квадраты, находящиеся от него на произвольном расстоянии. Поэтому агенты на основе логических схем не всегда практически применимы для нелокальных областей определения.
Осталась еще одна проблема, которую мы до сих пор тщательно обходили, — вопрос об ех ацикличности, Логическая схема является ацикличной, если каждый путь, соединяющий выход некоторого регистра в обратном направлении с его входом, содержит промежуточный элемент задержки. Мы требуем, чтобы все схемы были ацикличными, посколькулогические схемы, являющиеся цикличными, не работают как физические устройства! Они могут переходить в режим неустойчивых колебаний, что приводит к появлению неопределенных значений. В качестве примера цикличной схемы рассмотрим следую)ций дополненный вариант уравнения 7.6: К(В4,4) 4=3 К(В4,4) ч (Ь'4,4 л Веееее') ч К(Рз.з) ч К(РЗ,з) (7.9) Дополнительные дизъюнкты, К(Р,,) ' и К(Р,,) ', позволяют агенту определить, чувствуется ли ветерок, на основании известных данных о наличии ям в соседних квадратах, и, на первый взгляд, в этом нет ничего предосудительного.
Но, к сожалению, появление ветерка зависит от наличия ям в соседних квадратах, а наличие ям зависит от того, чувствуется ли ветерок в соседних квадратах, и такая связь устанавливается с помощью уравнений, подобных уравнению 7.8. Поэтому полная логическая схема будет содержать циклы. Сложность здесь заключается не в том, что дополненное уравнение 7.9 стало неправильным.
Скорее всего, проблема состоит в том, что промежуточные зависимости, представленные подобными уравнениями, невозможно разрешить с помощью распространения истинностных значений по соответствующим логическим схемам. Ациклическая версия схемы, составленной с использованием уравнения 7.6, кото- 330 Часть!11. Знания и рассуждения рая определяет наличие ветерка только с помощью прямого наблюдения, является неполной в том смысле, что могут возникать такие ситуации, когда агент на основе логической схемы окажется менее осведомленным, чем агент на основе логического вывода, использующий полную процедуру логического вывода. Например, если чувствуется ветерок в квадрате [1, 1], то агент на основе логического вывода может прийти к заключению, что ветерок чувствуется также в квадрате [2, 2], а агент на основе ациклической логической схемы, использующий уравнение 7.6, на это не способен. Задача создания полной логической схемы выполнима (в конце концов, логические схемы дают возможность эмулировать любой цифровой компьютер), но такая схема окажется значительно более сложной по сравнению с ациклической логической схемой.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
