Семантический вероятностный вывод предсказаний

Предсказание является одним из важнейших понятий в науке. Предсказания, получаемые на основе вероятностных знаний, описываются индуктивно-статистическим выводом I-S-выводом (Inductive-Statistical inference). Однако такой вывод сталкивается с проблемой синтеза логики и вероятности, состоящей в том, что оценки вероятности высказываний резко падают в процессе логического вывода. Рассматриваемые в рамках Probabilistic Logic Programming процедуры вычисления оценок не решают проблему. С нашей точки зрения, предсказание нельзя соединять с логическим выводом. Логический вывод следует заменить на вычисление. В работе предлагается семантический подход к вычислению предсказаний, когда вывод рассматривается не как проверка истинности запроса на модели, а как поиск фактов в модели, предсказывающих интересующее нас высказывание с максимальной вероятностью. Для этого в работе определяется семантический вероятностный вывод, осуществляющий вычисление предсказаний. В процессе семантического вероятностного вывода оценки предсказаний строго возрастают. В работе доказывается, что получаемые семантическим вероятностным выводом оценки предсказаний заведомо не хуже оценок, получаемых в рамках Probabilistic Logic Programming логическим выводом с параллельным вычислением этих оценок.