KG (Knowledge&amp-apos-s Guide-book) - учебная система для проектирования информационных технологий и экспертных систем. Кучуганов В.Н - 11 стр.

UptoLike

ВУЗ: 

ИжГТУ им. Калашникова | Ижевск

Составители: 

Рубрика: 

11
Например:
Шкаф выше Стол;
Невеста.Возраст >= 18;
Маша любит Петя;
Маша сестра Петя;
Пример рабочей таблицы фактов приведен в таблице 2.1.
Таблица 2.1
Имя Концепт операнда Атрибут операнда Значение (ВМ)
1 Человек.Жених Возраст 18
2 Человек.Жених Возраст старше Невеста
Таблица правил (вычислительных моделей).
Посылки можно представить как логические функции, вычисляющие истин-
ность выражений, в которых переменными (операндами) являются имена ат-
рибутов (фактов). Пример таблицы правил приведен в таблице 2.2.
Таблица 2.2
Имя Сущность Источник Посылка (ВМ) Следствие (новый факт-атрибут)
1 Достиг ли же-
них брачного
возраста
Статья 13,
п.2 СК
Жених.Возраст >= 18 Жених.ДостигБрачногоВозраста =
true
2 Достиг ли же-
них брачного
возраста
по уважитель-
ной причине
Статья 13,
п.2 СК
(Жених.Возраст
>= 16) and (Уважит-
ПричинаДо18)
Жених.ДостигБрачногоВозраста =
true
Алгоритм простейшего логического вывода.
Под логическим выводом условимся понимать сборку процессов (ком-
понент, программ, функций, продукций, предикатов) в такую последователь-
ность, которая приводит к нужному результату, т.е. к решению поставленной
задачи.
Дано:
- список процессов;
- список известных фактов, пополняемый в ходе рассуждений.
Требуется найти или вычислить неизвестные параметры ситуации.
Алгоритм логического вывода – это Case-функция, которая осуществ-
ляет:
1. Перебор процессов.
2. Анализ ситуации и проверка выполнимости i-того процесса, т.е. на-
личие всех входных данных (фактов) для него.
3. Выбор из нескольких возможных процессов:
а) выполнить все или
б) выбрать один j-тый процесс, воспользовавшись некоторой
стратегией.
4. Пополнение списка
фактов результатами j-того процесса. 
Например:
             Шкаф выше Стол;
             Невеста.Возраст >= 18;
             Маша любит Петя;
             Маша сестра Петя;

Пример рабочей таблицы фактов приведен в таблице 2.1.
                                                                            Таблица 2.1
       Имя         Концепт операнда        Атрибут операнда       Значение (ВМ)
        1          Человек.Жених           Возраст                18
        2          Человек.Жених           Возраст                старше Невеста

      Таблица правил (вычислительных моделей).
Посылки можно представить как логические функции, вычисляющие истин-
ность выражений, в которых переменными (операндами) являются имена ат-
рибутов (фактов). Пример таблицы правил приведен в таблице 2.2.
                                                              Таблица 2.2
 Имя   Сущность        Источник      Посылка (ВМ)             Следствие (новый факт-атрибут)
  1    Достиг ли же-   Статья 13, Жених.Возраст >= 18         Жених.ДостигБрачногоВозраста =
       них брачного    п.2 СК                                 true
       возраста
  2    Достиг ли же-   Статья   13, (Жених.Возраст            Жених.ДостигБрачногоВозраста   =
       них брачного    п.2 СК        >= 16) and (Уважит-      true
       возраста                     ПричинаДо18)
       по уважитель-
       ной причине

      Алгоритм простейшего логического вывода.
      Под логическим выводом условимся понимать сборку процессов (ком-
понент, программ, функций, продукций, предикатов) в такую последователь-
ность, которая приводит к нужному результату, т.е. к решению поставленной
задачи.
      Дано:
- список процессов;
- список известных фактов, пополняемый в ходе рассуждений.
      Требуется найти или вычислить неизвестные параметры ситуации.
      Алгоритм логического вывода – это Case-функция, которая осуществ-
ляет:
      1. Перебор процессов.
      2. Анализ ситуации и проверка выполнимости i-того процесса, т.е. на-
личие всех входных данных (фактов) для него.
      3. Выбор из нескольких возможных процессов:
            а) выполнить все или
            б) выбрать один j-тый процесс, воспользовавшись некоторой
стратегией.
      4. Пополнение списка фактов результатами j-того процесса.

                                          11

Страницы