Создание экспертной системы для предметной области "Строительство бани на дачном участке"

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= false

===== Параметры АНАЛИЗА =====

*************************************************************

В данной ситуации конфликтуют следующие Правила-Действия:

"Электрик_Произвести_Монтаж_силовых_линий_1_1"

"Электрик_Осуществить_Ввод_в_здание_1_1"

Для применения было выбрано правило: "Электрик_Произвести_Монтаж_силовых_линий_1_1"

ПРИМЕНЯЕМ Правило-Действие:

"Электрик_Произвести_Монтаж_силовых_линий_1_1":

Описание семантики правила

*** После применения правила имеем ситуацию ***

===== Параметры УЧЕТА =====

Баня_1.Построена:= false

Бревна_1.Разгружено:= true

В(Кольца_1, Канализационная_яма_1):= true

Ввод_в_здание_1.Осуществлено:= false

Внутренние_отделочные_работы_1.Произведено:= true

Грунт_1.Выкопано:= true

Заказ_1.Оформлено:= true

Заявка_1.Обработано:= true

Заявка_1.Подано:= true

Здание_1.Утеплено:= true

Канализационная_система_1.Установлено:= true

Канализационная_яма_1.Выкопано:= true

Каркас_крыши_1.Установлено:= true

Кирпич_1.Разгружено:= true

Коммуникации_1.Смонтировано:= true

Кровельные_материалы_1.Разгружено:= true

Кровельные_работы_1.Произведено:= true

Монтаж_осветительных_линий_1.Произведено:= true

Монтаж_силовых_линий_1.Произведено:= true

На(Обвязка_1, Фундамент_1):= true

На(Печь_1, Фундамент_печи_1):= true

Наружные_отделочные_работы_1.Произведено:= true

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= false

===== Параметры АНАЛИЗА =====

*************************************************

************** Уточненное описание ситуации, ****************

*** Полученное путем применения вспомогательных правил ***

===== Параметры УЧЕТА =====

Баня_1.Построена:= false

Бревна_1.Разгружено:= true

В(Кольца_1, Канализационная_яма_1):= true

Ввод_в_здание_1.Осуществлено:= false

Внутренние_отделочные_работы_1.Произведено:= true

Грунт_1.Выкопано:= true

Заказ_1.Оформлено:= true

Заявка_1.Обработано:= true

Заявка_1.Подано:= true

Здание_1.Утеплено:= true

Канализационная_система_1.Установлено:= true

Канализационная_яма_1.Выкопано:= true

Каркас_крыши_1.Установлено:= true

Кирпич_1.Разгружено:= true

Коммуникации_1.Смонтировано:= true

Кровельные_материалы_1.Разгружено:= true

Кровельные_работы_1.Произведено:= true

Монтаж_осветительных_линий_1.Произведено:= true

Монтаж_силовых_линий_1.Произведено:= true

На(Обвязка_1, Фундамент_1):= true

На(Печь_1, Фундамент_печи_1):= true

Наружные_отделочные_работы_1.Произведено:= true

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= false

===== Параметры АНАЛИЗА =====

*************************************************************

ПРИМЕНЯЕМ Правило-Действие:

"Электрик_Осуществить_Ввод_в_здание_1_1":

Описание семантики правила

*** После применения правила имеем ситуацию ***

===== Параметры УЧЕТА =====

Баня_1.Построена:= false

Бревна_1.Разгружено:= true

В(Кольца_1, Канализационная_яма_1):= true

Ввод_в_здание_1.Осуществлено:= true

Внутренние_отделочные_работы_1.Произведено:= true

Грунт_1.Выкопано:= true

Заказ_1.Оформлено:= true

Заявка_1.Обработано:= true

Заявка_1.Подано:= true

Здание_1.Утеплено:= true

Канализационная_система_1.Установлено:= true

Канализационная_яма_1.Выкопано:= true

Каркас_крыши_1.Установлено:= true

