Методические указания к лабораторным занятиям Интеллектуальные системы обработки информации и машинное обучение Ставрополь, 2017

Обратный вывод — подтвердить выбранную цель (в данном случае - 
«ехать в горы») при помощи имеющихся правил и данных. 
1-й цикл 
Шаг 1.1. Утверждение (Цель) — «ехать в горы»: Проверяем правило 
П1— не хватает данных (факта) «отдых — летом». Поэтому эти 
данные (факт) («отдых — летом») становятся новым утверждением 
(целью) и ищется правило, где такое утверждение (цель) есть в левой 
части. 
Шаг 1.2. Утверждение (Цель) «отдых — летом»: Проверяем правило 
П2. Это правило срабатывает и в системе появляется факт - «любит 
солнце». 
2-й цикл. 
Шаг 2.1. Проверяем правилоП1: наличие обоих фактов («отдых — 
летом» и «человек — активный») подтверждают выбранную цель 
(«ехать в горы»). 
Прямой вывод— нужно исходя из фактических данных, получить 
рекомендацию. 
1-й цикл. 
Шаг 1.1. Проверяем правило П1: не работает, т.к. не хватает данных 
«отдых — летом». 
Шаг 1.2. Проверяем правило П2: работает, т.к. есть факт «любит 
солнце». Следовательно, образуется новый факт «отдых — летом». 
2-й цикл. 
Шаг 2.1. Проверяем правило П1, работает, т.к. присутствуют оба 
факта - «отдых — летом» и «человек — активный». Следовательно, 
становится истинным 
9
6 

---

утверждение (цель) «ехать в горы», которая и выступает как совет, 
который дает ЭС. 
Существуют системы, в которых вывод основывается на сочетании 
упомянутых выше методов — обратного и ограниченного прямого. 
Такой комбинированный метод получил название циклического.