СПОСОБ И СИСТЕМА УПРАВЛЕНИЯ ПРОМЫШЛЕННОЙ СИСТЕМОЙ

1. Способ управления промышленной системой,
- причем определяется основанное на шаблоне определение абдуктивных элементов (201);
- причем проблема абдукции решается на основе основанного на шаблоне определения абдуктивных элементов (202).
2. Способ по п.1, в котором проблема абдукции записывается
как
где
Т
C
R
- EL-TBox по именам N понятия и именам N роли,
А
, В
∈ N
0
0
C
- включение основного понятия в нормальной форме, так что  (называется наблюдением)
ν
С
- набор переменных понятия,
Pat
С
C
- набор шаблонов аксиом по ν, размер которого полиномиально ограничен числом имен понятия в N,
rng
- функция диапазона.
3. Способ по п.2, в котором основанное на шаблоне определение абдуктивных элементов содержит набор абдуктивных элементов, содержащий все аксиомы, генерируемые путем нормализации элементов набора шаблонов аксиом и создания их экземпляров с именами понятия из диапазона, опуская аксиомы, уже содержащиеся в EL-Tbox.
4. Способ по п.3, в котором каждый абдуктивный элемент в наборе выводимых элементов маркируется уникальной пропозициональной переменной.
5. Способ по п.3, в котором каждая аксиома в EL-Tbox и каждый абдуктивный элемент в наборе абдуктивных элементов маркируется уникальной пропозициональной переменной, соответственно, так что наборы маркировок аксиом и маркировок абдуктивных элементов являются дизъюнктивными.
6. Способ по п.4 или 5, в котором гипотезы определяются как формула по всем маркировкам, возникающим в проблеме абдукции, так что для всех оценок применимо следующее:
где
ν⊆lab(AP)
- оценки,
lab(AP)
- функция маркировки, обозначающая набор всех маркировок, возникающих в проблеме абдукции,
η
AP
- формула гипотез.
7. Способ по п. 6, в котором проблема абдукции решается взвешенным автоматом.
8. Способ по п.7, в котором проблема абдукции решается посредством взвешенного автомата Büchi
по бинарным деревьям при
Q
где  - набор состояний,
F⊆Q
- набор терминальных состояний,
in
- начальное распределение,
wt
A
AP
- переходные веса автомата Büchi ,
N
C'
C
- набор имен понятия N, расширенный новыми именами понятия, введенными при нормализации.
9. Способ по п.1, в котором промышленная система по меньшей мере частично описывается логикой описания, в частности, одной из семейства упрощенной логики описания.
10. Способ по п.1, в котором упомянутое управление содержит диагностирование, подстройку, доступ или установку параметров упомянутой промышленной системы.
11. Способ по п.1, в котором упомянутая промышленная система содержит по меньшей мере одно из следующего:
- машина,
- завод,
- агрегат или производственная линия,
- производственный участок,
- промышленное приложение.
12. Устройство, содержащее блок управления, который выполнен с возможностью осуществления на нем способа по любому из предыдущих пунктов.
13. Устройство по п.12, в котором упомянутое устройство является устройством управления промышленной системы.
14. Устройство по п.13, соединенное с промышленной системой через сеть, в частности, через Интернет.
15. Система, содержащая устройство по любому из п.п. 12-14.