Кирпич_1.Разгружено:= true

Коммуникации_1.Смонтировано:= true

Кровельные_материалы_1.Разгружено:= true

Кровельные_работы_1.Произведено:= true

Монтаж_осветительных_линий_1.Произведено:= true

Монтаж_силовых_линий_1.Произведено:= true

На(Обвязка_1, Фундамент_1):= true

На(Печь_1, Фундамент_печи_1):= true

Наружные_отделочные_работы_1.Произведено:= true

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= false

===== Параметры АНАЛИЗА =====

*************************************************

************** Уточненное описание ситуации, ****************

*** Полученное путем применения вспомогательных правил ***

===== Параметры УЧЕТА =====

Баня_1.Построена:= false

Бревна_1.Разгружено:= true

В(Кольца_1, Канализационная_яма_1):= true

Ввод_в_здание_1.Осуществлено:= true

Внутренние_отделочные_работы_1.Произведено:= true

Грунт_1.Выкопано:= true

Заказ_1.Оформлено:= true

Заявка_1.Обработано:= true

Заявка_1.Подано:= true

Здание_1.Утеплено:= true

Канализационная_система_1.Установлено:= true

Канализационная_яма_1.Выкопано:= true

Каркас_крыши_1.Установлено:= true

Кирпич_1.Разгружено:= true

Коммуникации_1.Смонтировано:= true

Кровельные_материалы_1.Разгружено:= true

Кровельные_работы_1.Произведено:= true

Монтаж_осветительных_линий_1.Произведено:= true

Монтаж_силовых_линий_1.Произведено:= true

На(Обвязка_1, Фундамент_1):= true

На(Печь_1, Фундамент_печи_1):= true

Наружные_отделочные_работы_1.Произведено:= true

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= false

===== Параметры АНАЛИЗА =====

*************************************************************

ПРИМЕНЯЕМ Правило-Действие:

"Электрик_Произвести_Электромонтажные_работы_1_1":

Описание семантики правила

*** После применения правила имеем ситуацию ***

===== Параметры УЧЕТА =====

Баня_1.Построена:= false

Бревна_1.Разгружено:= true

В(Кольца_1, Канализационная_яма_1):= true

Ввод_в_здание_1.Осуществлено:= true

Внутренние_отделочные_работы_1.Произведено:= true

Грунт_1.Выкопано:= true

Заказ_1.Оформлено:= true

Заявка_1.Обработано:= true

Заявка_1.Подано:= true

Здание_1.Утеплено:= true

Канализационная_система_1.Установлено:= true

Канализационная_яма_1.Выкопано:= true

Каркас_крыши_1.Установлено:= true

Кирпич_1.Разгружено:= true

Коммуникации_1.Смонтировано:= true

Кровельные_материалы_1.Разгружено:= true

Кровельные_работы_1.Произведено:= true

Монтаж_осветительных_линий_1.Произведено:= true

Монтаж_силовых_линий_1.Произведено:= true

На(Обвязка_1, Фундамент_1):= true

На(Печь_1, Фундамент_печи_1):= true

Наружные_отделочные_работы_1.Произведено:= true

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= true

===== Параметры АНАЛИЗА =====

*************************************************

************** Уточненное описание ситуации, ****************

*** Полученное путем применения вспомогательных правил ***

===== Параметры УЧЕТА =====

Баня_1.Построена:= false

Бревна_1.Разгружено:= true

В(Кольца_1, Канализационная_яма_1):= true

Ввод_в_здание_1.Осуществлено:= true

Внутренние_отделочные_работы_1.Произведено:= true

Грунт_1.Выкопано:= true

Заказ_1.Оформлено:= true

Заявка_1.Обработано:= true

Заявка_1.Подано:= true

Здание_1.Утеплено:= true

Канализационная_система_1.Установлено:= true

Канализационная_яма_1.Выкопано:= true

Каркас_крыши_1.Установлено:= true

Кирпич_1.Разгружено:= true

