Страбыкин Д. А. 4(2017)

УДК 004.89

Д. А. Страбыкин

ЗАДАЧА ЛОГИЧЕСКОГО ВЫВОДА ЗАКЛЮЧЕНИЙ В ИСЧИСЛЕНИИ ПРЕДИКАТОВ

С ОПРЕДЕЛЕНИЕМ ПРЕДШЕСТВУЮЩИХ УТВЕРЖДЕНИЙ

       При построении интеллектуальных систем прогнозирования развития ситуаций в заданную фазу может быть использован дедуктивный логический вывод заключений с определением предшествующих утверждений. Даётся содержательная и формальная постановки задачи логического вывода заключений в исчислении предикатов с определением предшествующих утверждений. Задача логического вывода заключается в определении последовательности множеств утверждений, первое из которых содержит заключение, последнее – только факты, остальные множества содержат утверждения, часть которых может быть фактами, а оставшиеся утверждения следуют из предшествующих утверждений. Рассматривается модификация метода логического вывода делением дизъюнктов для определения предшествующих заключению утверждений. Изменения вносятся в процедуры частичного и полного деления дизъюнктов, а также в процедуру вывода. При этом высокая степень параллелизма выполняемых вычислений сохраняется. Приводится пример логического вывода с использованием исчисления предикатов первого порядка.

       Ключевые слова: дедуктивный логический вывод, исчисление предикатов, множество предшествующих заключению утверждений, логическое прогнозирование, интеллектуальные системы.