The verification model for the distributed knowledge base of future aircraft control system

Запропоновано загальну модель верифікації розподілених баз знань інтелектуальних систем управління перспективних літальних апаратів на основі баєсівського підходу з використанням блукаючого діагностичного ядра, яка дозволяє визначати наявність збоїв та некоректностей у базі знань із заданим ступенем достовірності.Предложена общая модель верификации распределенных баз знаний интеллектуальных систем управления перспективных летательных аппаратов на основе байесовского подхода с использованием блуждающего диагностического ядра, которая позволяет определять наличие сбоев и некорректностей в базе знаний с заданной степенью достоверности.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