Разработка ИИ в КС Отчет №1
.pdfУ диспетчера и пилота есть общие характеристики, поэтому вводится обобщённый фрейм:
ЧЕЛОВЕК
Тогда:
«АЭРОПОРТ», «САМОЛЁТ», «РЕЙС» — фреймы-прототипы (объекты);
«ДИСПЕТЧЕР», «ПИЛОТ» — фреймы-прототипы (роли, АКО ЧЕЛОВЕК).
Фрейм «ЧЕЛОВЕК»
|
|
|
|
Имя слота |
Значение слота |
Способ получения значения |
Демон |
|
|
|
|
|
|
||
пол |
мужской или женский |
из внешних источников |
|
|
|
|
|
|
|
|
|
возраст |
от 18 до 100 лет |
из внешних источников |
|
|
|
|
|
|
|
|
|
ФИО |
строка |
из внешних источников |
|
|
|
|
|
|
|
|
|
Фрейм «АЭРОПОРТ»
|
|
|
|
|
Имя слота |
|
Значение слота |
Способ получения значения |
Демон |
|
|
|
|
|
|
|
|
|
|
Название |
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
Город |
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
Код |
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
Количество ВПП |
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
||
Статус |
|
открыт / закрыт |
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
Фрейм «САМОЛЁТ»
|
|
|
|
|
|
|
Имя слота |
|
Значение слота |
|
Способ получения значения |
|
Демон |
|
|
|
|
|
|
|
|
|
|
|
|
||
Бортовой номер |
|
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Имя слота |
|
Значение слота |
|
Способ получения значения |
|
Демон |
|
|
|
|
|
|
|
|
|
|
|
|
||
Модель |
|
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Авиакомпания |
|
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Вместимость |
|
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||||
Состояние |
|
исправен / неисправен |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Фрейм «РЕЙС»
|
|
|
|
|
|
Имя слота |
|
Значение слота |
|
Способ получения |
Демон |
|
|
значения |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Номер рейса |
|
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
Пункт вылета |
|
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
Пункт |
|
|
|
из внешних источников |
|
назначения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Время вылета |
|
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
Статус |
|
по расписанию / |
|
из внешних источников |
IF- |
|
задержан |
|
ADDED |
||
|
|
|
|
|
|
|
|
|
|
|
|
Фреймы-наследники
Фреймы-наследники содержат все слоты своих родителей.
Фрейм «ДИСПЕТЧЕР (АКО ЧЕЛОВЕК)»
|
|
|
|
|
|
Имя слота |
Значение слота |
|
Способ получения значения |
|
Демон |
|
|
|
|
|
|
|
|
|
|
||
возраст |
от 21 до 65 лет |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||
стаж |
|
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
||||
смена |
дневная / ночная |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Имя слота |
|
|
Значение слота |
|
Способ получения значения |
|
Демон |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
зона ответственности |
|
|
|
из внешних источников |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Фрейм «ПИЛОТ (АКО ЧЕЛОВЕК)» |
||||||||||
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|||||
Имя слота |
|
Значение слота |
Способ получения значения |
Демон |
|
|||||
|
|
|
|
|
|
|||||
|
|
|
|
|||||||
возраст |
|
от 25 до 65 лет |
из внешних источников |
|
|
|||||
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|||||
налёт часов |
|
|
|
из внешних источников |
|
|
||||
|
|
|
|
|
|
|||||
|
|
|
|
|
||||||
категория |
|
1 / 2 / высшая |
из внешних источников |
|
|
|||||
|
|
|
|
|
|
|||||
|
|
|
|
|
||||||
самолёт |
|
фрейм-объект |
из внешних источников |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. Фреймы-экземпляры
АЭРОПОРТ «ПУЛКОВО» (АКО АЭРОПОРТ)
|
|
|
|
|
|
|
Имя слота |
|
Значение слота |
|
Способ получения значения |
|
Демон |
|
|
|
|
|
|
|
|
|
|
|
|
||
Название |
|
Пулково |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||||
Город |
|
Санкт-Петербург |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Код |
|
LED |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||||
Количество ВПП |
|
2 |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Статус |
|
открыт |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ИВАНОВ (АКО ДИСПЕТЧЕР)
|
|
|
|
|
|
Имя слота |
Значение слота |
|
Способ получения значения |
|
Демон |
|
|
|
|
|
|
|
|
|
|
||
пол |
мужской |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||
возраст |
38 |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||
стаж |
10 |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Имя слота |
|
|
Значение слота |
|
Способ получения значения |
|
Демон |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
смена |
|
|
дневная |
|
из внешних источников |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
зона ответственности |
взлёт/посадка |
|
из внешних источников |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ПЕТРОВ (АКО ПИЛОТ) |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|||||
Имя слота |
|
Значение слота |
Способ получения значения |
Демон |
|
|||||
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|||||
пол |
|
мужской |
|
из внешних источников |
|
|
||||
|
|
|
|
|
|
|
||||
|
|
|
|
|
||||||
возраст |
|
45 |
|
из внешних источников |
|
|
||||
|
|
|
|
|
|
|
||||
|
|
|
|
|||||||
налёт часов |
|
6000 |
|
из внешних источников |
|
|
|
|
||
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|||
категория |
|
высшая |
|
из внешних источников |
|
|
|
|
||
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|||
самолёт |
|
RA-73452 |
|
из внешних источников |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
САМОЛЁТ RA-73452 (АКО САМОЛЁТ)
|
|
|
|
|
|
|
Имя слота |
|
Значение слота |
|
Способ получения значения |
|
Демон |
|
|
|
|
|
|
|
|
|
|
||||
Бортовой номер |
|
RA-73452 |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Модель |
|
Airbus A320 |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Авиакомпания |
|
Aeroflot |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Вместимость |
|
180 |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Состояние |
|
исправен |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
РЕЙС SU-123 |
(АКО РЕЙС) |
|
|
||
|
|
|
|
|
|
Имя слота |
|
|
Значение слота |
Способ получения значения |
Демон |
|
|
|
|
|
|
|
|
|
|
|
|
Номер рейса |
|
|
SU-123 |
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
||
Пункт вылета |
|
|
Санкт-Петербург |
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Имя слота |
|
Значение слота |
Способ получения значения |
Демон |
|
|
|
|
|
|
|
|||
Пункт назначения |
|
Москва |
из внешних источников |
|
|
|
|
|
|
|
|
|
||
Время вылета |
|
12:30 |
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
Статус |
|
по расписанию |
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
3. Фреймы-ситуации
В диспетчерской службе возможны следующие типичные ситуации:
вылет;
посадка;
задержка рейса;
отмена рейса.
ВЫЛЕТ
|
|
|
|
|
|
|
Имя слота |
|
Значение слота |
|
Способ получения значения |
|
Демон |
|
|
|
|
|
|
|
|
|
|
||||
рейс |
|
фрейм-образец |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
самолёт |
|
фрейм-объект |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
диспетчер |
|
фрейм-объект |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||||
разрешение |
|
да/нет |
|
присоединённая процедура |
|
IF-NEEDED |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ПОСАДКА
|
|
|
|
|
|
Имя слота |
Значение слота |
|
Способ получения значения |
|
Демон |
|
|
|
|
|
|
|
|
||||
рейс |
фрейм-образец |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||
самолёт |
фрейм-объект |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|||
диспетчер |
фрейм-объект |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
||
полоса |
номер |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ЗАДЕРЖКА |
|
|
|
|
|
|
|
|
|
|
Имя слота |
|
Значение слота |
Способ получения значения |
Демон |
|
|
|
|
|
|
|
|
|
|
рейс |
|
фрейм-образец |
из внешних источников |
|
|
|
|
|
|
|
|
|
||
причина |
|
погода / неисправность |
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
новое время |
|
|
присоединённая процедура |
IF-ADDED |
|
|
|
|
|
|
|
|
|
|
4. Фрейм-сценарий
ОБСЛУЖИВАНИЕ РЕЙСА
Имя слота
Значение слота
Способ получения значения
Демон
диспетчер |
фрейм-объект |
|
из внешних источников |
|
|
|
|
|
|
|
|
рейс |
фрейм-объект |
|
из внешних источников |
|
|
|
|
|
|
|
|
самолёт |
фрейм-объект |
|
из внешних источников |
|
|
|
|
|
|
|
|
сцена 1 |
подготовка |
|
из внешних источников |
|
|
|
|
|
|
|
|
сцена 2 |
разрешение |
|
из внешних источников |
|
|
|
|
|
|
|
|
сцена 3 |
взлёт |
|
из внешних источников |
|
|
|
|
|
|
|
|
сцена 4 |
контроль |
|
из внешних источников |
|
|
|
|
|
|
|
|
сцена 5 |
посадка |
|
из внешних источников |
|
|
|
|
5. Конкретизация сценария
Пусть диспетчер Иванов обслуживает рейс SU-123.
ОБСЛУЖИВАНИЕ SU-123 (АКО ОБСЛУЖИВАНИЕ РЕЙСА)
Имя слота
Значение слота
Способ получения значения
Демон
диспетчер |
Иванов |
|
из внешних источников |
|
|
|
|
|
|
|
|
рейс |
SU-123 |
|
из внешних источников |
|
|
|
|
Имя слота
Значение слота
Способ получения значения
Демон
|
самолёт |
RA-73452 |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сцена 1 |
подготовка |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сцена 2 |
разрешение |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сцена 3 |
взлёт |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сцена 4 |
контроль |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
сцена 5 |
посадка |
|
из внешних источников |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вывод |
|
|
|
|
|
|
|
В ходе выполнения лабораторной работы была построена фреймовая модель предметной области «Аэропорт (диспетчерская служба)».
Были выделены основные типы фреймов: прототипы, экземпляры, ситуации и сценарии. Также были определены связи между фреймами и реализовано наследование через отношение АКО.
Задание
Выяснить, является ли следующее рассуждение логически верным:
Профсоюзы штата будут поддерживать губернатора, если он подпишет этот закон.
Фермеры окажут ему поддержку, если он наложит на него вето. Очевидно, что он или не подпишет закон, или не наложит на него вето. Следовательно, губернатор потеряет голоса рабочих, объединенных в профсоюзы, или голоса фермеров.
Описание процесса решения
Для проверки приведенного рассуждения на логическую правильность необходимо:
6.Ввести логические переменные, обозначив ими простые высказывания.
7.Записать сложные высказывания в виде логических формул.
8.Выделить в структуре рассуждения посылки 1, 2, … , и заключение .
9.Составить формулу
(1 2 … ) →
и проверить, является ли она тавтологией: а) методом преобразований; б) методом построения таблицы истинности.
Решение
1. Введение логических переменных
Обозначим:
— губернатор подпишет закон;— профсоюзы будут поддерживать губернатора;— губернатор наложит вето;— фермеры окажут поддержку.
Тогда:
‾ — губернатор потеряет поддержку профсоюзов;‾ — губернатор потеряет поддержку фермеров.
2. Запись высказываний в виде формул Получаем:
1 = →2 = →3 = ‾ ‾= ‾ ‾
3. Построение формулы рассуждения
(( → ) ( → ) ( ‾ ‾)) → ( ‾ ‾)
4. Проверка методом преобразований Преобразуем импликации:
→ = ‾→ = ‾
Тогда исходная формула примет вид:
(( ‾ ) ( ‾ ) ( ‾ ‾)) → ( ‾ ‾)
Проверим, является ли формула тавтологией.
Рассмотрим набор значений:
= 0, = 1, = 0, = 1
Тогда:
→ = 1, → = 1, ‾ ‾ = 1
Все посылки истинны.
Заключение:
‾ ‾ = 0
Следовательно:
1 → 0 = 0
Формула не является тождественно истинной. 6. Проверка методом таблицы истинности Рассматриваем формулу:
(( → ) ( → ) ( ‾ ‾)) → ( ‾ ‾)
Поскольку переменных четыре, число строк таблицы:
24 = 16
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y) ( |
|
|
x |
|
y |
z |
|
t |
|
x→ |
z→t |
|
x z |
|
y t |
|
z→t |
|
(F) |
|
|
|
y |
|
|
|
) (x |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
0 |
0 |
|
0 |
|
1 |
1 |
|
1 |
|
1 |
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 |
|
0 |
0 |
|
1 |
|
1 |
1 |
|
1 |
|
1 |
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 |
|
0 |
1 |
|
0 |
|
1 |
0 |
|
1 |
|
1 |
|
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 |
|
0 |
1 |
|
1 |
|
1 |
1 |
|
1 |
|
1 |
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 |
|
1 |
0 |
|
0 |
|
1 |
1 |
|
1 |
|
1 |
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 |
|
1 |
0 |
|
1 |
|
1 |
1 |
|
1 |
|
0 |
|
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 |
|
1 |
1 |
|
0 |
|
1 |
0 |
|
1 |
|
1 |
|
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 |
|
1 |
1 |
|
1 |
|
1 |
1 |
|
1 |
|
0 |
|
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
1 |
|
0 |
0 |
|
0 |
|
0 |
1 |
|
1 |
|
1 |
|
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
1 |
|
0 |
0 |
|
1 |
|
0 |
1 |
|
1 |
|
1 |
|
0 |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|