Таблица 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

(Диспетчерская служба (Команда на возвращение (Время))) < (Время возврата)