Механизм - логический вывод
Cтраница 2
Фундаментальным организационным принципом построения ЭС является разделение баз данных и знаний и механизма логического вывода, что позволяет добавлять в систему новые факты, знания и отношения, делая ЭС все более гибкой по отношению к классу решаемых задач и более дружественной по отношению к пользователю. [16]
При создании экспертной системы необходимо принять решения о выборе формального языка представления знаний, механизма логического вывода, средств взаимодействия с пользователем и способа работы в условиях неопределенности. [17]
 |
Пример структуры экспертной системы. [18] |
И, наконец, в экспертной системе должен присутствовать модуль, который способен при помощи механизма логического вывода предложить разумный совет или осуществить разумное решение поставленной задачи, сопровождая его по требованию пользователя различными комментариями, поясняющими ход проведенных рассуждений. Модуль, реализующий эти функции, называется модулем советов и объяснений. Следует отметить, что механизм объяснений играет весьма важную роль, позволяя повысить степень доверия пользователя к полученному результату. Кроме того, он важен не только для пользователя системы, но и для эксперта, который с его помощью определяет, как работает система и как используются предоставленные им знания. [19]
 |
Пример структуры экспертной системы. [20] |
Как и любая система, основанная на знаниях, экспертная система обязательно содержит в своем составе базу знаний к механизм логических выводов. Зачастую для представления фактических знаний используется отдельный механизм - база данных, а в базе знаний остаются лишь процедурные знания. Кроме того, для ведения базы знаний и дополнения ее при необходимости знаниями, полученными от эксперта, требуется отдельный модуль приобретения знаний. [21]
Используемый метод анализа причинно-следственных связей не зависит от самого анализируемого объекта, а следовательно, отпадает необходимость в трудоемкой настройке механизма логического вывода для каждого отдельного приложения. [22]
Она требует распределенной системы управления, в которой существует большое число локальных подсистем управления, принимающих самостоятельные решения на основе знаний и механизмов логического вывода. Данные подсистемы образуют некоторое сообщество, в котором они объединяются общими целями и используют общее множество ограниченных ресурсов для достижения этих целей. Все это способствует возникновению и развитию многоагентных систем и интеллектуальных организаций. [23]
Хотя предметной областью, для которой предназначалась эта программа, является анализ цифровых схем, но использованные в ней язык представления знаний и механизм логического вывода более или менее независимы от этой предметной области. Для представления описания конструкции диагностируемого устройства используются формализм исчисления предикатов и форма доказательства теорем, с помощью которых формируются множества подозрительных компонентов и тестов, призванных подтвердить или опровергнуть гипотезы о причинах неисправностей. Метод решения проблем, использованный в DART, опирается на три упрощающих допущения. [24]
Система PROTEAN представляет для нас особый интерес тем, что она демонстрирует, как в рамках архитектуры ВВ1 можно комбинировать независимые от предметной области механизмы логического вывода и зависимые от предметной области знания об ограничениях. [25]
Удобно считать, что экспертная система состоит из двух модулей: оболочки и базы знаний. Оболочка в свою очередь состоит из механизма логического вывода и интерфейса с пользователем. [26]
 |
Окно ввода и изменения фактов в ЭС продукционного типа. [27] |
Разрабатывать оболочки небольших ЭС можно практически на любом языке процедурного или объектно-ориентированного программирования, а также на языках логического типа, наиболее известным представителем которых является PROLOG. В последнем случае программист освобождается от реализации механизма логического вывода, который является частью PROLOG-систем. В его задачи входят поиск, структурирование и представление знаний средствами логики предикатов, создание БЗ и написание программы, управляющей процессом обработки знаний. [28]
 |
Окно ввода и изменения фактов в ЭС продукционного типа. [29] |
Разрабатывать оболочки небольших ЭС можно практически на любом языке процедурного или объектно-ориентированного программирования, а также на языках логического типа, наиболее известным представителем которых является PROLOG. В последнем случае программист освобождается от реализации механизма логического вывода, который является частью РКОШО-еистем. В его задачи входят поиск, структурирование и представление знаний средствами логики предикатов, создание БЗ и написание программы, управляющей процессом обработки знаний. [30]
Страницы: 1 2 3 4