Механизм вывода

Механизм вывода

Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.

  • Факт в данном случае — утверждение, являющееся постоянно истинным, например: «Адам является человеком».
  • Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата, например: «Если X является потомком человека, то X является человеком». В данном примере правило определяет условие «X является потомком человека». Если для значения параметра X это условие истинно, то правило превращается в факт «X является человеком».

Для построения базы фактов и правил применяются формальные языки, обычно напоминающие естественный язык, но гораздо более строгие и ограниченные.

Машина вывода обычно может выполнять одну или обе из следующих операций:

  • Проверка истинности некоторого факта — истинным считается факт, если он может быть выведен по законам формальной логики из имеющейся базы фактов и правил.
  • Нахождение множества значений параметра некоторого правила, при котором данное правило превращается в истинный факт.

В первом случае на вопрос типа «Истинно ли A?» машина вывода даёт ответ «Да» либо «Нет», во втором — на вопрос типа «При каких X истинно правило A(X)?» машина вычисляет все возможные значения X, при подстановке которых в правило A это правило превращается в истинный факт.

В теории построения машин логического вывода не имеет однозначного решения так называемая проблема логического отрицания — проблема способа определения не-истинности факта. В большинстве случаев машина вывода делает вывод о не-истинности факта, если истинность факта не является выводимой из базы фактов и правил, но это может приводить к неправильной интерпретации знаний, поскольку результаты «A ложно» и «A недоказуемо» не различаются.

Машина вывода является базовым элементом экспертных систем и систем исполнения программ, написанных на языках логического программирования, таких как Prolog.

Механизм вывода

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

Литература


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "Механизм вывода" в других словарях:

  • Механизм вывода — в системах искусственного интеллекта процедура нахождения решений задач. Принципы построения механизма вывода определяются способом представления знаний и видом моделируемых рассуждений. Синонимы: Логический вывод, Машина вывода См. также:… …   Финансовый словарь

  • механизм вывода — В экспертных системах алгоритм применения правил к фактам и реализующие его программные средства; проблемно независимая часть экспертной системы. [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993]… …   Справочник технического переводчика

  • Машина вывода — Машина вывода  программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае  утверждение, являющееся постоянно истинным, например:… …   Википедия

  • Машина логического вывода — Машина вывода программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае утверждение, являющееся постоянно истинным, например: «Адам является… …   Википедия

  • Машина логического вывода — программа, моделирующая механизм рассуждений и оперирующая знаниями и данными с целью получения новых данных из знаний и других данных, имеющихся в рабочей памяти. Обычно машина логического вывода использует программно реализованный механизм… …   Финансовый словарь

  • Грейферный механизм — У этого термина существуют и другие значения, см. Грейфер. Двухкривошипный грейферный механизм киносъемочного аппарата Конвас автомат . Грейферный механизм, грейфер (от …   Википедия

  • метод логического вывода — механизм логического вывода — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы механизм логического вывода EN inference engine …   Справочник технического переводчика

  • Feed out mechanism — Механизм вывода (напр. листов со стапельного устройства, тетрадей из магазина) …   Краткий толковый словарь по полиграфии

  • Вывод типов — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Вывод типа (англ. Type inference)  в программировании возможность компилятора… …   Википедия

  • Модель типизации Хиндли — Милнера — Вывод типа (Type inference) в программировании возможность компилятора автоматически вывести тип выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется в и объекто ориентированых ЯП… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»