|
|
Таблица 2 |
Рисунок 2 |
|
|
База фактов пользователя |
Представление БФ в виде системы линейных
неравенств |
|
|
Факты (события) |
|
Р1 |
|
|
|
|
|
|
|
< 1 |
|
|
Р2 |
|
|
|
|
|
|
< 1 |
|
|
|
Р3 |
|
|
|
|
|
< 1 |
|
|
|
|
Р4 |
|
|
|
|
< 1 |
|
|
|
|
|
Р5 |
|
|
|
< 1 |
|
|
|
|
|
|
Р6 |
|
|
< 1 |
|
|
|
|
|
|
|
Р7 |
|
< 1 |
|
|
|
|
|
|
|
|
Р8 |
< 1 |
|
Р1 |
-Р2 |
|
|
|
|
|
|
< 0 |
|
|
Р2 |
-Р3 |
|
|
|
+Р7 |
|
< 1 |
|
|
Р2 |
|
|
|
-Р6 |
|
-Р8 |
< 0 |
|
|
Р2 |
|
|
|
+ Р6 |
|
+Р8 |
< 2 |
|
|
|
|
-Р4 |
|
+ Р6 |
|
|
< 0 |
|
|
|
|
Р4 |
|
- Р6 |
|
|
< 0 |
|
|
1 |
(Самолет (Вылет)) |
|
2 |
(Самолет (Движение по маршруту) |
|
3 |
(Самолет (Движение к аэродрому)) |
|
4 |
(Самолет (Аварийная посадка)) |
|
5 |
(Время возврата) |
|
6 |
(Достижение точки возврата) |
|
7 |
(Диспетчерская служба (Команда на
возвращение)) |
|
8 |
(Диспетчерская служба (Команда на возвращение
(Время))) < (Время возврата) |