Коммуникации_1.Смонтировано:= true

Кровельные_материалы_1.Разгружено:= true

Кровельные_работы_1.Произведено:= true

Монтаж_осветительных_линий_1.Произведено:= true

Монтаж_силовых_линий_1.Произведено:= true

На(Обвязка_1, Фундамент_1):= true

На(Печь_1, Фундамент_печи_1):= true

Наружные_отделочные_работы_1.Произведено:= true

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= true

===== Параметры АНАЛИЗА =====

*************************************************************

ПРИМЕНЯЕМ Правило-Действие:

"Строительная_компания_Построить_Баня_1_1":

Описание семантики правила

*** После применения правила имеем ситуацию ***

===== Параметры УЧЕТА =====

Баня_1.Построена:= true

Бревна_1.Разгружено:= true

В(Кольца_1, Канализационная_яма_1):= true

Ввод_в_здание_1.Осуществлено:= true

Внутренние_отделочные_работы_1.Произведено:= true

Грунт_1.Выкопано:= true

Заказ_1.Оформлено:= true

Заявка_1.Обработано:= true

Заявка_1.Подано:= true

Здание_1.Утеплено:= true

Канализационная_система_1.Установлено:= true

Канализационная_яма_1.Выкопано:= true

Каркас_крыши_1.Установлено:= true

Кирпич_1.Разгружено:= true

Коммуникации_1.Смонтировано:= true

Кровельные_материалы_1.Разгружено:= true

Кровельные_работы_1.Произведено:= true

Монтаж_осветительных_линий_1.Произведено:= true

Монтаж_силовых_линий_1.Произведено:= true

На(Обвязка_1, Фундамент_1):= true

На(Печь_1, Фундамент_печи_1):= true

Наружные_отделочные_работы_1.Произведено:= true

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= true

===== Параметры АНАЛИЗА =====

*************************************************

ЦЕЛЕВАЯ СИТУАЦИЯ ДОСТИГНУТА

===== Параметры УЧЕТА =====

Баня_1.Построена:= true

Бревна_1.Разгружено:= true

В(Кольца_1, Канализационная_яма_1):= true

Ввод_в_здание_1.Осуществлено:= true

Внутренние_отделочные_работы_1.Произведено:= true

Грунт_1.Выкопано:= true

Заказ_1.Оформлено:= true

Заявка_1.Обработано:= true

Заявка_1.Подано:= true

Здание_1.Утеплено:= true

Канализационная_система_1.Установлено:= true

Канализационная_яма_1.Выкопано:= true

Каркас_крыши_1.Установлено:= true

Кирпич_1.Разгружено:= true

Коммуникации_1.Смонтировано:= true

Кровельные_материалы_1.Разгружено:= true

Кровельные_работы_1.Произведено:= true

Монтаж_осветительных_линий_1.Произведено:= true

Монтаж_силовых_линий_1.Произведено:= true

На(Обвязка_1, Фундамент_1):= true

На(Печь_1, Фундамент_печи_1):= true

Наружные_отделочные_работы_1.Произведено:= true

Отделочные_материалы_1.Разгружено:= true

Отделочные_работы_1.Произведено:= true

Парилка_1.Отделано:= true

Печь_1.Построено:= true

План_электромонтажных_работ_1.Составлено:= true

План_1.Составлено:= true

Предбанник_1.Отделано:= true

Прикреплена_к(Черепица_1, Каркас_крыши_1):= true

Сайдинг_1.Набито:= true

Стены_1.Возведено:= true

Строительные_материалы_1.Завезено:= true

Территория_1.Расчищено:= true

Фундамент_здания_1.Установлено:= true

Фундамент_печи_1.Установлено:= true

Фундамент_1.Установлено:= true

Цоколь_1.Отделано:= true

Электромонтажные_работы_1.Произведено:= true

===== Параметры АНАЛИЗА =====

ПРОЦЕСС ПОИСКА РЕШЕНИЯ ЗАКОНЧЕН

