В настоящее время общепринятым положением является необходимость наличия в интеллектуальной системе подсистем самооценки и самоорганизации. Функционирование этих подсистем предполагает использование рассуждений о самой себе. Подобные рассуждения относятся к области применения автоэпистемологической логики, т.е. логике самонаблюдения и самоорганизации, которая способна оценивать выводы или заключения, ожидаемые от системы с полной интроспекцией. Однако эффективное применение этой логики ограничено возможностями языка высказываний и большой трудоемкостью разрешающей процедуры [1,2].
Современные методы контроля и диагностики неисправностей согласно [3] включают эвристическую модель объекта и диагностику неисправностей с помощью логического вывода и на основе правил. Неотъемлемой частью системы самодиагностирования интеллектуальных систем должна быть подсистема определения непротиворечивости результатов взаимопроверок правильности функционирования ее подсистем.
К этому направлению относится настоящая статья, в которой решение задачи оценки состояния участвующих в диагностировании подсистем сводится к решению системы булевых уравнений определенного вида. Они включают в себя уравнения вида Ф(A, B)=1, которые описывают оценку компонентом A истинности утверждения B, которое может быть заключением компонентом D относительности истинности утверждения C и т.д. Дополнительными уравнениями, которые могут присутствовать, являются уравнения вида K(S, T, NT)=1. Они описывают в булевой форме факт наличия среди подсистем, типы которых хранятся в массиве S, ровно NT подсистем типа T. Полный перебор булевых переменных этих уравнений дает все возможные решения, если таковые имеются, и этим осуществляется единый подход к решению проблемы.
Этот подход мы реализуем, следуя модельной теории мышления, согласно которой основной операцией творческой деятельности человека является построение дерева альтернативных возможностей, полный перебор вариантов которого или поиск с известными правилами его направленности приводит к требуемому результату [4].