"Моделирование рассуждений. Опыт анализа мыслительных актов" - читать интересную книгу автора (Поспелов Дмитрий Александрович)

Глава третья. АВТОМАТИЗАЦИЯ ДОСТОВЕРНЫХ РАССУЖДЕНИЙ

Где меч силлогизма горел и сверкал,Проверенный чистым рассудком,И что же? Сражение он проигралВо славу иным прибауткам!

Н. Заболоцкий. Битва слонов