Партнерка на США и Канаду по недвижимости, выплаты в крипто
- 30% recurring commission
- Выплаты в USDT
- Вывод каждую неделю
- Комиссия до 5 лет за каждого referral
Содержание
1 Словесная постановка задачи. 2
2 Процесс системного анализа задачи. 3
3 Отчет, сформированный в системе «Помощник эксперта». 8
4 База знаний, сформированная системой «Малый решатель проблем». 11
5 Примеры анализа конкретных ситуаций. 15
1 Словесная постановка задачи
Задача – моделирование выполнение военным кораблём боевой задачи – уничтожение корабля противника.
Имеется военный корабль, оснащённый пушкой, которая стреляет снарядами, мина которая может уничтожить военный корабль и противник, которого нужно уничтожить. Корабль должен приблизиться к противнику, минуя мину, прицелиться, снаряд должен быть заряжен в пушку, и выстрелить в противника. После корабль должен удостовериться в уничтожении противника и, если противник уничтожен, считается что задание выполнено. При наличие мины по близости корабль должен уклоняться от неё – манёвр уклонения может быть успешным в случае когда манёвренность корабля равна или превосходит модель мины (чем больше модель – тем совершеннее и мощнее мина). Так же пушка на корабле может удачно прицелиться, только в случае, когда её качество прицела не хуже манёвренности противника, иначе противник уплывает и заманивает корабль в ловушку (мина появляется на пути корабля, при этом её класс увеличивается на единицу, качество прицела корабля увеличивается также). При маневрировании корабля от мины настойчивость понижается, а при её отсутствии на корабле происходит саботаж – отказ от уничтожения противника, страх быть подорванным. Корабль может быть уничтожен миной в случае, когда её класс выше его манёвренности. При большой настойчивости у корабля больше шансов как уничтожить противника, так и подорваться на мине.
2 Процесс системного анализа задачи
0)
0.1)
|
|
0.2)
0.3)
0.4)
0.5)
0.6)
0.7)
0.8)
0.9)
3 Отчет, сформированный в системе «Помощник эксперта»
1.Понятия-действия:
1.1 зарядить
объект: Пушка
субъект: Пушка
компоненты:
Корабль
Мина
Противник
Снаряд
поддействия:
условия активизации:
Корабль Близко Противник = истина
Корабль выполнение_задания = false
Корабль Далеко Мина = истина
Корабль конец_моделирования = false
Корабль настойчивость > 0
Корабль саботаж = false
Корабль уничтожен = false
Противник уничтожен = false
Снаряд В Пушка = ложь
результат:
Снаряд В Пушка = истина
действие верхнего уровня:
уничтожить
1.2 проверить_уничтож
объект: Противник
субъект: Корабль
компоненты:
Мина
поддействия:
условия активизации:
Корабль Близко Противник = истина
Корабль выполнение_задания = false
Корабль Далеко Мина = истина
Корабль конец_моделирования = false
Корабль настойчивость > 0
Корабль саботаж = false
Корабль уничтожен = false
Противник уничтожен = true
результат:
Корабль выполнение_задания = true
Корабль конец_моделирования = true
действие верхнего уровня:
уничтожить
1.3 саботировать
объект: Корабль
субъект: Корабль
компоненты:
поддействия:
условия активизации:
Корабль конец_моделирования = false
Корабль настойчивость = 0
результат:
Корабль конец_моделирования = true
Корабль саботаж = true
действие верхнего уровня:
1.4 выстрелить
объект: Противник
субъект: Пушка
компоненты:
Корабль
Мина
Снаряд
поддействия:
условия активизации:
Корабль Близко Противник = истина
Корабль выполнение_задания = false
Корабль Далеко Мина = истина
Корабль конец_моделирования = false
Корабль настойчивость > 0
Корабль саботаж = false
Корабль уничтожен = false
Противник уничтожен = false
Снаряд В Пушка = истина
результат:
Противник уничтожен = true
Снаряд В Пушка = ложь
действие верхнего уровня:
уничтожить
1.5 уклониться
объект: Мина
субъект: Корабль
компоненты:
поддействия:
условия активизации:
Корабль Далеко Мина = ложь
Корабль конец_моделирования = false
Корабль манёвренность >= Мина модель
Корабль уничтожен = false
результат:
Корабль Далеко Мина = истина
действие верхнего уровня:
уничтожить
1.6 приблизиться
объект: Противник
субъект: Корабль
компоненты:
Мина
поддействия:
условия активизации:
Корабль Близко Противник = ложь
Корабль выполнение_задания = false
Корабль Далеко Мина = истина
Корабль конец_моделирования = false
Корабль настойчивость > 0
Корабль саботаж = false
Корабль уничтожен = false
Противник уничтожен = false
результат:
Корабль Близко Противник = истина
действие верхнего уровня:
уничтожить
1.7 подорвать
объект: Корабль
субъект: Мина
компоненты:
поддействия:
условия активизации:
Корабль Далеко Мина = ложь
Корабль конец_моделирования = false
Корабль манёвренность < Мина модель
Корабль уничтожен = false
результат:
Корабль конец_моделирования = true
Корабль уничтожен = true
действие верхнего уровня:
1.8 приблизиться
объект: Противник
субъект: Корабль
компоненты:
Мина
поддействия:
условия активизации:
Корабль Близко Противник = ложь
Корабль выполнение_задания = false
Корабль Далеко Мина = истина
Корабль конец_моделирования = false
Корабль настойчивость > 0
Корабль саботаж = false
Корабль уничтожен = false
Противник уничтожен = false
результат:
Корабль Близко Противник = истина
действие верхнего уровня:
уничтожить
1.9 заманить_удрать
объект: Корабль
субъект: Противник
компоненты:
Мина
Пушка
поддействия:
условия активизации:
Корабль Близко Противник = истина
Корабль Далеко Мина = истина
Корабль конец_моделирования = false
Корабль настойчивость > 0
Корабль саботаж = false
Корабль уничтожен = false
Противник уничтожен = false
Пушка качество_прицела < Противник манёвренность
результат:
Корабль Близко Противник = ложь
Корабль Далеко Мина = ложь
Корабль настойчивость = 1
Пушка качество_прицела = 5
действие верхнего уровня:
1.10 прицелиться
объект: Противник
субъект: Пушка
компоненты:
Корабль
Мина
поддействия:
условия активизации:
Корабль Близко Противник = истина
Корабль выполнение_задания = false
Корабль Далеко Мина = истина
Корабль конец_моделирования = false
Корабль настойчивость > 0
Корабль саботаж = false
Корабль уничтожен = false
Противник уничтожен = false
Пушка качество_прицела >= Противник манёвренность
Пушка Нацелена_на Противник = ложь
результат:
Пушка Нацелена_на Противник = истина
действие верхнего уровня:
уничтожить
2.Понятия-объекты:
2.1 Пушка
суперкласс:
свойства:
качество_прицела
тип: Integer
начальное значение: 5
отношения:
Нацелена_на Противник
начальное значение: 'ложь'
2.2 Противник
суперкласс:
свойства:
манёвренность
тип: Integer
начальное значение: 5
уничтожен
тип: Boolean
начальное значение: false
отношения:
2.3 Мина
суперкласс:
свойства:
модель
тип: Integer
начальное значение: 5
отношения:
2.4 Снаряд
суперкласс:
свойства:
отношения:
В Пушка
начальное значение: 'ложь'
2.5 Корабль
суперкласс:
свойства:
выполнение_задания
тип: Boolean
начальное значение: false
конец_моделирования
тип: Boolean
начальное значение: false
манёвренность
тип: Integer
начальное значение: 5
настойчивость
тип: Integer
начальное значение: 5
саботаж
тип: Boolean
начальное значение: false
уничтожен
тип: Boolean
начальное значение: false
отношения:
Близко Противник
начальное значение: 'ложь'
Далеко Мина
начальное значение: 'неизвестно'
3.Понятия-свойства:
3.1 выполнение_задания
объекты, имеющие это свойство:
Корабль
3.2 качество_прицела
объекты, имеющие это свойство:
Пушка
3.3 конец_моделирования
объекты, имеющие это свойство:
Корабль
3.4 манёвренность
объекты, имеющие это свойство:
Корабль
Противник
3.5 модель
объекты, имеющие это свойство:
Мина
3.6 настойчивость
объекты, имеющие это свойство:
Корабль
3.7 саботаж
объекты, имеющие это свойство:
Корабль
3.8 уничтожен
объекты, имеющие это свойство:
Противник
Корабль
4.Понятия-отношения:
4.1 Близко
объекты, имеющие это отношение:
Корабль
4.2 В
объекты, имеющие это отношение:
Снаряд
4.3 Далеко
объекты, имеющие это отношение:
Корабль
4.4 Нацелена_на
объекты, имеющие это отношение:
Пушка
4 База знаний, сформированная системой «Малый решатель проблем»
ПОСТАНОВКА ЗАДАЧИ:
Задача - моделирование выполнение военным кораблём боевой задачи - уничтожение корабля противника.
Имеется военный корабль, оснащённый пушкой, которая стреляет снарядами, мина которая может уничтожить военный корабль и противник, которого нужно уничтожить. Корабль должен приблизиться к противнику, минуя мину, прицелиться, снаряд должен быть заряжен в пушку, и выстрелить в противника. После корабль должен удостовериться в уничтожении противника и, если противник уничтожен, считается что задание выполнено. При наличие мины по близости корабль должен уклоняться от неё - манёвр уклонения может быть успешным в случае когда манёвренность корабля равна или превосходит модель мины (чем больше модель - тем совершеннее и мощнее мина). Так же пушка на корабле может удачно прицелиться, только в случае, когда её качество прицела не хуже манёвренности противника, иначе противник уплывает и заманивает корабль в ловушку (мина появляется на пути корабля, при этом её класс увеличивается на единицу, качество прицела корабля увеличивается также). При маневрировании корабля от мины настойчивость понижается, а при её отсутствии на корабле происходит саботаж - отказ от уничтожения противника, страх быть подорванным. Корабль может быть уничтожен миной в случае, когда её класс выше его манёвренности. При большой настойчивости у корабля больше шансов как уничтожить противника, так и подорваться на мине.
ОПИСАНИЕ ПОСТРОЕННОЙ МОДЕЛИ:
Основа Базы Знаний - это концептуальная модель предметной области которая формализуется следующим образом:
Мпо = {X, C, R, G}, где:
X - множество объектов предметной области;
C - множество существенных свойств всех объектов;
R - множество существенных отношений между объектами
G - множество допустимых (необходимых) действий над объектами.
Для рассматриваемой предметной области была создана следующая модель:
В процессе анализа задачи было выявлено множество решений, которые могут приниматься
в данной предметной области. Из них было сформировано множество G:
G = { Корабль_1_приблизиться_Противник_1_1,
Корабль_1_проверить_уничтож_Противник_1_1,
Корабль_1_саботировать_Корабль_1_1,
Корабль_1_уклониться_Мина_1_1,
Мина_1_подорвать_Корабль_1_1,
Противник_1_заманить_удрать_Корабль_1_1,
Пушка_1_выстрелить_Противник_1_1,
Пушка_1_зарядить_Пушка_1_1,
Пушка_1_прицелиться_Противник_1_1 }
По ходу раскрытия содержания каждого действия, т. е. в процессе выявления и исследования
множества ситуаций, в которых может приниматься то или иное решение, и анализа влияния каждого
из действий на состояние модели предметной области, были выделены соответствующие множества
объектов, их свойств, и отношений между ними.
X = { Корабль_1,
Мина_1,
Противник_1,
Пушка_1,
Снаряд_1 }
C = { конец_моделирования [ Тип свойства: Логический ],
саботаж [ Тип свойства: Логический ],
настойчивость [ Тип свойства: Числовой ],
уничтожен [ Тип свойства: Логический ],
модель [ Тип свойства: Числовой ],
манёвренность [ Тип свойства: Числовой ],
выполнение_задания [ Тип свойства: Логический ],
качество_прицела [ Тип свойства: Числовой ] }
Перечисленные свойства описывают объекты следующим образом:
Объект "Корабль_1":
-- саботаж; Множество значений: {Четкие логические значения }
-- манёвренность; Множество значений: { 0, 10 }
-- выполнение_задания; Множество значений: {Четкие логические значения }
-- уничтожен; Множество значений: {Четкие логические значения }
-- настойчивость; Множество значений: { 0, 10 }
-- конец_моделирования; Множество значений: {Четкие логические значения }
Объект "Мина_1":
-- модель; Множество значений: { 0, 10 }
Объект "Противник_1":
-- манёвренность; Множество значений: { 0, 10 }
-- уничтожен; Множество значений: {Четкие логические значения }
Объект "Пушка_1":
-- качество_прицела; Множество значений: { 0, 10 }
Объект "Снаряд_1":
Для решения задачи потребовалось установить следующие отношения между объектами:
R = { Близко(Корабль_1, Противник_1),
В(Снаряд_1, Пушка_1),
Далеко(Корабль_1, Мина_1),
Нацелена_на(Пушка_1, Противник_1) }
Объединяя информацию о свойствах объектов и отношениях между ними,
получаем набор фактов, которые должны входить в рабочую базу данных (РБД) интеллектуальной системы:
РБД = { Корабль_1.выполнение_задания [ Тип факта: Логический; Начальное значение = false ],
Корабль_1.конец_моделирования [ Тип факта: Логический; Начальное значение = false ],
Корабль_1.манёвренность [ Тип факта: Числовой; Начальное значение = 5 ],
Корабль_1.настойчивость [ Тип факта: Числовой; Начальное значение = 5 ],
Корабль_1.саботаж [ Тип факта: Логический; Начальное значение = false ],
Корабль_1.уничтожен [ Тип факта: Логический; Начальное значение = false ],
Мина_1.модель [ Тип факта: Числовой; Начальное значение = 5 ],
Противник_1.манёвренность [ Тип факта: Числовой; Начальное значение = 5 ],
Противник_1.уничтожен [ Тип факта: Логический; Начальное значение = false ],
Пушка_1.качество_прицела [ Тип факта: Числовой; Начальное значение = 5 ],
Близко(Корабль_1, Противник_1) [ Тип факта: Логический; Начальное значение = ложь],
В(Снаряд_1, Пушка_1) [ Тип факта: Логический; Начальное значение = ложь],
Далеко(Корабль_1, Мина_1) [ Тип факта: Логический; Начальное значение = Ложь],
Нацелена_на(Пушка_1, Противник_1) [ Тип факта: Логический; Начальное значение = ложь] }
Далее, посредством построения отображения F - множества состояний на множество действий,
описание которого здесь опускается, но которое, тем не менее, должно быть в Вашем отчете,
была создана База Правил.
База Правил содержит следующие правила:
A) Правила, эквивалентные действиям над объектами предметной области:
A.1)
ИМЯ ПРАВИЛА: "Корабль_1_приблизиться_Противник_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Близко(Корабль_1, Противник_1) = ложь ) И
( Корабль_1.выполнение_задания = false ) И
( Далеко(Корабль_1, Мина_1) = истина ) И
( Корабль_1.конец_моделирования = false ) И
( Корабль_1.настойчивость > 0 ) И
( Корабль_1.саботаж = false ) И
( Корабль_1.уничтожен = false ) И
( Противник_1.уничтожен = false )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Близко(Корабль_1, Противник_1) := истина
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
A.2)
ИМЯ ПРАВИЛА: "Корабль_1_проверить_уничтож_Противник_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Близко(Корабль_1, Противник_1) = истина ) И
( Корабль_1.выполнение_задания = false ) И
( Далеко(Корабль_1, Мина_1) = истина ) И
( Корабль_1.конец_моделирования = false ) И
( Корабль_1.настойчивость > 0 ) И
( Корабль_1.саботаж = false ) И
( Корабль_1.уничтожен = false ) И
( Противник_1.уничтожен = true )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Корабль_1.выполнение_задания := true
Корабль_1.конец_моделирования := true
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
A.3)
ИМЯ ПРАВИЛА: "Корабль_1_саботировать_Корабль_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Корабль_1.конец_моделирования = false ) И
( Корабль_1.настойчивость = 0 )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Корабль_1.конец_моделирования := true
Корабль_1.саботаж := true
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
A.4)
ИМЯ ПРАВИЛА: "Корабль_1_уклониться_Мина_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Далеко(Корабль_1, Мина_1) = ложь ) И
( Корабль_1.конец_моделирования = false ) И
( Корабль_1.манёвренность >= Мина_1.модель ) И
( Корабль_1.уничтожен = false )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Далеко(Корабль_1, Мина_1) := истина
Корабль_1.настойчивость := Корабль_1.настойчивость - 1
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
A.5)
ИМЯ ПРАВИЛА: "Мина_1_подорвать_Корабль_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Далеко(Корабль_1, Мина_1) = ложь ) И
( Корабль_1.конец_моделирования = false ) И
( Корабль_1.манёвренность < Мина_1.модель ) И
( Корабль_1.уничтожен = false )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Корабль_1.конец_моделирования := true
Корабль_1.уничтожен := true
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
A.6)
ИМЯ ПРАВИЛА: "Противник_1_заманить_удрать_Корабль_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Близко(Корабль_1, Противник_1) = истина ) И
( Далеко(Корабль_1, Мина_1) = истина ) И
( Корабль_1.конец_моделирования = false ) И
( Корабль_1.настойчивость > 0 ) И
( Корабль_1.саботаж = false ) И
( Корабль_1.уничтожен = false ) И
( Противник_1.уничтожен = false ) И
( Пушка_1.качество_прицела < Противник_1.манёвренность )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Близко(Корабль_1, Противник_1) := ложь
Далеко(Корабль_1, Мина_1) := ложь
Пушка_1.качество_прицела := Пушка_1.качество_прицела + 1
Мина_1.модель := Мина_1.модель + 1
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
A.7)
ИМЯ ПРАВИЛА: "Пушка_1_выстрелить_Противник_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Близко(Корабль_1, Противник_1) = истина ) И
( Корабль_1.выполнение_задания = false ) И
( Далеко(Корабль_1, Мина_1) = истина ) И
( Корабль_1.конец_моделирования = false ) И
( Корабль_1.настойчивость > 0 ) И
( Корабль_1.саботаж = false ) И
( Корабль_1.уничтожен = false ) И
( Противник_1.уничтожен = false ) И
( В(Снаряд_1, Пушка_1) = истина )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Противник_1.уничтожен := true
В(Снаряд_1, Пушка_1) := ложь
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
A.8)
ИМЯ ПРАВИЛА: "Пушка_1_зарядить_Пушка_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Близко(Корабль_1, Противник_1) = истина ) И
( Корабль_1.выполнение_задания = false ) И
( Далеко(Корабль_1, Мина_1) = истина ) И
( Корабль_1.конец_моделирования = false ) И
( Корабль_1.настойчивость > 0 ) И
( Корабль_1.саботаж = false ) И
( Корабль_1.уничтожен = false ) И
( Противник_1.уничтожен = false ) И
( В(Снаряд_1, Пушка_1) = ложь )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
В(Снаряд_1, Пушка_1) := истина
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
A.9)
ИМЯ ПРАВИЛА: "Пушка_1_прицелиться_Противник_1_1"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Близко(Корабль_1, Противник_1) = истина ) И
( Корабль_1.выполнение_задания = false ) И
( Далеко(Корабль_1, Мина_1) = истина ) И
( Корабль_1.конец_моделирования = false ) И
( Корабль_1.настойчивость > 0 ) И
( Корабль_1.саботаж = false ) И
( Корабль_1.уничтожен = false ) И
( Противник_1.уничтожен = false ) И
( Пушка_1.качество_прицела >= Противник_1.манёвренность ) И
( Нацелена_на(Пушка_1, Противник_1) = ложь )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Нацелена_на(Пушка_1, Противник_1) := истина
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Описание семантики правила
B) Вспомогательные правила - обеспечивают связное изменение одних фактов в соответствии с
изменением других, но не являются действиями-решениями над объектами предметной области.
Правила этого типа рекомендуется использовать для вычисления значений отношений через значения свойств.
Для разрешения конфликтов в процессе логического вывода была использована стратегия "P",
состоящая из следующего набора процедур:
P = { Приближающие к цели,
Длиннейшее предусловие,
Редко используемые }
КРАТКОЕ ОПИСАНИЕ ИСПОЛЬЗОВАННЫХ ПРОЦЕДУР:
- Процедура "Приближающие к цели" согласно оценочной функции выбирает правила, которые приводят к ситуации наиболее похожей на шаблон целевой.
- Процедура "Длиннейшее предусловие" выбирает правила с максимальной длиной левой части. Чем в левой части правила больше конъюнктов, тем более узок класс ситуаций, к которому оно может быть применено.
- Процедура "Редко используемые", согласно статистике о частоте применения правил на данном сеансе вывода, выбирает наиболее редко используемые правила.
Приведенный здесь автоматически сгенерированный текст должен существенно помочь
Вам при составлении отчета. Сохраните его в файле, проделайте косметические исправления,
исключите излишний объясняющий текст, и смело вставляйте его в отчет. Желаем успехов.
5 Примеры анализа конкретных ситуаций
*** Описание исходной ситуации ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 5
Корабль_1.настойчивость := 5
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 5
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
**
*** Шаблон целевой ситуации ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) -- false
В(Снаряд_1, Пушка_1) -- false
Далеко(Корабль_1, Мина_1) -- false
Корабль_1.конец_моделирования = true
Корабль_1.манёвренность -- 5
Корабль_1.настойчивость -- 5
Мина_1.модель -- 5
Нацелена_на(Пушка_1, Противник_1) -- false
Противник_1.манёвренность -- 5
Противник_1.уничтожен -- false
Пушка_1.качество_прицела -- 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания -- false
Корабль_1.саботаж -- false
Корабль_1.уничтожен -- false
НАЧИНАЕМ ПРОЦЕСС ЛОГИЧЕСКОГО ВЫВОДА
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 5
Корабль_1.настойчивость := 4
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 5
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 5
Корабль_1.настойчивость := 4
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 5
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Пушка_1_прицелиться_Противник_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Пушка_1_прицелиться_Противник_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Пушка_1_прицелиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 5
Корабль_1.настойчивость := 4
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := true
Противник_1.манёвренность := 5
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Пушка_1_зарядить_Пушка_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := true
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 5
Корабль_1.настойчивость := 4
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := true
Противник_1.манёвренность := 5
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Пушка_1_выстрелить_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 5
Корабль_1.настойчивость := 4
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := true
Противник_1.манёвренность := 5
Противник_1.уничтожен := true
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_проверить_уничтож_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := true
Корабль_1.манёвренность := 5
Корабль_1.настойчивость := 4
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := true
Противник_1.манёвренность := 5
Противник_1.уничтожен := true
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := true
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
Ц Е Л Е В А Я С И Т У А Ц И Я Д О С Т И Г Н У Т А.
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := true
Корабль_1.манёвренность := 5
Корабль_1.настойчивость := 4
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := true
Противник_1.манёвренность := 5
Противник_1.уничтожен := true
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := true
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
П Р О Ц Е С С П О И С К А Р Е Ш Е Н И Я З А К О Н Ч Е Н.
Время работы = 47 мс
*** Описание исходной ситуации ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 5
Мина_1.модель := 1
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
**
*** Шаблон целевой ситуации ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) -- false
В(Снаряд_1, Пушка_1) -- false
Далеко(Корабль_1, Мина_1) -- false
Корабль_1.конец_моделирования = true
Корабль_1.манёвренность -- 5
Корабль_1.настойчивость -- 5
Мина_1.модель -- 5
Нацелена_на(Пушка_1, Противник_1) -- false
Противник_1.манёвренность -- 5
Противник_1.уничтожен -- false
Пушка_1.качество_прицела -- 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания -- false
Корабль_1.саботаж -- false
Корабль_1.уничтожен -- false
НАЧИНАЕМ ПРОЦЕСС ЛОГИЧЕСКОГО ВЫВОДА
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 4
Мина_1.модель := 1
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 4
Мина_1.модель := 1
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Противник_1_заманить_удрать_Корабль_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Противник_1_заманить_удрать_Корабль_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Противник_1_заманить_удрать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 4
Мина_1.модель := 2
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 6
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 3
Мина_1.модель := 2
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 6
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 3
Мина_1.модель := 2
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 6
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Противник_1_заманить_удрать_Корабль_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Противник_1_заманить_удрать_Корабль_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Противник_1_заманить_удрать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 3
Мина_1.модель := 3
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 7
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 2
Мина_1.модель := 3
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 7
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 2
Мина_1.модель := 3
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 7
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Противник_1_заманить_удрать_Корабль_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Противник_1_заманить_удрать_Корабль_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Противник_1_заманить_удрать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 2
Мина_1.модель := 4
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 8
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 1
Мина_1.модель := 4
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 8
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 1
Мина_1.модель := 4
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 8
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Противник_1_заманить_удрать_Корабль_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Противник_1_заманить_удрать_Корабль_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Противник_1_заманить_удрать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 1
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 9
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Мина_1_подорвать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := true
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 1
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 9
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := true
*
Ц Е Л Е В А Я С И Т У А Ц И Я Д О С Т И Г Н У Т А.
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := true
Корабль_1.манёвренность := 4
Корабль_1.настойчивость := 1
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 9
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := true
П Р О Ц Е С С П О И С К А Р Е Ш Е Н И Я З А К О Н Ч Е Н.
Время работы = 31 мс
*** Описание исходной ситуации ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 5
Мина_1.модель := 1
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
**
*** Шаблон целевой ситуации ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) -- false
В(Снаряд_1, Пушка_1) -- false
Далеко(Корабль_1, Мина_1) -- false
Корабль_1.конец_моделирования = true
Корабль_1.манёвренность -- 5
Корабль_1.настойчивость -- 5
Мина_1.модель -- 5
Нацелена_на(Пушка_1, Противник_1) -- false
Противник_1.манёвренность -- 5
Противник_1.уничтожен -- false
Пушка_1.качество_прицела -- 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания -- false
Корабль_1.саботаж -- false
Корабль_1.уничтожен -- false
НАЧИНАЕМ ПРОЦЕСС ЛОГИЧЕСКОГО ВЫВОДА
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 4
Мина_1.модель := 1
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 4
Мина_1.модель := 1
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 5
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Противник_1_заманить_удрать_Корабль_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Противник_1_заманить_удрать_Корабль_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Противник_1_заманить_удрать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 4
Мина_1.модель := 2
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 6
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 3
Мина_1.модель := 2
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 6
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 3
Мина_1.модель := 2
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 6
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Противник_1_заманить_удрать_Корабль_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Противник_1_заманить_удрать_Корабль_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Противник_1_заманить_удрать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 3
Мина_1.модель := 3
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 7
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 2
Мина_1.модель := 3
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 7
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 2
Мина_1.модель := 3
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 7
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Противник_1_заманить_удрать_Корабль_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Противник_1_заманить_удрать_Корабль_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Противник_1_заманить_удрать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 2
Мина_1.модель := 4
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 8
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 1
Мина_1.модель := 4
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 8
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_приблизиться_Противник_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := true
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 1
Мина_1.модель := 4
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 8
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
В данной ситуации конфликтуют следующие Правила-Действия:
"Противник_1_заманить_удрать_Корабль_1_1"
"Пушка_1_зарядить_Пушка_1_1"
Для применения было выбрано правило: "Противник_1_заманить_удрать_Корабль_1_1"
ПРИМЕНЯЕМ Правило-Действие: "Противник_1_заманить_удрать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := false
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 1
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 9
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_уклониться_Мина_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := false
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 0
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 9
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := false
Корабль_1.уничтожен := false
*
ПРИМЕНЯЕМ Правило-Действие: "Корабль_1_саботировать_Корабль_1_1":
Описание семантики правила
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := true
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 0
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 9
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := true
Корабль_1.уничтожен := false
*
Ц Е Л Е В А Я С И Т У А Ц И Я Д О С Т И Г Н У Т А.
===== Параметры УЧЕТА =====
Близко(Корабль_1, Противник_1) := false
В(Снаряд_1, Пушка_1) := false
Далеко(Корабль_1, Мина_1) := true
Корабль_1.конец_моделирования := true
Корабль_1.манёвренность := 7
Корабль_1.настойчивость := 0
Мина_1.модель := 5
Нацелена_на(Пушка_1, Противник_1) := false
Противник_1.манёвренность := 9
Противник_1.уничтожен := false
Пушка_1.качество_прицела := 9
===== Параметры АНАЛИЗА =====
Корабль_1.выполнение_задания := false
Корабль_1.саботаж := true
Корабль_1.уничтожен := false
П Р О Ц Е С С П О И С К А Р Е Ш Е Н И Я З А К О Н Ч Е Н.
Время работы = 47 мс
