Модель верифікації баз знань інтелектуальних систем управління високошвидкісного рухомого об’єкта з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.