Абдуктивный логический вывод в задачах управления и диагностикитезисы доклада