ВУЗ:
Составители:
Базы знаний строятся на основе моделей, разработанных в когнитивной психологии (психологии
познания). Основных моделей три: логическая, сетевая, продукционная.
Логическая модель широко использует аппарат математической логики. Декларативные знания
представляются в виде формул, а использование логических операций позволяет записать процедурные
знания.
Пример
Суждение "Я обязательно поеду на матч, если достану билет или меня пригласит товарищ и если не
будет дождя" можно записать следующим образом:
(A ∨ B) ∧ ¬C ⇒ D
где А = "Я достану билет", B = "Меня пригласит товарищ", C = "Будет дождь", D = "Я поеду на матч", ∨
– логическая операция "ИЛИ", ∧ – логическая операция "И", ¬ – логическая операция "НЕ", ⇒ – логи-
ческая операция "ЕСЛИ..., ТО...".
Может быть и такая форма записи:
( ИМЕТЬ (я, билет) ∨ ПРИГЛАСИТЬ (товарищ, я) ) ∧ ¬ ИМЕТЬ МЕСТО (дождь) ⇒ ПОЙТИ (я,
матч)
В основе сетевой модели лежит идея о том, что любые знания можно представить в виде совокуп-
ности объектов (понятий) и связей (отношений) между ними. Знания представленные таким образом
носят название семантические сети.
Пример. Фраза "девочка ищет в комнате большой красный мяч, который лежит под письмен-
ным столом" может быть представлена в виде семантической сети, изображенной на рис. 23.
Заметим, что блок-схемы алгоритмов также представляют собой семантические сети. Вершины
этих сетей – процедуры, а дуги означают действие "перейти к процедуре" ("передать управление про-
цедуре").
Понятия, входящие в сеть, описываются в виде фреймов. Фрейм – это минимально возможное (так,
чтобы не потерялся сам объект) описание сущности какого-либо явления, процесса, ситуации. Компо-
ненты фрейма называются слотами. Изображается фрейм в виде цепочки слотов, причем, исключение
из фрейма любого слота делает его неполным, иногда бессмысленным.
Рис. 23 Пример семантической сети
Пример
Описание фрейма
(фрейм-прототип)
"Заполненный" фрейм
(фрейм-экземпляр)
Битва = <кто?> <с кем?> <ко-
гда?> <где?> <результат>
Битва1 = <СССР> <Герма-
ния>
<декабрь 1941> <Сталинград>
<победил>
Битва2 = <Иван Царевич>
<Кощей Бессмертный> <ут-
ром> <в чистом поле> <побе-
дил>
Страницы
- « первая
- ‹ предыдущая
- …
- 64
- 65
- 66
- 67
- 68
- …
- следующая ›
- последняя »
