ОБРАБОТКА ТЕХНИЧЕСКОЙ СИСТЕМЫ

1. Способ обработки технической системы, содержащий этапы, на которых преобразуют правила (102, 103) базы (101) правил в аксиомы (109), обрабатывают запрос (121), основанный на упомянутых аксиомах (109), компонентом (122) умозаключения.
2. Способ по п. 1, в котором переводят правила базы правил в формат замены правил, а затем преобразуют переведенные правила в аксиомы.
3. Способ по п. 1 или 2, в котором этап преобразования правил в аксиомы содержит по меньшей мере один из этапов, на которых:
анализируют правила (107, 212);
обеспечивают объектное представление (213) правил;
обеспечивают представление (214) правил на основе графов;
выполняют сериализацию правил (215);
создают или изменяют по меньшей мере одну модель, основанную на правилах (108);
преобразуют правила в язык описания, в частности, в EL+.
4. Способ по п. 1 или 2, в котором обеспечивают компонент (110) отладки перед компонентом умозаключения, при этом подают упомянутые аксиомы (109) в компонент (110) отладки и компилируют упомянутый запрос (121) посредством компонента (110) отладки для компонента (122) умозаключения.
5. Способ по п. 4, в котором компонент (122) отладки обеспечивает по меньшей мере один из этапов, на которых:
анализируют (111) аксиомы;
выполняют квантование по времени для данных (112), предоставленных по меньшей мере одним датчиком и/или набором основных предположений (117);
передают запрос (121) в компонент (122) умозаключения.
6. Способ по п. 4, в котором компонент отладки использует язык описания, в частности, EL+.
7. Способ по п. 1 или 2, в котором компонент (122) умозаключения выполняет по меньшей мере один из этапов, на которых:
выполняют проверку на непротиворечивость, в частности, посредством дедукции (123);
генерируют объяснения, в частности, посредством абдукции, в частности, непринужденной абдукции (124).
8. Способ по п. 7, в котором упомянутый компонент умозаключения проводит проверку на непротиворечивость и/или генерирует объяснение на основе OWL аксиом, использующих описательную логику, в частности EL+.
9. Устройство для обработки технической системы, содержащее процессор, выполненный с возможностью:
преобразования правил базы правил в аксиомы,
обработки запроса, основанного на упомянутых аксиомах, компонентом умозаключения.
10. Устройство по п. 9, характеризующееся тем, что представляет собой устройство администрирования, отладки или диагностики технической системы.
11. Машиночитаемый носитель, содержащий исполняемые компьютером команды, выполненные с возможностью вызывать выполнение компьютерной системой этапов способа по любому из пп. 1-8.