Построение продукционной модели заданной предметной области

МИНИСТЕРСТВО  ОБРАЗОВАНИЯ И НАУКИ РФ 

ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ 
 

Липецкий  государственный технический университет 
 
 

Кафедра прикладной математики 
 
 
 

ОТЧЕТ

                                 по лабораторной работе №2 

по курсу:  «Интеллектуальные системы»

на тему:    «Построение продукционной модели заданной предметной

          области» 
 
 
 
 

Выполнила:

  __________________________

__________________________

«___»  ______________   2011 г. 

Проверил:

__________________________

__________________________

« ___»  ______________ 2011г.

                                                
 
 

                                                  
 
 

                                                    Липецк, 2011 

Задание кафедры

     Разработать программное обеспечение, реализующее  оболочку экспертных систем, основанных на продукционной модели представления  знаний.

     Необходимо  учесть следующее:

1. Правила должны формироваться в следующем виде:

         ЕСЛИ   Объект1=Значение1, ТО   Объект2=Значение2

2. Допускается использование логической связки "И".
3. База правил должна быть отделена от программного модуля и представлять собой отдельный текстовый файл.
4. База правил может дополняться новыми правилами, которые записываются в конец текстового файла в требуемом формате.
5. В программе должны быть предусмотрены средства для отображения имен объектов и их значений.

Тестовые примеры  – результаты лабораторной работы №1.

     Экспертная  система на основе данной стартовой  ситуации и своей базы правил должна оказать сделать определенный вывод  и отобразить его на экране.

 

     

Часть 1.

Построение  продукционной модели предметной области 

Начальное состояние:

• Компьютер выключен,
• система не загружается,
• монитор не горит.

Множество объектов ПО X:

• П – пользователь
• ПК – компьютер
• С – система
• М – монитор
• К – кабель
• ВК – видеокарта
• БП – блок питания

Множество свойств объектов C:

ПК (включен) – компьютер включен

(выключен) – компьютер выключен

С (загружается) – система загружается

(не  загружается) –  система не загружается

М (горит) – монитор горит

(не  горит) – монитор  не горит

ВК (рабочая) – видеокарта работает

(сгорела)  – видеокарта  сгорела

ПОВ (нет) – повреждений нет

(есть) – повреждения  есть 

Множество отношений между  объектами R:

КиМ (К , М) – кабель соединен с монитором;

(К, М)  – кабель не соединен с монитором;

КиВК (К, ВК) – кабель монитора соединен с выходом видеокарты;

(К,  ВК) – кабель монитора не соединен с выходом видеокарты;

КиБП (К, БП) – кабель монитора соединен с выходом блока питания;

(К,  БП) – кабель монитора не соединен с выходом блока питания;

ВКиМП (ВК, МП) – видеокарта соединена с  материнской платой;

(ВК, МП) – видеокарта  не соединена с  материнской платой. 

Составим  базу правил. 

П1:

ЕСЛИ  ( (выключен) И (не загружается) И (не горит) И ВК (рабочая), И ВКбезПОВ (ВК, ПОВ) И (К, М) И (К, ВК) И (К, БП) И (ВК, МП))

ТО  УДАЛИТЬ ( (выключен)) И ДОБАВИТЬ (ПК (включен))

П2: 

ЕСЛИ (ПК (включен) И (не загружается) И (не горит) И ВК (рабочая) И ВКбезПОВ (ВК, ПОВ) И (К, М) И (К, ВК) И (К, БП) И (ВК, МП))

ТО  УДАЛИТЬ ( (не загружается)) И ДОБАВИТЬ (СЗ (загружается)) 

П3:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И ВК (рабочая) И ВКбезПОВ (ВК, ПОВ) И (К, М) И (К, ВК) И (К, БП) И (ВК, МП))

ТО  УДАЛИТЬ ( (К, М)) И ДОБАВИТЬ (КиМ (К, М)) 

П4:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И ВК (рабочая) И ВКбезПОВ (ВК, ПОВ) И КиМ (К, М) И (К, ВК) И (К, БП) И (ВК, МП))

ТО  УДАЛИТЬ ( (К, ВК)) И ДОБАВИТЬ (КиВК (К, ВК)) 

П5:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И ВК (рабочая) И ВКбезПОВ (ВК, ПОВ) И КиМ (К, М) И КиВК (К, ВК) И (К, БП) И (ВК, МП))

ТО  УДАЛИТЬ ( (К, БП)) И ДОБАВИТЬ (КиБП (К,БП)) 

П6:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И ВК (рабочая) И ВКбезПОВ (ВК, ПОВ) И КиМ (К, М) И КиВК (К, ВК) И КиБП (К,БП) И (ВК, МП))

ТО  УДАЛИТЬ (ВК, МП)) И ДОБАВИТЬ ВКиМП (ВК, МП)) 

П7:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И ВК (рабочая) И ВКбезПОВ (ВК, ПОВ) И КиМ (К, М) И КиВК (К, ВК) И КиБП (К, БП) И

ТО  УДАЛИТЬ (ВКбезПОВ (ВК, ПОВ)) И ДОБАВИТЬ (ВК, ПОВ)) 

П8:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И ВК (рабочая) И (ВК, ПОВ) И КиМ (К, М) И КиВК (К, ВК) И КиБП (К, БП) И

ТО  УДАЛИТЬ ( (ВК , ПОВ)) И ДОБАВИТЬ ВКбезПОВ (ВК, ПОВ))

П9:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И ВК (рабочая)

И ВКбезПОВ (ВК, ПОВ) И КиМ (К, М) И КиВК (К, ВК) И КиБП (К, БП) И

ТО  УДАЛИТЬ (ВК (рабочая)) И ДОБАВИТЬ (сгорела)) 

П10:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И (сгорела) И ВКбезПОВ (ВК, ПОВ) И КиМ (К, М) И КиВК (К, ВК) И КиБП (К, БП) И

ТО  УДАЛИТЬ (сгорела)) И ДОБАВИТЬ (ВК (рабочая))  

П11:

ЕСЛИ (ПК (включен) И СЗ (загружается) И (не горит) И ВК (рабочая) И ВКбезПОВ (ВК, ПОВ) И КиМ (К, М) И КиВК (К, ВК) И КиБП (К, БП) И

ТО  УДАЛИТЬ (не горит) И ДОБАВИТЬ (М (горит)) 

     Составим  базу фактов (данных)

Начальная РБД (t=0)

Ф1:  (выключен)

Ф2:  (не загружается)

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф5: ВКбезПОВ (ВК, ПОВ)

Ф6: (К, М)

Ф7: (К, ВК)

Ф8: (К, БП)

Ф9: (ВК, МП)

     Применяем правило П1:

РБД (t=1)

Ф2:  (не загружается)

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф5: ВКбезПОВ (ВК, ПОВ)

Ф6: (К, М)

Ф7: (К, ВК)

Ф8: (К, БП)

Ф9: (ВК, МП)

Ф10: ПК (включен)

     Применяем правило П2:

РБД (t=2)

Ф3:  (не горит)

Ф4: ВК (рабочая)

Ф5: ВКбезПОВ (ВК, ПОВ)

Ф6: (К, М)

Ф7: (К, ВК)

Ф8: (К, БП)