Методы поддержки принятия решений

Задание 1. 

Рассмотрите сеть для диагностики авrомобиля, представленную на рис. 1.

1. Дополните сеть булевыми переменными "Морозная погода" и "Стартер".

2. Приведите приемлемые таблицы условных вероятностей для всех вершин.


Рис. 1. Система, описывающая некоторые характеристики электросистемы и двигателя автомобиля.

Задание 2.

На атомной электростанции предусмотрена тревожная сигнализация, срабаты­вающая, если показания датчика температуры превышают некоторое пороrовое значение. Датчик измеряет температуру в реакторе. Рассмотрите булевы переменные Т (звучит сигнал тревоги), СН (тревожная сигнализация неисправна) и ДН (неисправен даrчик), а также мноrозначные вершины ПД (показания датчика) и ТР (фактическая темпераrура в реакторе). Нарисуйте байесовскую сеть для этой проблемной области с учетом того, что вероятность отказа датчика повышается, если температура в реакторе становится слишком высокой.

Задание 3. 

Из высказывания "Лошади - животные" следует, что "Голова лошади - голова животного". Продемонстрируйте, что этот логический вывод является допустимым, вы­полнив приведенные ниже этапы.

1. Преобразуйте предпосылку и вывод этого высказывания в язык логики первого порядка. Воспользуйтесь тремя предикатами: Голова(h, х) (который означает, что

"h - голова"), Лошадь(x) (быть лошадью) и Животное(x) (быть животным). 

2. Примените отрицание к заключению и преобразуйте предпосылку и отрицаемое заключение в конъюнктивную нормальную форму.

3.  Воспользуйтесь правилом резолюции, чтобы показаrь, что заключение следует из предпосылки.