Раздел 5 Системы, основанные на знаниях

Физика
Лабораторные работы
Курс электрических цепей
Полупроводниковая электроника
Курс лекций и задач
Потенциал электpостатического поля
Пpимеpы использования теоpемы Гаусса
Закон Ома
Закон Ампеpа
Феppомагнетизм
Электротехника и электроника
Резонанс напряжений
Методы расчета сложных цепей
Трехфазные цепи
Цепи со взаимной индуктивностью
Несинусоидальные токи
Математика
Вычислительная математика
Векторная алгебра
Графика
Начертательная геометрия
Сборочные чертежи
Инженерная графика
Построение лекальных кривых
Геометрические построения
Позиционные задачи
Информатика
Электронная коммутация
Модернизация компьютера
Архитектура компьютера
Маршрутизация
Экспертные системы
Компьютерная безопасность
Требования к защите компьютерной информации
Проектирование системы защиты
Авторизация
Категорирование прав доступа
Диспетчер доступа
Антивирусная защита
Атомная энергетика
Атомные батареи
Физика атомного реактора
Атомные электростанции
Испытания атомного оружия
Воспоминания участников
атомного проекта

  • В области искусственного интеллекта и в современной психологии утверждение, что разумное поведение направляется правилами, превратилось уже в аксиому. Даже в "большом" мире люди склонны связывать уровень интеллектуальности со следованием правилам, и мы все чаще при объяснении разумности обращаем внимание на то, насколько при этом соблюдаются правила.
  • Канонические система — это разновидность формальной системы, основанной на следующих компонентах:
  • Хотя в приложении к экспертным системам порождающие правила и отличаются от тех правил переписывания, о которых шла речь выше, фундаментальные принципы и формальные свойства их остаются теми же.
  • В настоящее время порождающие правила обычно реализуются в форме правил, манипулирующих с символическими структурами типа списка векторов, а не строк символов. В этом сказывается влияние языков программирования вроде LISP и тех структур данных, которые они поддерживают. (В ранних реализациях использовались языки манипулирования символами, например SNOBOL.)
    В результате алфавит канонической символьной системы заменяется словарем символов или атомов и довольно простой грамматикой формирования символических структур. Словарь, как правило, состоит из трех подмножеств:
  • подмножества N имен объектов предметной области;
  • подмножества Р имен свойств, которые рассматриваются в качестве атрибутов объектов;
  • подмножества V допустимых значений атрибутов.
  • Если предпосылка в правиле не содержит переменных, она удовлетворяется при точном совпадении выражений в правиле и в рабочей памяти. Если же предпосылка в правиле содержит переменные, т.е. является образцом, то она удовлетворяется, если в рабочей памяти содержится вектор, включающий такую пару атрибут-значение, которая остается постоянной при удовлетворении всех остальных условий в том же правиле.
  • Сопоставить образцы в предпосылках правил и элементы данных в рабочей памяти.
  • Цель процедуры разрешения конфликтов — выбрать из сформированного списка заявок единственное правило, которое должно быть применено в текущей ситуации. Поскольку стратегия разрешения конфликтов оказывает существенное влияние на производительность системы в целом, в большинстве программных систем предусматриваются определенные опции для подстройки этого механизма.
  • CLIPS представляет собой систему, в которой строится прямая цепочка рассуждений, а порождающие правила в системе MYCIN используются в большинстве случаев для построения обратной цепочки рассуждений
  • Правила и метаправила Иногда, для того чтобы решить, какое правило следует активизировать, желательно использовать конкретные знания, а не следовать общей стратегии разрешения конфликтов. С этой целью в некоторые интерпретаторы правил включены средства, позволяющие программисту сформулировать и ввести в программу метаправила. Инженерная графика, физика, электротехника Расчетные задания
  • На языке CLIPS напишите программу , которая будет выполнять рассуждения на основании силлогизмов. Силлогизм — это множество правил, определяющих, какие умозаключения можно получить из множества суждений

    Какие строки будут сформированы следующими порождающими правилами:

    (Р1) $a ->$ab

    (Р2) $b -> $bа

    3. Пусть А — это алфавит {а, b} и пусть в этом алфавите существуют аксиомы аа, bb.

    Какой набор порождающих правил может сформировать строки вида аа, bb, aabb, bbaa, aabbaa, bbaabb, aabbaabb, bbaabbaa и т.д.

    4. На языке CLIPS напишите программу, которая будет выполнять рассуждения на основании силлогизмов. Силлогизм — это множество правил, определяющих, какие умозаключения можно получить из множества суждений. Ниже приведен простой силлогизм

    Все Аi являются Вi Все Вi являются Сi Все Аi являются Сi

    Все Аi являются Еi Некоторые Аi являются С, Все Сi являются Вi

    Все Аi являются Вi

    Ни один из Сi не является Вi

    Ни один из Сi не является Аi

    Эти суждения несложно представить в виде диаграмм Венна. Смоделируйте их с помощью языка CLIPS в виде трех правил.

    Вам понадобится единственный шаблон, в котором будет определено, что утверждение (statement) состоит из квантификатора (quantifier), который может принимать одно из трех значений: all (все), some (некоторые) или по (ни один) и двух множеств.

    (deftemplate statement

    (field quantifier (type SYMBOL))

    (field setl (type SYMBOL))

    (field set2 (type SYMBOL)) )

    Так, выражение "Все А1 являются В" примет вид

    (statement (quantifier all) (setl As) (set2 Bs))

    Проверить, как работает программа, можно на таких фактах:

    (deffacts the-facts

    (statement (quantifier all) (setl puppies)

    (set2 dogs)) (statement (quantifier all) (setl dogs)

    (set2 mammals)) (statement (quantifier all) (setl mammals)

    (set2 animals)) (statement (quantifier no) (setl sea-cretures)

    (set2 dogs)) (statement (quantifier some) (setl sea-cretures)

    (set2 mammals)) )

  • Примеры решения типовых задач математика, физика, электротехника