Improvimg the Method of Developing a Logic-Probabilistic Model of an Internal Violator - I. A. Pilkevych; O. S. Boichenko; I. V. Humeniuk (Electronic modeling, 2020)