Страбыкин Д.А. Логическое прогнозирование развития ситуаций в интеллектуальных системах на основе дедуктивного вывода

Киров: ВятГУ, 2014. — 182 с. Рассматриваются теория и методы параллельных вычислений для дедуктивного вы- вода на знаниях, представленных в виде логических выражений. Приводятся методы параллельного логического вывода заключений, следствий и предшествующих заключению утверждений с формированием описаний схем логического вывода. Дается содержательная и формальная постановка задачи логического прогнозирования как задачи дедуктивного вывода. Описываются методы логического прогнозирования развития ситуаций: развитие ситуации от начальной до конечной фазы; переход ситуации в заданную фазу; развитие ситуации из заданной фазы. Приводятся примеры решения задач дедуктивного вывода и логического прогнозирования. Рассматривается структура интеллектуальной системы логического прогнозирования развития ситуаций. Для научных работников и специалистов, связанных с созданием и применением интеллектуальных систем, а также для аспирантов и студентов соответствующих направлений подготовки.