Машина - вывод
Cтраница 1
 |
Обобщенная схема представления данных и знаний. [1] |
Машина вывода в системе КОНСУЛЬТАНТ очень проста. [2]
Машина вывода ( интерпретатор правил) выполняет две функции: во-первых, просмотр существующих фактов из рабочей памяти ( базы данных) и правил из базы знаний и добавление ( по мере возможности) в рабочую память новых фактов и, во-вторых, определение порядка просмотра и применения правил. [3]
Машина вывода применяет логику, четкие рассуждения, установленные правилами, для проверки заключений и получения выводов. Через интерфейс пользователя эта система проводит свое исследование и поддерживает связь с человеком, который ею управляет. [4]
Машина вывода - это универсальный механизм ( программа или аппарат), который с помощью правил базы знаний строит новые выводы, задает дополнительные вопросы и так далее до тех пор, пока не придет к какому-нибудь приемлемому конечному результату или ответу. [5]
Машина вывода Ontobroker состоит из двух основных компонентов: транслятора с расширенного языка представления в ограниченный и собственно вычислителя выражений ограниченного языка, который является обычным языком логического программирования. [6]
Машина вывода экспертной системы реализует продукционный механизм формирования решений. [7]
Машина вывода онтологической системы в общем случае может опираться на сетевое представление онтологии всех уровней. [8]
Машина вывода языка PROL реализует прямой вывод, что очень удобно в ЭС диагностики. Специальный редактор БЗ CREATE позволяет автоматизировать синтаксический анализ базы на стадии ее создания. [9]
Машина вывода экспертной системы реализует продукционный механизм формирования решений. [10]
 |
Классификация ИтС в ранних работах по ЭС. [11] |
Машиной вывода ( решателем) в ЭС, как уже упоминалось, называют набор средств, реализующих тот или иной способ рассуждения, технологию поиска в базе знаний, стратегию разрешения конфликтов, обработку неопределенности и ошибок. [12]
Особенностью машины вывода G2 является богатый набор способов возбуждения правил. Как было отмечено в главе 4, правило в G2 может возбуждаться одним из 9 случаев. Методы 4 - 9 возбуждают правило при возникновении некоторого события. Правила whenever возбуждаются в первую очередь и обладают наибольшим приоритетом, что гарантирует своевременную реакцию системы на изменения в окружающем мире. [13]
Правила возбуждаются машиной вывода. При этом проверяется истинность условия, находящегося в антецеденте правила. Если оно истинно, то машина вывода выполняет действия, находящиеся в кон-секвенте. При проверке условия правила машине вывода необходимо найти значения всех переменных и параметров, содержащихся в них. Параметры в любой момент времени имеют определенное значение, в то время как значение переменных может отсутствовать, поскольку для них определено время жизни. [14]
Для фреймовой модели машина вывода состоит как бы из двух частей. Единая общая часть отвечает за то, чтобы события, происходящие в системе фреймов, становились известны всем фреймам одновременно или в некоторой последовательности. Вторая часть - это обработчики событий самих фреймов, которые решают, какой из методов следует актуализовать в ответ на полученное сообщение о произошедшем событии. [15]
Страницы: 1 2 3 4