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