Главная arrow Знания и рассуждения arrow Простая база знаний
Как начинался компьютер
Компьютерная революция
Двоичный код
Разработки военных лет
Интегральные микросхемы
Микрокомпьютер
Персоны
Сеть
Язык компьютера
Развитие ПО
Гибкие системы
Средства разработки
Информатика
Вычислительная наука
Операционные системы
Искусственный интеллект
Предыстория
Поиск
Знания и рассуждения
Логика
Робототехника
 

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

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

Вначале необходимо определить словарь пропозициональных символов. Для каждого 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), поскольку она подтверждает, что все отдельно взятые высказывания в ней являются истинными.