This paper presents a genera verification model of knowledge bases of intelligent control system of high-speed moving object using straying diagnostic nucleus, which allows determining the presence of faults and impropriety in the knowledge base with a given degree of reliability. The main difference between the developed method of verification of distributed knowledge bases from existing ones is the possibility of verification on the basis of the distributed structure of knowledge base in which each module can send test request only to adjacent modules. The structure verification relations are accidental and diagnostic core moves randomly in the system along with diagnostic information.
distributed knowledge base, verification, straying diagnostic core, high-speed moving object
"Model bazy znan intelektualnoi systemy upravlinnia vysokoshvydkisnoho rukhomoho obiekta na osnovi yii veryfikatsii" [Knowledge base model of intellectual control system of high-speed moving objects based on its verification],
Information Processing Systems,