Очевидно, можно хранить не все факты, большинство можно вычислять на основании более общих предложений. Пусть в окружающем нас мире существуют люди: Иванов, Петров, Сидоров. Это можно записать так: Иванов – человек, Петров – человек, Сидоров – человек. Все люди имеют некоторые свойства; например, для того чтобы констатировать, что все люди смертны, можно добавить следующие факты: Иванов умер, Петров умер, Сидоров умер. Из этой печальной статистики можно вывести общее утверждение о том, что все люди смертны. Тогда вместо всех перечисленных фактов достаточно иметь общее утверждение, которое можно записать в виде: «если Некто – человек, то (этот) Некто – смертен». Назовем утверждение такого типа знанием. Знание – это причинно-следственное отношение между фактами в форме «если факт 1, то факт 2».
Факты и знания сохраняются в памяти интеллекта.
2. Основные механизмы вывода
В основе мышления лежат механизмы получения и использования знаний.
Процесс получения знаний представим следующим примером. Пусть имеются факты «Иванов – человек», «Петров – человек» и т. д., а также факты «Иванов умер», «Петров умер» и т. д. Если выбрать факты, касающиеся Иванова, то получим «Иванов – человек» и «Иванов умер». Возникает вопрос, является ли второй факт следствием первого? Проверка пар аналогичных фактов для других умерших людей показывает, что все они были люди, и все они умерли, из чего можно заключить, что смертность является следствием того факта, что умерший был человеком. Тогда можно сделать общее предположение: «Если Некто – человек, то этот Некто смертен» и пользоваться им, по крайней мере, до получения противоречия. Назовем механизм вывода знаний из множества ассоциированных фактов индукцией.
Если в дальнейшем обнаруживаются факты, противоречащие этой формуле, то формула может быть скорректирована исключением, например, для Кащея Бессмертного: «Некто смертен, если некто – человек и некто – не Кащей Бессмертный».
Рассмотрим теперь процесс использования знаний. Предположим, что рассмотренные выше факты и знания известны. Какие рассуждения необходимо выполнить, чтобы ответить на вопрос: «Смертен ли Петров?» Мы знаем, что «если Некто – человек, то (этот) Некто смертен», поэтому если «Петров – человек», то из данных формулы и факта можно сделать однозначный вывод о том, что Петров смертен («Петров» подставляется в формулу вместо «Некто»). Назовем механизм вывода фактов из знаний дедукцией
