Logical method for predicting situation development based on abductive inference

  • Authors:
  • D. A. Strabykin

  • Affiliations:
  • Vyatka State University, Kirov, Russia

  • Venue:
  • Journal of Computer and Systems Sciences International
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.