Logical method for predicting situation development based on abductive inference
Dmitry A. Strabykin · Journal of Computer and Systems Sciences International · 2013
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.