В работе даётся содержательная постановка задачи логического прогнозирования на основе дедуктивного вывода с определением фактов. Вводятся новые понятия «фазовый факт» и «базовый факт», для формального описания задачи и цели определения фактов при прогнозировании. Предлагается метод логического прогнозирования на основе дедуктивного вывода с определением фактов, позволяющий предсказывать траекторию развития ситуации, а также определять базовые факты, необходимые для развития ситуации, не прерывая процесс вывода, при минимальных затратах дополнительных вычислительных ресурсов. В зависимости от исходной задачи метод позволяет определить три множества фактов: благодаря которым возможно наступление следующих событий и переход в следующие фазы, благодаря которым стал возможен переход в текущую фазу, благодаря которым возможен переход от исходной фазы до заданной. Приводится пример работы метода с использованием исчисления высказываний. Указываются отличия и преимущества метода по сравнению с ранее разработанным методом прогнозирования развития ситуаций.
A substantial statement of a problem of logical forecasting as a problem of deductive inference with fact determination. Introduces new concept «phase fact» and «basic fact» for the formal description of the problem and the purpose of determining the facts in forecasting. Method of logical forecasting on the basis of a deductive inference with fact determination is offered. It allows to predict the trajectory of the situation and identify the basic facts necessary for the progress of the situation, without interrupting the process of inference, with minimal overhead of computational resources. Depending on the source of the problem, a method to determine the three sets of facts: which makes it possible the next event and the transition to the next phase, which have made a transition to the current phase, which make possible the transition from the initial phase to the set. The method is illustrated by examples for propositional calculus. Specified the differences and advantages of the method compared with the previously developed method of forecasting situations.
1. Агалаков Е.В., Страбыкин Д.А., Томчук М.Н. Метод парал. логического вывода следствий для исчисления высказываний // Программные продукты и системы. – 2012. – № 2. – С. 142–144.
2. Вагин В.Н. Дедукция и обобщение в системах принятия решений. – М.: Наука, 1988. – 383 с. – (Проблемы искусств. интеллекта.).
3. Вожегов Д.В., Страбыкин Д.А. Метод параллельного дедуктивного вывода с определением фактов // Научно-технический вестник Поволжья. – 2011. – № 1. – С. 97–99.
4. Вожегов Д.В., Страбыкин Д.А. Метод параллельного абдуктивного логического вывода с определением фактов // Научно-технический вестник Поволжья. – 2012. – № 2. – С. 141–154.
5. Страбыкин Д.А., Томчук М.Н. Логическое прогнозирование развития ситуаций на основе дедуктивного вывода // Научно-технический вестник Поволжья. – 2012. – № 2. – С. 276–282.