The article highlights the most common model of verification for the distributed knowledge base of intelligent future aircraft control system on the basis of Bayesian approach and moving diagnostic core. Such model allows to distinguish knowledge base inconsistences with necessary reliability.
distributed knowledge base, verification, moving diagnostic core, future aircraft
"Veryfikatsiina model rozpodilenoi bazy znan systemy upravlinnia perspektyvnoho litalnoho aparata" ,
Systems of Arms and Military Equipment,