Простая база знаний

Теперь, после определения семантики пропозициональной логики, мы можем сформировать базу знаний для мира вампуса. Для упрощения будем рассматривать только ямы; случай, в котором рассматривается также сам вампус, оставляем читателю в качестве упражнения. Мы предоставим агенту достаточный объем знаний, чтобы он мог сам формировать те логические выводы, которые были описаны неформально в разделе.

Вначале необходимо определить словарь пропозициональных символов. Для каждого i, j.

  • допустим, что высказывание Pi,j является истинным, если в квадрате [i, j] имеется яма;
  • допустим, что Bi,j является истинным, если в квадрате [i, j] чувствуется ветерок.

База знаний включает перечисленные ниже высказывания, каждому из которых для удобства присвоено отдельное обозначение.

  • В квадрате [1,1] отсутствует яма: R1: ¬Pi, j
  • В квадрате чувствуется ветерок тогда и только тогда, когда в соседнем квадрате имеется яма. Такое высказывание должно быть сформулировано для каждого квадрата; на данный момент включены в рассмотрение только непосредственно интересующие нас квадраты: R2: B1,1 <=> (P1,2 v P2,1) R3: B2,1 <=> (P1,1 v P2,2 v P3,1)
  • Приведенные выше высказывания являются истинными во всех экземплярах мира вампуса. Теперь включим данные о восприятии ветерка для первых двух квадратов, которые были посещены агентом в том конкретном мире, где он находится; это приведет нас к ситуации, показанной на рисунке.
  • R4: ¬ B1,1 R5: B2,1
Таким образом, база знаний состоит из высказываний R1 - R5- Ее можно также рассматривать как единственное высказывание (как конъюнкцию R1 ^ R2 ^ R3 ^ R4 ^ R5), поскольку она подтверждает, что все отдельно взятые высказывания в ней являются истинными.