Время работы = 156 мс



7. Фрагмент модели предметной области в формате исчисления высказываний

F = <V,S,A,P>

F - формальная теория

V - алфавит

S - синтаксические правила

A - аксиомы, лежащие в основе теории

P - правила вывода

V = {

A - Заказ оформлен

B - План составлен

C - Строительные материалы завезены

D - Фундамент установлен

E - Стены возведены

F - Отделочные работы произведены

G - Электромонтажные работы произведены

H - Баня построена

}

A = {

A > B

E > D

F > E

G> F

H> A

H> C

H> D

H> E

H> F

H> G

}

Докажем выводимость формулы H > B.

Воспользуемся методом от противного:

Дизъюнкты, полученные из аксиом:

1.

2.

3.

4.

5.

6.

7.

8.

9.

10.

Дизъюнкты, полученные из формулы опровержения:

11. H

12.

Резольвенты:

13. (1, 12)

14. A (5, 11)

15. Л (13, 14)

В результате получен ложный дизъюнкт, следовательно, выводимость формулы H > B доказана.



8. Фрагмент модели предметной области в формате исчисления предикатов первого порядка

F = {A,V,W,R}

V = {Индивидуальные константы, предметные переменные, функциональные константы, высказывания, предикаты, >, НЕ, ~, (, ) и т.д.}.

Индивидуальные константы:

1. Плотники (Плт)

2. Монтажники (М)

3. Печник (Пчн)

4. Фундамент (Ф)

5. Стены (С)

6. Печь (П)

7. Черепица (Ч)

8. Каркас (К)

9. Обвязка (О)

Предметные переменные:

1. S - состояние

Функциональные константы:

1. Установить (Плотники, Фундамент, S) - g1

2. Возвести (Монтажники, Стены, S) - g2

3. Построить (Печник, Печь, S) - g3

Предикаты:

1. На (Обвязка, Фундамент, g1(Плотники, Фундамент, S))

2. Прикреплена_к (Черепица, Каркас, g2(Монтажники, Стены, S))

3. На (Печь, Фундамент, g3(Печник, Печь, S))

- Если Черепица Прикреплена к Каркасу, то Обвязка На Фундаменте:

- Если Печь На Фундаменте, то Черепица Прикреплена к Каркасу

Докажем:

1. =

2.

=

3.

=

Подстановка S = { П1/П, О1/О, Ф1/Ф, Ч1/Ч, К1/К, S1/S}

1.

2.

3.

4.

Резольвенты:

5.(2, 3)

6. (1, 4)

7. Л (5, 6)

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

Опровергнем:

1. =

2. =

=

3.

Подстановка S = { П1/П, О1/О, Ф1/Ф, Ч1/Ч, К1/К, S1/S}

1.

2.

3.

4.

Резольвенты:

5. (2, 4)

Далее резольвенты получить невозможно, следовательно, формула опровергнута.



9. Фрагмент модели предметной области в формате семантической сети

Р1 - Менеджер оформил заказ

Р2 - Менеджер составил план

Р3 - Отдел доставки завез бревна

Р4 - Отдел доставки завез кирпич

Р5 - Отдел доставки завез отделочные материалы

Р6 - Отдел доставки завез кровельные материалы

Р7 - Электрик осуществил ввод в здание

Р8 - Электрик составил план электромонтажных работ

Р9 - Электрик произвел электромонтажные работы

Р10 - Электрик произвел монтаж силовых линий

Р11 - Электрик произвел монтаж осветительных линий

Р12 - Отделочники утеплили здание

Р13 - Отделочники набили сайдинг

Р14 - Отделочники произвели отделочные работы

Р15 - Отделочники произвели внутренние отделочные работы

Р16 - Отделочники произвели наружные отделочные работы

Р17 - Отделочники отделали парилка

Р18 - Отделочники отделали предбанник

Р19 - Отделочники отделали цоколь

Размещено на Allbest.ru