Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 45 стр.

      ческой сети ИС. Положительный результат сопоставления позволяет получить один из
ответов запроса. Все ответы можно получить путем обнаружения всех сопоставимых с сетью
запроса фрагментов.
      Следует отметить, что операция сопоставления редко сводится только к выявлению
фрагментов сети ИС, изоморфных сети запроса. Например, в сети запроса могут быть указаны
отношения, явно не представленные в семантической сети ИС, но выводимые из представленных
на основе транзитивности. Поэтому для сети ИС задается набор допустимых преобразований,
переводящих исходную сеть (или еѐ фрагменты) в логически ей эквивалентную. В этом случае
при сопоставлении выявляются все фрагменты исходной и эквивалентной еѐ семантических
сетей, изоморфные сети запроса.


Вопросы и упражнения
1. Укажите, что является основной формой существования знаний.
2. Дайте определение термина «знания» для интеллектуальной системы.
3. Дайте определение формальной системы.
4. Определите формальную систему и приведите пример вывода теоремы в этой системе.
5. Дайте характеристику логической модели представления знаний.
6. Приведите пример вывода в логике предикатов на основе метода резолюций.
7. Дайте характеристику продукционной модели представления знаний.
8. Определите базу знаний продукционной системы и приведите пример прямого вывода.
9. Определите базу знаний продукционной системы и приведите пример обратного вывода.
10.   Укажите,    как    в   продукционных    системах   решается     проблема   управления
  последовательностью применения правил.
11.   Дайте характеристику фреймовой модели представления знаний.
12.   Дайте определение структурных частей фрейма – демона и указателя наследования.
13.   Укажите способы управления выводом во фреймовой системе. Приведите примеры.
14.   Дайте характеристику модели представления знания, базирующейся на аппарате
  семантических сетей.
15.   Приведите пример семантической сети.
16.   Укажите, в чем состоит сущность основного способа вывода в семантической сети.




                                             45