Отрицания и антитезы в E-структурах (стр. 3 из 3)

гипотеза корректна.

Проверив остальные гипотезы, мы убедимся, что возможными вариантами абдуктивного вывода для данной задачи могут быть только следующие базовые суждения:

A®

; B® и B® .

Какой из этих вариантов самый подходящий, можно решить только на основе содержательного анализа. Каждая новая связь влечет за собой некоторую совокупность новых следствий. Некоторые из них могут оказаться несовместимыми с какими-то явно невыраженными, но подразумеваемыми правильными суждениями. Если и на этом этапе все наши абдуктивные выводы будут забракованы, то можно остановиться на том, что предполагаемое следствие в данной системе необходимо принять в качестве исходной посылки при условии, что его добавление в структуру не вызывает коллизий.

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

Необходимо отметить, что анализ рассуждений на основе E-структур характеризуется намного более широкими возможностями, чем методы анализа на основе силлогистики Аристотеля и полисиллогистики. В частности, методы силлогистики не позволяют исследовать возможные гипотезы, проверять правильность рассуждения с помощью анализа коллизий, находить возможные абдуктивные выводы. В то же время в E-структурах имеются четкие алгоритмы для реализации этих видов анализа рассуждений. Такие новые возможности анализа появляются за счет использования в качестве моделей рассуждений сугубо математических структур, таких, как алгебра множеств, теория графов, теория частично упорядоченных множеств. Синтезом этих математических структур являются E-структуры.

Список литературы

1. Кэрролл Л. История с узелками. - М.: Мир, 1973.

2. Кулик Б.А. Моделирование рассуждений на основе законов алгебры множеств // Труды V национальной конференции по искусственному интеллекту. Казань, 7-12 октября 2006 г. Т.1. С. 58-61.