Реляционная интерактивная логика

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