Год выпуска: 2014 Автор: Виктор Иванович Курганский Издательство: LAP Lambert Academic Publishing Страниц: 132 ISBN: 9783659418518
Описание
Книга посвящена новым инструментам решения логических задач. Логическая задача рассматривается как система логических уравнений и неравенств (СЛУН). Рассматриваются обыкновенные и индуктивные СЛУН, а также их иерархические композиции. Набор возможных значений переменных и решения СЛУН записываются в виде реляционных таблиц. Решение логической задачи сводится к исполнению реляционных запросов. Дедуктивная мощность реляционной интерактивной логики не уступает дедуктивной мощности классических логик. Новое качество реляционной интерактивной логики основано на использовании нетекстового представления логических формул и актов логического вывода. Логические формулы могут быть представлены в виде реляционных таблиц и реляционных запросов, а акт логического вывода заключается в исполнении реляционного запроса. Интерактивность обеспечивает диалоговое решение логических задач, ориентированное на человека в большей мере, чем на основе традиционного текстового представления...