История логических машин

В книге представлен хронологический обзор персоналий, построивших системы для решения задач автоматизации рассуждений, создавших логические машины, начиная с XIII и до сер. XX в. Развивающееся индустриальное общество требовало от науки автоматических вычислений. Как следствие, на этом фоне интерес к задаче автоматизации рассуждений был потерян. Существует лишь один фундаментальный труд по истории логических машин — это книга известного американского математика, писателя и популяризатора науки М. Гарднера (1914–2010) «Логические машины и диаграммы» («Logic Machines and Diagrams»), которая не переведена на русский язык до сих пор. Книга преследует цель дать не просто статический обзор или историческую справку по созданию логических машин, она, в первую очередь, претендует на то, чтобы провести анализ попыток решения задачи автоматизации рассуждений, выявить типы подходов для разрешения этой проблемы. Одна из целей нашей работы — вскрыть причины, по которым задача автоматизации рассуждений в XX столетии перестала интересовать исследователей.