Logical Method for Predicting Situation Development Based on Abductive Inference

摘要

An informal statement of the problem of logical prediction of situation development is proposed, and its formal description as an abductive inference problem is given. A logical prediction method based on abductive inference is proposed; the application of this method is illustrated by an example.