Celem artykułu jest próba formalnej analizy błędnych decyzji sterujących w złożonym systemie sterowania. Przykładowym obiektem analizy są błędne decyzje sterujące pilota i kontrolera ruchu w systemie sterowania ruchem lotniczym kontrolowanym.
EN
The paper's goal is formerly analysis of controller wrong decisions in composed control system. For example the pilot and air traffic controller wrong decisions in air traffic control system are analyzing.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W pracy analizujemy postać wiedzy o sterowaniu procesem wykonywania programów prologowych. Nawiązujemy do propozycji interakcyjnego systemu wykonywania programów, w którym oddzielono różne aspekty wiedzy uczestniczącej w obliczeniu i zaproponowano ich specyfikowanie w odrębnych programach. Przedstawiamy podstawowe decyzje sterujące i przytaczamy przykłady różnych startegii prowadzenia obliczeń. Proponujemy język do opisu sterowania oraz narzucenie hierarchicznej struktury na wiedzę o sterowaniu.
EN
In the paper an analysis of control knowledge for Prolog programs is presented. We extract two main control decisions and propose a language for control knowledge specification. Some special computation rules are defined. We also suggest a hierarchical structure of control knowledge to support a process of knowledge specification.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.