Механизм логического вывода. Пример

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

Механизм логического вывода выполняет функции поиска в базе правил, последовательного выполнения операций над знаниями и получения заключений. Существует два способа проведения таких заключений – прямые выводы и обратные выводы.

Достигая цель, человек не только приходит к решению поставленной перед ним задачи, но одновременно приобретает новые знания. Рассмотрим такой пример:

1 Володя и Люда – родители Оли.

2 Володя и Люда – родители Игоря.

Цель заключается в том, чтобы определить, кем приходятся друг другу Оля и Игорь. Механизм упрощения заставляет человека обратиться к хранящемуся в его мозгу правилу: ЕСЛИ у девочки и мальчика одни и те же родители, ТО мальчик и девочка – брат и сестра. Цель мгновенно достигнута.

Ответ на вопрос о степени родства Оли и Игоря получен из известного ранее правила. Кроме того, в процессе достижения цели получен новый факт: Оля и Игорь – брат и сестра. Часть интеллекта, которая помогает извлекать новые факты, называется механизмом вывода. Именно механизм вывода позволяет человеку учиться на опыте, так как он дает возможность генерировать новые факты из уже существующих, применяя имеющиеся знания к новой ситуации. Механизм вывода помогает обнаружить ошибки в рассуждениях и совершенствовать правила, используемые при достижении целей.