Реляционная интерактивная логика Виктор Иванович Курганский

Книга посвящена новым инструментам решения логических задач. Логическая задача рассматривается как система логических уравнений и неравенств (СЛУН). Рассматриваются обыкновенные и индуктивные СЛУН, а также их иерархические композиции. Набор возможных значений переменных и решения СЛУН записываются в виде реляционных таблиц. Решение логической задачи сводится к исполнению реляционных запросов. Дедуктивная мощность реляционной интерактивной логики не уступает дедуктивной мощности классических логик. Новое качество реляционной интерактивной логики основано на использовании нетекстового представления логических формул и актов логического вывода. Логические формулы могут быть представлены в виде реляционных таблиц и реляционных запросов, а акт логического вывода заключается в исполнении реляционного запроса. Интерактивность обеспечивает диалоговое решение логических задач, ориентированное на человека в большей мере, чем на основе традиционного текстового представления... Это и многое другое вы найдете в книге Реляционная интерактивная логика (Виктор Иванович Курганский)