Главная

Контакты

Случайная статья

• Автоматизация
• Антропология
• Археология
• Архитектура
• Биология
• Ботаника
• Бухгалтерия
• Военная наука
• Генетика
• География
• Геология
• Демография
• Деревообработка
• Журналистика
• Зоология
• Изобретательство
• Информатика
• Искусство
• История
• Кинематография
• Компьютеризация
• Косметика
• Кулинария
• Культура
• Лексикология
• Лингвистика
• Литература
• Логика
• Маркетинг
• Математика
• Материаловедение
• Медицина
• Менеджмент
• Металлургия
• Метрология
• Механика
• Музыка
• Науковедение
• Образование
• Охрана Труда
• Педагогика
• Полиграфия
• Политология
• Право
• Предпринимательство
• Приборостроение
• Программирование
• Производство
• Промышленность
• Психология
• Радиосвязь
• Религия
• Риторика
• Социология
• Спорт
• Стандартизация
• Статистика
• Строительство
• Технологии
• Торговля
• Транспорт
• Фармакология
• Физика
• Физиология
• Философия
• Финансы
• Химия
• Хозяйство
• Черчение
• Экология
• Экономика
• Электроника
• Электротехника
• Энергетика

Задача 1. Логический вывод на основе обратной цепочки рассуждений для продукционных моделей.

Задача 1. Логический вывод на основе обратной цепочки рассуждений для продукционных моделей.

Дано: 1). Цель: Решение

        2). Исходные данные: Дох = ↓, Ож = опт, Нал = ↑, Дот = ↑,

Цкон = const, N выр кон = const, Зрекл = const.

Решение:

1. Выб (Решение) с П1 П5

2. Означ (Цр)

2.1. Выб (Спрос) с П1     П1

2.2. Означ (Дох)

2.2.1. Выб (Дох) с П1    П2

2.2.2. Означ (?) Дох = ↓

2.3. Соп (Дох = ↓ П2 ?) да 

2.4. Озн (Ож)

2.4.1. Выб (Ож) нет

2.4.2. Озн (?) Ож = опт

2.5. Соп (Ож = опт в П2 ?) да

2.6. Вып  (П2) Спрос = ↓↓

2.7. Озн/Соп (Спрос =↓↓ в П2) да

2.8. Озн (Предл)

2.8.1. Выб (Предл) с П1 П6

2.8.2. Озн (Нал)

2.8.2.1. Выб (Нал) с П1 нет

2.8.2.2. Означ (?)

2.8.3. Соп (Нал = ↑ в П6 ?) да

2.8.4. Означ (Дотац)

2.8.4.1. Выб (Дотац) с П1 нет

2.8.4.2. Означ (?)

2.8.5. Соп (Дотац = ↑ П6 ?) нет

2.8.6. Выб (Предл) с П7 П7

2.8.7. Озн/Соп (Дотац = ↑ в П7 ?) да 

2.8.8. Вып (П7) Предл =↑

2.9. Соп (Предл = ↑ П1 ?) нет

2.10. Выб (Цр) с П2 П4

2.11. Озн/Соп п(Спорс = ↓↓ в П4 ?) нет

2.12. Выб (Цр) с П5 П9

2.13. Озн/Соп (Спрос = ↓↓ в П9 ?) нет

2.14. Выб (Цр) с П10 П12

2.15. Означ/Соп (Спрос = ↓↓ в П12 ?) да

2.16. Означ/Соп (Предл = ↑ в П12 ?) да

2.17. Вып (П12) Цр = ↓↓

3. Соп (Цр = ↓↓ П5 ?) да

4. Означ (N вып кон)

4.1. Выб (N вып кон) с П1 нет

4.2. Означ (?)N вып кон = const

5. Соп (N вып кон = const П5 ?) нет

6. Выб (Решение) с П6 П8

7. Означ/ Соп (Цр = ↓↓ П8 ?) нет

8. Выб (Решение) с П9 П10

9. Означ/Соп (Цр =↓↓ П10 ?) нет

10. Выб (Решение) с П11 П11

11. Означ/Соп (Цр = ↓↓ в П11) да

12. Означ/соп (N вып кон в П11 ?) нет

13. Выб (Решение) с П12 П13

14. Означ/Соп (Цр = ↓↓ в П13) да

15. Означ (Зрекл)

15.1. Выб (Зрекл) с П1 нет

15.2. Означ (?) Зрекл = const

16. Соп (Зрекл = const в П13 ?) да

17. Вып (П13) Решение = Цн ↓ остановка первого типа

18. Выб (Решение) с П14 П14

19. Озн/Соп (Цр = ↓ П14 ?) нет остановка второго типа

Задача 2.

A – Инженер получил премию

B – возникли значительные инцеденты

C – выдержано качество сопровоздения SLA.

Дано:

A

B → C

 →

Доказать:

Доказательство:

1. С помощью правил вывода

A
B → C		B →A
→