Дедуктивные выводы и правдоподобные рассуждения. Правила логического вывода. Методы поиска закономерностей на примерах. Примеры индукции в рассуждениях. Условное экзистенциальное суждение. Проверка насыщенности простой системы методом перебора.
Аннотация к работе
Пусть исходное знание представлено корректной E-структурой R, и в этой E-структуре имеется множество T базовых терминов. Например, если мы к посылкам из примера 6 (раздел 3) добавим суждение "Все лебеди белые", то увидим, что по содержанию оно никак не связано с терминами из этого примера. В этом суждении предикат представлен термином, уже содержащимся в системе, а субъект - новым термином («обманщики»).