49880

Исследование моделей представления знаний и разработка прототипа экспертной системы поддержки принятия решений для предметной области управления сборкой двигателей внутреннего сгорания

Курсовая

Информатика, кибернетика и программирование

Укомплектовать объект: ДВС субъект: УСД компоненты: Комплектующие Узел поддействия: условия активизации: Комплектующие Объеденены = flse Узел У_Находится_в = Склад готовой продукции результат: УСД Укомплектован ДВС = истина Комплектующие Объеденены = true Комплектующие Объеденены ДВС = истина ДВС Укомплектован = true Узел Объеденен Узел = истина Узел У_Укомплектованность = Продукт действие верхнего уровня: 1.2 Упаковать объект: Готовый_продукт субъект: УСД компоненты: Коробка ДВС поддействия: условия активизации: УСД...

Русский

2014-01-11

3.43 MB

8 чел.

урсовой проект                                                                                                       Сикоров Л.В.

МИНОБРНАУКИ РОССИИ

Федеральное государственное бюджетное образовательное учреждение

высшего профессионального образования

«Московский государственный технический университет радиотехники, электроники и автоматики»

МГТУ МИРЭА

Факультет информационных технологий (ИТ)

Кафедра Вычислительной техники (ВТ)

Расчетно-пояснительная записка

к курсовому проекту на тему

«Исследование моделей представления знаний и разработка прототипа экспертной системы поддержки принятия решений

для предметной области управления сборкой двигателей внутреннего сгорания»

по дисциплине

«Модели и методы представления знаний в интеллектуальных

системах»

 Выполнил:  студент 1 курса

факультета ИТ

группы ИВМ-3-12

Сикоров Л.В.

Проверила:   Болотова Л.С.

Москва 2013

Содержание

[1] Содержание

[1.1] 1.Постановка задачи на курсовой проект и описание предметной области и ограничений.

[1.2] 2. Описание структуры экспертной системы, ее блоков и основного алгоритма функционирования.

[1.3] 3. Понятие о модели предметной области: структура, состав, концептуальная модель, база знаний.

[1.4] 4. Концептуальная модель заданной предметной области.

[1.5]
5. Графическое описание структуры решений и граф пространства решений и пространства.

[1.6] 6. Понятийно - объектная модель предметной области.

[1.7] 7. Отчет с описанием прототипа экспертной системы и примерами состояний и решений.

[1.8] 8. Модель предметной области в исчислении высказываний.

[1.9] 9. Модель предметной области в исчислении предикатов 1-го порядка.

[1.10] 11. Модель предметной области в виде сети фреймов.

1.Постановка задачи на курсовой проект и описание предметной области и ограничений.

Под системой знаний о предметной области или под моделью предметной области (МПО) понимается совокупность знаков (имен), обозначающих объекты заданной ПО, их концепты (понятия), денотаты (объемы) и отношения между ними. Однако, наше знание о практически любой ПО сегодня настолько огромно и многопланово, что МПО может стать избыточной, противоречивой и, следовательно, неэффективной. Нужен некоторый критерий, который может нам помочь в отборе только нужных нам объектов ПО для их описания. Что может служить таким критерием? Очевидно, это та цель (цели), которые ставит перед собой заказчик МПО. Ну, например, целью может быть создание системы , которая будет помогать врачу ставить диагнозы инфекционных (или каких-то других типов) заболеваний . Целями могут быть : создание системы управления роботом при управлении процессами изготовления деталей; создание системы поддержки принятия решений при управлении городом, районом, государством и т.п. Таким образом, задача, предъявляемая для решения , уже по своему описанию задания определяет круг объектов , действий , законов , справочных данных и т.п., необходимых для ее решения . Если задача из области медицины, то для ее решения, очевидно, бессмысленно закладывать (или запрашивать ) данные о скорости расширения Галактики или о запасах угля в Подмосковном бассейне.

Объединяя множества знаков – объектов классов, подклассов, их денотаты – Х, их концепты – С, отношения между ними –R, цели (действия ) – G, мы получим концептуальную, т .е . понятийную модель ПО (КМПО ).

КМПО = ‹X, C, R, G›, где:

X = (x1, x2, …, xn) – множество имен (знаков ) объектов (предметов, сущностей внешнего мира ), с которыми мы имеем дело при решении задачи.

C = (c1, c2, …, cm) – множество имен существенных свойств (признаков ) объектов множества Х , т .е . концептов множества X.

Множества X, C, R, G позволяют представлять предметную область в виде некоторого языкового эквивалента фрагмента реальной деятельности, степень адекватности которого зависит от множества факторов: сложности задач, числа задач, сложности самой ПО (число объектов, свойств, отношений, их семантика и т.д.).

Элементы X, C, R, G определяют понятийную (концептуальную) структуру предметной области или , другими словами , язык ее описания.

Для перехода к концептуальной модели предметной области необходимо определить понятия: состояние ПО, пространство состояний и связать состояние и действия в единую структуру.

Состояние ПО вообще - то непостоянно , оно может меняться со временем, и поэтому правильнее было бы говорить о состоянии предметной области в данный момент времени.

Определим состояние ПО следующим образом:

S ПО (t) = ‹X(t), C(t), R(t)›.

Выражение описывает ситуацию , сложившуюся в ПО в заданный момент времени . В зависимости от этой ситуации на момент t Є (t нач , t кон ) человек (или искусственная система ) выбирает из множества G возможных действий те действия , которые необходимы для решения задачи . Если теперь обозначить через F отображение S ПО (t) на множество G, то правомерно написать:

F: (‹X(t), C(t), R(t)› → G).

Таким образом, все множество состояний ПО – SПО(t) может быть разбито на классы таким образом, чтобы некоторому подмножеству состояний предметной области, соответствовало некоторое действие (решение ) – gi, где gi Є G. Тогда отображение F будет представлено как множество конструкций вида:

Si(t) >gj

Sj(t) >gk

Sq(t) >gm

В этом случае левая часть правила описывает состояние предметной области до принятия решения о действии gj и называется состоянием – предусловием. Реализация, т.е. выполнение действия gj, очевидно , приведет к изменению этого состояния и переведет его в состояние – постусловие (т .е . состояние после совершения действия ). Соединим эти два состояние в одну структуру . В результате мы получим концептуальную модель предметной области в виде совокупности правил вида :

Si(t) >gj >Sj(t)

Sj(t) >gk >Sk(t)

Sq(t) >gm >Sm(t)

Видим , что знания о ПО приобрели вид целостной единой конструкции , с помощью которой можно решать поставленную задачу , а именно – синтезировать алгоритм ее решения .

2. Описание структуры экспертной системы, ее блоков и основного алгоритма функционирования.

Задачами поиска, формирования (приобретения) и, наконец, проектирования знаний занимается вполне самостоятельная ветвь исследований искусственного интеллекта (ИИ), получившая название инженерии знаний или когнитологии. Соответственно, специалисты данного направления называются инженерами по знаниям или когнитологами. Предполагается, что такого рода инженеры должны: профессионально владеть всеми типами моделей представления знаний; уметь обосновывать выбор наилучшей модели для решения конкретных задач в данной предметной области и необходимость решения проблемы именно с позиций ИИ. Кроме того, они должны: знать особенности программной реализации каждого типа моделей; уметь выбирать наиболее подходящие инструментальные средства и системы; уметь формализовывать знания на основе выбранных моделей в синтаксисе соответствующих инструментальных систем; отлаживать и тестировать базы знаний (БЗ); встраивать их в систему сбора и обработки оперативной информации, т.е. доводить дело до конца – до получения готовой интеллектуальной системы, обеспечивающей поддержку процессов принятия решений в любых текущих состояниях (ситуациях) предметной области. Это самый краткий перечень вопросов, которыми должен владеть инженер по знаниям.

Главным источником знаний обычно является эксперт, т.е. человек, владеющий знаниями о структуре, законах и процессах функционирования выделенной предметной области, возможных решениях, о соответствии между состояниями предметной области и допустимыми решениями. Экспертами обычно называют самых квалифицированных специалистов в определенной сфере деятельности, умеющих быстро ориентироваться в новых ситуациях, способных обосновывать и объяснять свои решения (эксперты составляют 3–5% от общего числа специалистов в данной области). Например, всем известна форма помощи врачу, который затрудняется в постановке однозначного диагноза болезни своему пациенту, в виде консилиума, на который приглашаются наиболее сильные и известные специалисты в соответствующей области знаний. Задача консилиума проанализировать ситуацию своего коллеги и помочь ему более четко и точно определиться с диагнозом и лечением. База знаний, соответствующая знаниям такого консилиума, и является предметом проектирования для инженера по знаниям. Число экспертов может быть различным, от одного, до нескольких человек. В идеале возможно знание о какой-либо проблеме, соответствующее общечеловеческому уровню представлений. Кроме экспертов, помочь в поиске знания могут учебники, научные монографии, журнальная периодика, служебные документы, нормативы и т.п. Однако главная роль принадлежит все же экспертам, поскольку они имеют наиболее полные представления о взаимосвязи единиц знания с решениями (диагнозами, управляющими командами и т.д.). Именно поэтому знания, полученные на основе целенаправленной работы с экспертами, стали называть экспертными, а системы, основанные на экспертных базах знаний, называются экспертными (ЭС).

В архитектуре ЭС выделяют информационную и программную части. В информационную часть входят: РБД (рабочая база данных) и БЗ (продукционная, сетевая, фреймовая или гибридная). РБД – это множество фактов, описывающих текущее состояние предметной области. В программной части основными являются блоки: логического вывода (машина вывода), объяснения решений (выводов), приобретения знаний (рис.1). Необходимы также интерфейсы между внешней средой и ЭС (интерфейс пользователя и инженера по знаниям с ЭС)

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

Блок приобретения знаний призван обеспечить поддержку инженера по знаниям в процессах проектирования БЗ и взаимодействия с экспертом. При этом предполагается, что сам системный анализ предметной области и работа с экспертом осуществляются предварительно с применением специальных методов извлечения и структурирования знаний. Затем полученные знания с помощью интерфейса с блоком приобретения знаний переводятся в нужную модель представления знаний соответствующей инструментальной ЭС. С готовой ЭС через специальные интерфейсы могут взаимодействовать пользователи и источники информации, если текущая информация передается в автоматизированном режиме.

Перечисленные три блока составляют инструментальную программную часть ЭС. Ее называют пустой ЭС. При разработке РБД и БЗ в соответствии с ее форматами представления ЭС становится прикладной системой или приложением, готовым к использованию в практической деятельности.

Рис.1. Архитектура экспертной системы

Разработка любой ЭС включает следующие основные этапы (рис.2):

  •  идентификации;
  •  концептуализации;
  •  формализации;
  •  реализации;
  •  тестирования и отладки.

Рис.2. Этапы разработки ЭС

3. Понятие о модели предметной области: структура, состав, концептуальная модель, база знаний.

С помощью инструментальной ЭС «Решатель Проблем» (РП), ПОМ ПрО автоматически конвертируется в продукционную базу знаний.

1.Понятия-действия:

1.1 Укомплектовать

объект: ДВС субъект: УСД

компоненты:

 Комплектующие

 Узел

поддействия:

условия активизации:

 Комплектующие Объеденены = false

 Узел У_Находится_в = Склад готовой продукции

результат:

 УСД Укомплектован ДВС = истина

 Комплектующие Объеденены = true

 Комплектующие Объеденены ДВС = истина

 ДВС Укомплектован = true

 Узел Объеденен Узел = истина

 Узел У_Укомплектованность = Продукт

действие верхнего уровня:

1.2 Упаковать

объект: Готовый_продукт

субъект: УСД

компоненты:

 Коробка

 ДВС

поддействия:

условия активизации:

 УСД Укомплектован ДВС = истина

 УСД Упакован ДВС = ложь

 Готовый_продукт Готовность = Не готов

результат:

 УСД Собрана Коробка = истина

 УСД Создан Готовый_продукт = истина

 УСД Упакован ДВС = истина

 Готовый_продукт Готовность = Готов

 Коробка Собрана = true

 ДВС Упакован = true

действие верхнего уровня:

1.3 Узел_едет_на_склад_готовой_продукции

объект: Узел

субъект: УСД

компоненты:

поддействия:

условия активизации:

 УСД Проверен Узел = истина

 Узел У_Находится_в = Место проверки

результат:

 УСД Перемещено_на_укомплектовку Узел = истина

 Узел У_Находится_в = Склад готовой продукции

действие верхнего уровня:

1.4 Проверить

объект: Узел

субъект: УСД

компоненты:

 Датчик

 Поршень

поддействия:

условия активизации:

 УСД Проверен Узел = ложь

 Узел У_Находится_в = Место проверки

результат:

 УСД Проверен Узел = истина

 Датчик Работа = Сигнализирует

 Датчик Сканирован Поршень = истина

 Поршень Двигается = false

действие верхнего уровня:

1.5 Поршень_едет_на_сборку

объект: Поршень

субъект: УСД

компоненты:

поддействия:

условия активизации:

 УСД Перемещено_на_сборку Поршень = ложь

 Поршень П_Находится_в = Склад материалов

результат:

 УСД Перемещено_на_сборку Поршень = истина

 Поршень П_Находится_в = Место сборки

действие верхнего уровня:

1.6 Узел_едет_на_проверку

объект: Узел

субъект: УСД

компоненты:

поддействия:

условия активизации:

 Узел Собранность = true

 Узел У_Находится_в = Место сборки

результат:

 УСД Перемещено_на_проверку Узел = истина

 Узел У_Находится_в = Место проверки

действие верхнего уровня:

1.7 Упаковать

объект: Коробка

субъект: УСД

компоненты:

 Готовый_продукт

поддействия:

условия активизации:

 УСД Собрана Коробка = ложь

 УСД Создан Готовый_продукт = ложь

 УСД Укомплектован ДВС = истина

 УСД Упакован ДВС = ложь

 Коробка Собрана = false

результат:

действие верхнего уровня:

1.8 Собрать

объект: Узел

субъект: УСД

компоненты:

 Корпус

 Поршень

поддействия:

условия активизации:

 Корпус К_Находится_в = Место сборки

 Узел Собранность = false

 Поршень П_Находится_в = Место сборки

результат:

 УСД Собрано Узел = истина

 Корпус В Узел = истина

 Корпус Собранность = Узел

 Узел Собранность = true

 Узел У_Находится_в = Место сборки

 Поршень В Узел = истина

 Поршень Состояние = Узел

действие верхнего уровня:

1.9 Проверить1

объект: Узел

субъект: УСД

компоненты:

 Датчик

 Поршень

поддействия:

условия активизации:

 УСД Проверен Узел = ложь

 Датчик Работа = Не сигнализирует

 Датчик Сканирован Поршень = ложь

 Узел У_Находится_в = Место проверки

 Поршень В Узел = истина

 Поршень Двигается = false

результат:

 УСД Проверен Узел = истина

 Датчик Работа = Не сигнализирует

 Датчик Сканирован Поршень = истина

 Узел У_Находится_в = Место проверки

 Поршень Двигается = true

действие верхнего уровня:

1.10 Корпус_едет_на_сборку

объект: Корпус

субъект: УСД

компоненты:

поддействия:

условия активизации:

 УСД Перемещено_на_сборку Корпус = ложь

 Корпус К_Находится_в = Склад материалов

результат:

 УСД Перемещено_на_сборку Корпус = истина

 Корпус К_Находится_в = Место сборки

действие верхнего уровня:

1.11 Укомплектовать

объект: ДВС

субъект: УСД

компоненты:

 Комплектующие

 Узел

поддействия:

условия активизации:

 Комплектующие Объеденены = false

 Узел У_Находится_в = Склад готовой продукции

результат:

 УСД Укомплектован ДВС = истина

 Комплектующие Объеденены = true

 Комплектующие Объеденены ДВС = истина

 ДВС Укомплектован = true

 Узел Объеденен Узел = истина

 Узел У_Укомплектованность = Продукт

действие верхнего уровня:

2.Понятия-объекты:

2.1 Поршень

суперкласс:

свойства:

 Двигается

  тип: Boolean

  начальное значение: true

 Состояние

  тип: String

  начальное значение: 'Деталь'

 П_Находится_в

  тип: String

  начальное значение: 'Склад материалов'

отношения:

 В Узел

  начальное значение: 'ложь'

2.2

суперкласс:

свойства:

отношения:

2.3 Узел

суперкласс:

свойства:

 Собранность

  тип: Boolean

  начальное значение: false

 У_Находится_в

  тип: String

  начальное значение: 'Место сборки'

 У_Укомплектованность

  тип: String

  начальное значение: nil

отношения:

 Объеденен Узел

  начальное значение: 'ложь'

2.4 Коробка

суперкласс:

свойства:

 Собрана

  тип: Boolean

  начальное значение: false

отношения:

2.5 Готовый_продукт

суперкласс:

свойства:

 Готовность

  тип: String

  начальное значение: 'Не готов'

отношения:

2.6 Корпус

суперкласс:

свойства:

 К_Находится_в

  тип: String

  начальное значение: 'Склад материалов'

 Собранность

  тип: String

  начальное значение: 'Деталь'

отношения:

 В Узел

  начальное значение: 'ложь'

2.7 Комплектующие

суперкласс:

свойства:

 Объеденены

  тип: Boolean

  начальное значение: false

отношения:

 Объеденены ДВС

  начальное значение: 'ложь'

2.8 ДВС

суперкласс:

свойства:

 Укомплектован

  тип: Boolean

  начальное значение: false

 Упакован

  тип: Boolean

  начальное значение: false

отношения:

2.9 Датчик

суперкласс:

свойства:

 Работа

  тип: String

  начальное значение: 'Не сигнализирует'

отношения:

 Сканирован Поршень

  начальное значение: 'ложь'

2.10 УСД

суперкласс:

свойства:

отношения:

 В ДВС

  начальное значение: 'ложь'

 Перемещено_на_проверку Узел

  начальное значение: 'ложь'

 Перемещено_на_сборку Корпус

  начальное значение: 'ложь'

 Перемещено_на_сборку Поршень

  начальное значение: 'ложь'

 Перемещено_на_укомплектовку Узел

  начальное значение: 'ложь'

 Проверен Узел

  начальное значение: 'ложь'

 Собрана Коробка

  начальное значение: 'ложь'

 Собрано Узел

  начальное значение: Boolean

 Создан Готовый_продукт

  начальное значение: 'ложь'

 Укомплектован ДВС

  начальное значение: 'ложь'

 Упакован ДВС

  начальное значение: 'ложь'

3.Понятия-свойства:

3.1 Готовность

объекты, имеющие это свойство:

 Готовый_продукт

3.2 К_Находится_в

объекты, имеющие это свойство:

 Корпус

3.3 Двигается

объекты, имеющие это свойство:

 Поршень

3.4 Объеденены

объекты, имеющие это свойство:

 Комплектующие

3.5 Работа

объекты, имеющие это свойство:

 Датчик

3.6 Собрана

объекты, имеющие это свойство:

 Коробка

3.7 Собранность

объекты, имеющие это свойство:

 Узел

 Корпус

3.8 Состояние

объекты, имеющие это свойство:

 Поршень

3.9 У_Находится_в

объекты, имеющие это свойство:

 Узел

3.10 У_Укомплектованность

объекты, имеющие это свойство:

 Узел

3.11 Укомплектован

объекты, имеющие это свойство:

 ДВС

3.12 Упакован

объекты, имеющие это свойство:

 ДВС

3.13 П_Находится_в

объекты, имеющие это свойство:

 Поршень

4.Понятия-отношения:

4.1 В

объекты, имеющие это отношение:

 Поршень

 Корпус

 УСД

4.2 Объеденен

объекты, имеющие это отношение:

 Узел

4.3 Объеденены

объекты, имеющие это отношение:

 Комплектующие

4.4 Перемещено_на_проверку

объекты, имеющие это отношение:

 УСД

4.5 Перемещено_на_сборку

объекты, имеющие это отношение:

 УСД

4.6 Перемещено_на_укомплектовку

объекты, имеющие это отношение:

 УСД

4.7 Проверен

объекты, имеющие это отношение:

 УСД

4.8 Сканирован

объекты, имеющие это отношение:

 Датчик

4.9 Собрана

объекты, имеющие это отношение:

 УСД

4.10 Собрано

объекты, имеющие это отношение:

 УСД

4.11 Создан

объекты, имеющие это отношение:

 УСД

4.12 Укомплектован

объекты, имеющие это отношение:

 УСД

4.13 Упакован

объекты, имеющие это отношение:

 УСД

Полученная в результате преобразования база правил, при необходимости может дорабатываться средствами РП.

4. Концептуальная модель заданной предметной области.

Концептуализация – важнейшая создания ЭС. От ее качества зависит все: время, стоимость, эффективность будущей системы. Основная задача этого этапа – построение концептуальной модели предметной области проблемы и выделенных задач.

Занесем знания, полученные в результате построения моделей действий, в машину с помощью системы «Помощник Эксперта» (ПЭ), играющей роль блока приобретения знаний в архитектуре ЭС. В результате объединения структур действий в единое понятийное пространство формируется понятийно-объектная модель ПрО (ПОМ ПрО) Текстовое описание ПОМ будет выглядеть следующим образом:


5. Графическое описание структуры решений и граф пространства решений и пространства.


Проанализируем все условия всех действий – новых действий больше не выявлено. Что является признаком завершения процесса анализа предметной области. В результате получили пространство решений.

6. Понятийно - объектная модель предметной области.

Для начала устанавливаем стратегию управления правилами-действиями, состоящую из следующей последовательности процедур:

Следующий этап: выделить факты как возможные целевые.

Опишем проблемную ситуацию, задав значения факторов.

Основа Базы Знаний - это концептуальная модель предметной области которая формализуется следующим образом:

                                                      Мпо = {X, C, R, G},   где:

X - множество объектов предметной области;

C - множество существенных свойств всех объектов;

R - множество существенных отношений между объектами

G - множество допустимых (необходимых) действий над объектами.

ВНИМАНИЕ !!!

                         Здесь и далее следует иметь ввиду, что перечисленные выше множества должны описывать

                         модель задачи на уровне ПОНЯТИЙ. В то же время, данная программа работает на уровне ЭКЗЕМПЛЯРОВ понятий,

                         а это значит, что если у Вас имеется более одного экземпляра какого-либо понятия, то программа

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

                         нарушению правил построения концептуальной модели. Подобная ситуация возникает, например, если

                         в задаче про обезьяну и бананы рассматривать более одного ящика. Это автоматически приводит к

                         появлению нескольких экземпляров понятия - объекта "Ящик" (например "Ящик1", "Ящик2"), а также к нескольким

                         экземплярам понятий - действий и понятий - отношений, связанных с ящиком.

                         Например "ПодойтиКЯщику1", "ПодойтиКЯщику2", "Рядом(Обезьяна,Ящик1)", "Рядом(Обезьяна,Ящик2)".

                               Иными словами, в содержание множеств X, R, G должны входить имена ПОНЯТИЙ, а не их

                         экземпляров (например не "Ящик1", "Ящик2", а просто "Ящик"). Поэтому, если в Вашей задаче несколько

                         экземпляров объектов одного и того же класса, то НЕОБХОДИМО будет ВРУЧНУЮ подкорректировать соответствующие множества.

                         ОДНАКО, проведенная Вами корректировка содержания автоматически сгенерированного описания концептуальной модели

                         никак НЕ ДОЛЖНА затрагивать автоматически сгенерированное описание рабочей базы данных и базы правил !!!

Для рассматриваемой предметной области была создана следующая модель:

В процессе анализа задачи было выявлено множество решений, которые могут приниматься

в данной предметной области. Из них было сформировано множество G:

G = { УСД_1_Корпус_едет_на_сборку_Корпус_1_1,

         УСД_1_Проверить_Узел_1_1,

         УСД_1_Проверить1_Узел_1_1,

         УСД_1_Собрать_Узел_1_1,

         УСД_1_Узел_едет_на_проверку_Узел_1_1,

         УСД_1_Узел_едет_на_склад_готовой_продукции_Узел_1_1,

         УСД_1_Укомплектовать_ДВС_1_1,

         УСД_1_Укомплектовка_ДВС_1_1,

         УСД_1_Упаковать_Готовый_продукт_1_1,

         УСД_1_Упаковать_Коробка_1_1,

         УСД_1_Поршень_едет_на_сборку_Поршень_1_1  }

По ходу раскрытия содержания каждого действия, т.е. в процессе выявления  и исследования

множества ситуаций, в которых может приниматься то или иное решение, и анализа влияния каждого

из действий на состояние модели предметной области, были выделены соответствующие множества

объектов, их свойств, и отношений между ними.

X = { УСД_1,

        Готовый_продукт_1,

        Датчик_1,

        Комплектующие_1,

        Коробка_1,

        Корпус_1,

        ДВС_1,

        Узел_1,

        Поршень_1  }

C = { Упакован    [ Тип свойства:  Логический ],

        У_Укомплектованность    [ Тип свойства:  Строковый ],

        Объеденены    [ Тип свойства:  Логический ],

        Собрана    [ Тип свойства:  Логический ],

        П_Находится_в    [ Тип свойства:  Строковый ],

        У_Находится_в    [ Тип свойства:  Строковый ],

        Двигается    [ Тип свойства:  Логический ],

        Готовность    [ Тип свойства:  Строковый ],

        К_Находится_в    [ Тип свойства:  Строковый ],

        Укомплектован    [ Тип свойства:  Логический ],

        Работа    [ Тип свойства:  Строковый ],

        Состояние    [ Тип свойства:  Строковый ],

        Собранность    [ Тип свойства:  Строковый ]  }

Перечисленные свойства описывают объекты следующим образом:

Объект  "УСД_1":

Объект  "Готовый_продукт_1":

    -- Готовность; Множество значений: { Готов,  Не готов }

Объект  "Датчик_1":

    -- Работа; Множество значений: { Сигнализирует,  Не сигнализирует }

Объект  "Комплектующие_1":

    -- Объеденены; Множество значений: {Четкие логические значения }

Объект  "Коробка_1":

    -- Собрана; Множество значений: {Четкие логические значения }

Объект  "Корпус_1":

    -- Собранность; Множество значений: { Деталь,  Узел }

    -- К_Находится_в; Множество значений: { Склад материалов,  Склад готовой продукции,  Место сборки,  Место проверки }

Объект  "ДВС_1":

    -- Упакован; Множество значений: {Четкие логические значения }

    -- Укомплектован; Множество значений: {Четкие логические значения }

Объект  "Узел_1":

    -- У_Находится_в; Множество значений: { Место сборки,  Место проверки,  Склад готовой продукции }

    -- У_Укомплектованность; Множество значений: { Узел,  Продукт }

    -- Собранность; Множество значений: {Любые буквенно-числовые последовательности }

Объект  "Поршень_1":

    -- Состояние; Множество значений: { Деталь,  Узел }

    -- П_Находится_в; Множество значений: { Склад материалов,  Место сборки }

    -- Двигается; Множество значений: {Четкие логические значения }

Для решения задачи потребовалось установить следующие отношения между объектами:

R = { В(УСД_1, ДВС_1),

        В(Корпус_1, Узел_1),

        В(Поршень_1, Узел_1),

        Объеденены(Комплектующие_1, ДВС_1),

        Перемещено_на_проверку(УСД_1, Узел_1),

        Перемещено_на_сборку(УСД_1, Корпус_1),

        Перемещено_на_сборку(УСД_1, Поршень_1),

        Перемещено_на_укомплектовку(УСД_1, Узел_1),

        Проверен(УСД_1, Узел_1),

        Сканирован(Датчик_1, Поршень_1),

        Собрана(УСД_1, Коробка_1),

        Собрано(УСД_1, Узел_1),

        Создан(УСД_1, Готовый_продукт_1),

        Укомплектован(УСД_1, ДВС_1)  }

Объединяя информацию о свойствах объектов и отношениях между ними,

получаем набор фактов, которые должны входить в рабочую базу данных (РБД) интеллектуальной системы:

РБД = { Готовый_продукт_1.Готовность    [ Тип факта:  Строковый; Начальное значение = Не готов ],

                Датчик_1.Работа    [ Тип факта:  Строковый; Начальное значение = Не сигнализирует ],

                Комплектующие_1.Объеденены    [ Тип факта:  Логический; Начальное значение = false ],

                Коробка_1.Собрана    [ Тип факта:  Логический; Начальное значение = false ],

                Корпус_1.К_Находится_в    [ Тип факта:  Строковый; Начальное значение = Склад материалов ],

                Корпус_1.Собранность    [ Тип факта:  Строковый; Начальное значение = Деталь ],

                ДВС_1.Укомплектован    [ Тип факта:  Логический; Начальное значение = false ],

                ДВС_1.Упакован    [ Тип факта:  Логический; Начальное значение = false ],

                Узел_1.Собранность    [ Тип факта:  Строковый; Начальное значение = false ],

                Узел_1.У_Находится_в    [ Тип факта:  Строковый; Начальное значение = Место сборки ],

                Узел_1.У_Укомплектованность    [ Тип факта:  Строковый; Начальное значение = Не задано ],

                Поршень_1.Двигается    [ Тип факта:  Логический; Начальное значение = true ],

                Поршень_1.Состояние    [ Тип факта:  Строковый; Начальное значение = Деталь ],

                Поршень_1.П_Находится_в    [ Тип факта:  Строковый; Начальное значение = Склад материалов ],

                В(УСД_1, ДВС_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                В(Корпус_1, Узел_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                В(Поршень_1, Узел_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Объеденены(Комплектующие_1, ДВС_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Перемещено_на_проверку(УСД_1, Узел_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Перемещено_на_сборку(УСД_1, Корпус_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Перемещено_на_сборку(УСД_1, Поршень_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Перемещено_на_укомплектовку(УСД_1, Узел_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Проверен(УСД_1, Узел_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Сканирован(Датчик_1, Поршень_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Собрана(УСД_1, Коробка_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Собрано(УСД_1, Узел_1)    [ Тип факта:  Логический; Начальное значение = Boolean],

                Создан(УСД_1, Готовый_продукт_1)    [ Тип факта:  Логический; Начальное значение = ложь],

                Укомплектован(УСД_1, ДВС_1)    [ Тип факта:  Логический; Начальное значение = ложь]  }

Далее, посредством построения отображения F - множества состояний на множество действий,

описание которого здесь опускается, но которое, тем не менее, должно быть в Вашем отчете,

была создана База Правил.

База Правил содержит следующие правила:

A) Правила, эквивалентные действиям над объектами предметной области:

A.1)

  ИМЯ ПРАВИЛА: "УСД_1_Корпус_едет_на_сборку_Корпус_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Перемещено_на_сборку(УСД_1, Корпус_1) = ложь ) И

                              ( Корпус_1.К_Находится_в = Склад материалов )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Перемещено_на_сборку(УСД_1, Корпус_1) := истина

                              Корпус_1.К_Находится_в := Место сборки

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.2)

  ИМЯ ПРАВИЛА: "УСД_1_Проверить_Узел_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Проверен(УСД_1, Узел_1) = ложь ) И

                              ( Узел_1.У_Находится_в = Место проверки )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Проверен(УСД_1, Узел_1) := истина

                              Датчик_1.Работа := Сигнализирует

                              Сканирован(Датчик_1, Поршень_1) := истина

                              Поршень_1.Двигается := false

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.3)

  ИМЯ ПРАВИЛА: "УСД_1_Проверить1_Узел_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Проверен(УСД_1, Узел_1) = ложь ) И

                              ( Датчик_1.Работа = Не сигнализирует ) И

                              ( Сканирован(Датчик_1, Поршень_1) = ложь ) И

                              ( Узел_1.У_Находится_в = Место проверки ) И

                              ( В(Поршень_1, Узел_1) = истина ) И

                              ( Поршень_1.Двигается = false )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Проверен(УСД_1, Узел_1) := истина

                              Датчик_1.Работа := Не сигнализирует

                              Сканирован(Датчик_1, Поршень_1) := истина

                              Узел_1.У_Находится_в := Место проверки

                              Поршень_1.Двигается := true

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.4)

  ИМЯ ПРАВИЛА: "УСД_1_Собрать_Узел_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Корпус_1.К_Находится_в = Место сборки ) И

                              ( Узел_1.Собранность = false ) И

                              ( Поршень_1.П_Находится_в = Место сборки )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Собрано(УСД_1, Узел_1) := истина

                              В(Корпус_1, Узел_1) := истина

                              Корпус_1.Собранность := Узел

                              Узел_1.Собранность := true

                              Узел_1.У_Находится_в := Место сборки

                              В(Поршень_1, Узел_1) := истина

                              Поршень_1.Состояние := Узел

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.5)

  ИМЯ ПРАВИЛА: "УСД_1_Узел_едет_на_проверку_Узел_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Узел_1.Собранность = true ) И

                              ( Узел_1.У_Находится_в = Место сборки )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Перемещено_на_проверку(УСД_1, Узел_1) := истина

                              Узел_1.У_Находится_в := Место проверки

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.6)

  ИМЯ ПРАВИЛА: "УСД_1_Узел_едет_на_склад_готовой_продукции_Узел_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Проверен(УСД_1, Узел_1) = истина ) И

                              ( Узел_1.У_Находится_в = Место проверки )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Перемещено_на_укомплектовку(УСД_1, Узел_1) := истина

                              Узел_1.У_Находится_в := Склад готовой продукции

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.7)

  ИМЯ ПРАВИЛА: "УСД_1_Укомплектовать_ДВС_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Комплектующие_1.Объеденены = false ) И

                              ( Узел_1.У_Находится_в = Склад готовой продукции )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Укомплектован(УСД_1, ДВС_1) := истина

                              Комплектующие_1.Объеденены := true

                              Объеденены(Комплектующие_1, ДВС_1) := истина

                              ДВС_1.Укомплектован := true

                              Узел_1.У_Укомплектованность := Продукт

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.8)

  ИМЯ ПРАВИЛА: "УСД_1_Укомплектовка_ДВС_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Комплектующие_1.Объеденены = false ) И

                              ( Узел_1.У_Находится_в = Склад готовой продукции )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Укомплектован(УСД_1, ДВС_1) := истина

                              Комплектующие_1.Объеденены := true

                              Объеденены(Комплектующие_1, ДВС_1) := истина

                              ДВС_1.Укомплектован := true

                              Узел_1.У_Укомплектованность := Продукт

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.9)

  ИМЯ ПРАВИЛА: "УСД_1_Упаковать_Готовый_продукт_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Укомплектован(УСД_1, ДВС_1) = истина ) И

                              ( Готовый_продукт_1.Готовность = Не готов )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Собрана(УСД_1, Коробка_1) := истина

                              Создан(УСД_1, Готовый_продукт_1) := истина

                              Готовый_продукт_1.Готовность := Готов

                              Коробка_1.Собрана := true

                              ДВС_1.Упакован := true

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.10)

  ИМЯ ПРАВИЛА: "УСД_1_Упаковать_Коробка_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Собрана(УСД_1, Коробка_1) = ложь ) И

                              ( Создан(УСД_1, Готовый_продукт_1) = ложь ) И

                              ( Укомплектован(УСД_1, ДВС_1) = истина ) И

                              ( Коробка_1.Собрана = false )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

A.11)

  ИМЯ ПРАВИЛА: "УСД_1_Поршень_едет_на_сборку_Поршень_1_1"

  СОДЕРЖАНИЕ ПРАВИЛА :

                ЕСЛИ  ( Перемещено_на_сборку(УСД_1, Поршень_1) = ложь ) И

                              ( Поршень_1.П_Находится_в = Склад материалов )

                 ТО  ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:

                              Перемещено_на_сборку(УСД_1, Поршень_1) := истина

                              Поршень_1.П_Находится_в := Место сборки

                 ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:

                             Приоритет:  0

                             Локальные переменные:   Отсутствуют

                             Заключение: Описание семантики правила

B) Вспомогательные правила - обеспечивают связное изменение одних фактов в соответствии с

изменением других, но не являются действиями-решениями над объектами  предметной области.

Правила этого типа рекомендуется использовать для вычисления значений отношений через значения свойств.

Для разрешения конфликтов в процессе логического вывода была использована стратегия "P",

состоящая из следующего набора процедур:

P = { пустое множество }

Приведенный здесь автоматически сгенерированный текст должен существенно помочь

Вам при составлении отчета. Сохраните его в файле, проделайте косметические исправления,

исключите излишний объясняющий текст,и смело вставляйте его в отчет. Желаем успехов.

Адекватность базы знаний подразумевает логическое соответствие вырабатываемых рекомендаций анализируемой ситуации.

Исследование осуществляется путем задания различных начальных состояний и логического вывода решений.

Чтобы проверить полноту, необходимо разделить все множество допустимых начальных ситуаций на классы и провести логический вывод для представителей из каждого класса. Если логический вывод прерывается по причине невозможности применения правил к начальной или промежуточной ситуации, то база знаний не полна либо неверно настроена стратегия управления правилами.


7. Отчет с описанием прототипа экспертной системы и примерами состояний и решений.

Описание исходной ситуации

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := false

В(Поршень_1, Узел_1) := false

Готовый_продукт_1.Готовность := 'Не готов'

Датчик_1.Работа := 'Не сигнализирует'

Комплектующие_1.Объеденены := false

Коробка_1.Собрана := false

Корпус_1.К_Находится_в := 'Склад материалов'

Корпус_1.Собранность := 'Деталь'

Объеденены(Комплектующие_1, ДВС_1) := false

Перемещено_на_проверку(УСД_1, Узел_1) := false

Перемещено_на_сборку(УСД_1, Корпус_1) := false

Перемещено_на_сборку(УСД_1, Поршень_1) := false

Перемещено_на_укомплектовку(УСД_1, Узел_1) := false

Проверен(УСД_1, Узел_1) := false

Сканирован(Датчик_1, Поршень_1) := false

Собрана(УСД_1, Коробка_1) := false

Собрано(УСД_1, Узел_1) := Значение неизвестно

Создан(УСД_1, Готовый_продукт_1) := false

ДВС_1.Укомплектован := false

ДВС_1.Упакован := false

Узел_1.Собранность := false

Узел_1.У_Находится_в := 'Место сборки'

Узел_1.У_Укомплектованность := Значение неизвестно

Укомплектован(УСД_1, ДВС_1) := false

Поршень_1.Двигается := true

Поршень_1.Состояние := 'Деталь'

Поршень_1.П_Находится_в := 'Склад материалов'

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

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

*** Шаблон целевой ситуации  ***

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

В(УСД_1, ДВС_1)  --  false

В(Корпус_1, Узел_1)  --  false

В(Поршень_1, Узел_1)  --  false

Готовый_продукт_1.Готовность  --  'Не готов'

Датчик_1.Работа  --  'Не сигнализирует'

Комплектующие_1.Объеденены  --  false

Коробка_1.Собрана  --  false

Корпус_1.К_Находится_в  --  'Склад материалов'

Корпус_1.Собранность  --  'Деталь'

Объеденены(Комплектующие_1, ДВС_1)  --  false

Перемещено_на_проверку(УСД_1, Узел_1)  --  false

Перемещено_на_сборку(УСД_1, Корпус_1)  --  false

Перемещено_на_сборку(УСД_1, Поршень_1)  --  false

Перемещено_на_укомплектовку(УСД_1, Узел_1)  --  false

Проверен(УСД_1, Узел_1)  --  false

Сканирован(Датчик_1, Поршень_1)  --  false

Собрана(УСД_1, Коробка_1)  --  false

Собрано(УСД_1, Узел_1)  --  Значение неважно

Создан(УСД_1, Готовый_продукт_1) = true

ДВС_1.Укомплектован  --  false

ДВС_1.Упакован  --  false

Узел_1.Собранность  --  false

Узел_1.У_Находится_в  --  'Место сборки'

Узел_1.У_Укомплектованность  --  Значение неважно

Укомплектован(УСД_1, ДВС_1)  --  false

Поршень_1.Двигается  --  true

Поршень_1.Состояние  --  'Деталь'

Поршень_1.П_Находится_в  --  'Склад материалов'

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

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

НАЧИНАЕМ ПРОЦЕСС ЛОГИЧЕСКОГО ВЫВОДА

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

"УСД_1_Корпус_едет_на_сборку_Корпус_1_1"

"УСД_1_Поршень_едет_на_сборку_Поршень_1_1"

Для применения было выбрано правило: "УСД_1_Корпус_едет_на_сборку_Корпус_1_1"

ПРИМЕНЯЕМ Правило-Действие: "УСД_1_Корпус_едет_на_сборку_Корпус_1_1":

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := false

В(Поршень_1, Узел_1) := false

Готовый_продукт_1.Готовность := 'Не готов'

Датчик_1.Работа := 'Не сигнализирует'

Комплектующие_1.Объеденены := false

Коробка_1.Собрана := false

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Деталь'

Объеденены(Комплектующие_1, ДВС_1) := false

Перемещено_на_проверку(УСД_1, Узел_1) := false

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := false

Перемещено_на_укомплектовку(УСД_1, Узел_1) := false

Проверен(УСД_1, Узел_1) := false

Сканирован(Датчик_1, Поршень_1) := false

Собрана(УСД_1, Коробка_1) := false

Собрано(УСД_1, Узел_1) := Значение неизвестно

Создан(УСД_1, Готовый_продукт_1) := false

ДВС_1.Укомплектован := false

ДВС_1.Упакован := false

Узел_1.Собранность := false

Узел_1.У_Находится_в := 'Место сборки'

Узел_1.У_Укомплектованность := Значение неизвестно

Укомплектован(УСД_1, ДВС_1) := false

Поршень_1.Двигается := true

Поршень_1.Состояние := 'Деталь'

Поршень_1.П_Находится_в := 'Склад материалов'

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

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

ПРИМЕНЯЕМ Правило-Действие: "УСД_1_Поршень_едет_на_сборку_Поршень_1_1":

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := false

В(Поршень_1, Узел_1) := false

Готовый_продукт_1.Готовность := 'Не готов'

Датчик_1.Работа := 'Не сигнализирует'

Комплектующие_1.Объеденены := false

Коробка_1.Собрана := false

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Деталь'

Объеденены(Комплектующие_1, ДВС_1) := false

Перемещено_на_проверку(УСД_1, Узел_1) := false

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := true

Перемещено_на_укомплектовку(УСД_1, Узел_1) := false

Проверен(УСД_1, Узел_1) := false

Сканирован(Датчик_1, Поршень_1) := false

Собрана(УСД_1, Коробка_1) := false

Собрано(УСД_1, Узел_1) := Значение неизвестно

Создан(УСД_1, Готовый_продукт_1) := false

ДВС_1.Укомплектован := false

ДВС_1.Упакован := false

Узел_1.Собранность := false

Узел_1.У_Находится_в := 'Место сборки'

Узел_1.У_Укомплектованность := Значение неизвестно

Укомплектован(УСД_1, ДВС_1) := false

Поршень_1.Двигается := true

Поршень_1.Состояние := 'Деталь'

Поршень_1.П_Находится_в := 'Место сборки'

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

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

ПРИМЕНЯЕМ Правило-Действие: "УСД_1_Собрать_Узел_1_1":

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := true

В(Поршень_1, Узел_1) := true

Готовый_продукт_1.Готовность := 'Не готов'

Датчик_1.Работа := 'Не сигнализирует'

Комплектующие_1.Объеденены := false

Коробка_1.Собрана := false

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Узел'

Объеденены(Комплектующие_1, ДВС_1) := false

Перемещено_на_проверку(УСД_1, Узел_1) := false

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := true

Перемещено_на_укомплектовку(УСД_1, Узел_1) := false

Проверен(УСД_1, Узел_1) := false

Сканирован(Датчик_1, Поршень_1) := false

Собрана(УСД_1, Коробка_1) := false

Собрано(УСД_1, Узел_1) := true

Создан(УСД_1, Готовый_продукт_1) := false

ДВС_1.Укомплектован := false

ДВС_1.Упакован := false

Узел_1.Собранность := true

Узел_1.У_Находится_в := 'Место сборки'

Узел_1.У_Укомплектованность := Значение неизвестно

Укомплектован(УСД_1, ДВС_1) := false

Поршень_1.Двигается := true

Поршень_1.Состояние := 'Узел'

Поршень_1.П_Находится_в := 'Место сборки'

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

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

ПРИМЕНЯЕМ Правило-Действие: "УСД_1_Узел_едет_на_проверку_Узел_1_1":

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := true

В(Поршень_1, Узел_1) := true

Готовый_продукт_1.Готовность := 'Не готов'

Датчик_1.Работа := 'Не сигнализирует'

Комплектующие_1.Объеденены := false

Коробка_1.Собрана := false

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Узел'

Объеденены(Комплектующие_1, ДВС_1) := false

Перемещено_на_проверку(УСД_1, Узел_1) := true

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := true

Перемещено_на_укомплектовку(УСД_1, Узел_1) := false

Проверен(УСД_1, Узел_1) := false

Сканирован(Датчик_1, Поршень_1) := false

Собрана(УСД_1, Коробка_1) := false

Собрано(УСД_1, Узел_1) := true

Создан(УСД_1, Готовый_продукт_1) := false

ДВС_1.Укомплектован := false

ДВС_1.Упакован := false

Узел_1.Собранность := true

Узел_1.У_Находится_в := 'Место проверки'

Узел_1.У_Укомплектованность := Значение неизвестно

Укомплектован(УСД_1, ДВС_1) := false

Поршень_1.Двигается := true

Поршень_1.Состояние := 'Узел'

Поршень_1.П_Находится_в := 'Место сборки'

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

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

ПРИМЕНЯЕМ Правило-Действие: "УСД_1_Проверить_Узел_1_1":

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := true

В(Поршень_1, Узел_1) := true

Готовый_продукт_1.Готовность := 'Не готов'

Датчик_1.Работа := 'Сигнализирует'

Комплектующие_1.Объеденены := false

Коробка_1.Собрана := false

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Узел'

Объеденены(Комплектующие_1, ДВС_1) := false

Перемещено_на_проверку(УСД_1, Узел_1) := true

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := true

Перемещено_на_укомплектовку(УСД_1, Узел_1) := false

Проверен(УСД_1, Узел_1) := true

Сканирован(Датчик_1, Поршень_1) := true

Собрана(УСД_1, Коробка_1) := false

Собрано(УСД_1, Узел_1) := true

Создан(УСД_1, Готовый_продукт_1) := false

ДВС_1.Укомплектован := false

ДВС_1.Упакован := false

Узел_1.Собранность := true

Узел_1.У_Находится_в := 'Место проверки'

Узел_1.У_Укомплектованность := Значение неизвестно

Укомплектован(УСД_1, ДВС_1) := false

Поршень_1.Двигается := false

Поршень_1.Состояние := 'Узел'

Поршень_1.П_Находится_в := 'Место сборки'

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

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

ПРИМЕНЯЕМ Правило-Действие: "УСД_1_Узел_едет_на_склад_готовой_продукции_Узел_1_1":

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := true

В(Поршень_1, Узел_1) := true

Готовый_продукт_1.Готовность := 'Не готов'

Датчик_1.Работа := 'Сигнализирует'

Комплектующие_1.Объеденены := false

Коробка_1.Собрана := false

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Узел'

Объеденены(Комплектующие_1, ДВС_1) := false

Перемещено_на_проверку(УСД_1, Узел_1) := true

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := true

Перемещено_на_укомплектовку(УСД_1, Узел_1) := true

Проверен(УСД_1, Узел_1) := true

Сканирован(Датчик_1, Поршень_1) := true

Собрана(УСД_1, Коробка_1) := false

Собрано(УСД_1, Узел_1) := true

Создан(УСД_1, Готовый_продукт_1) := false

ДВС_1.Укомплектован := false

ДВС_1.Упакован := false

Узел_1.Собранность := true

Узел_1.У_Находится_в := 'Склад готовой продукции'

Узел_1.У_Укомплектованность := Значение неизвестно

Укомплектован(УСД_1, ДВС_1) := false

Поршень_1.Двигается := false

Поршень_1.Состояние := 'Узел'

Поршень_1.П_Находится_в := 'Место сборки'

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

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

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

"УСД_1_Укомплектовать_ДВС_1_1"

"УСД_1_Укомплектовка_ДВС_1_1"

Для применения было выбрано правило: "УСД_1_Укомплектовать_ДВС_1_1"

ПРИМЕНЯЕМ Правило-Действие: "УСД_1_Укомплектовать_ДВС_1_1":

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := true

В(Поршень_1, Узел_1) := true

Готовый_продукт_1.Готовность := 'Не готов'

Датчик_1.Работа := 'Сигнализирует'

Комплектующие_1.Объеденены := true

Коробка_1.Собрана := false

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Узел'

Объеденены(Комплектующие_1, ДВС_1) := true

Перемещено_на_проверку(УСД_1, Узел_1) := true

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := true

Перемещено_на_укомплектовку(УСД_1, Узел_1) := true

Проверен(УСД_1, Узел_1) := true

Сканирован(Датчик_1, Поршень_1) := true

Собрана(УСД_1, Коробка_1) := false

Собрано(УСД_1, Узел_1) := true

Создан(УСД_1, Готовый_продукт_1) := false

ДВС_1.Укомплектован := true

ДВС_1.Упакован := false

Узел_1.Собранность := true

Узел_1.У_Находится_в := 'Склад готовой продукции'

Узел_1.У_Укомплектованность := 'Продукт'

Укомплектован(УСД_1, ДВС_1) := true

Поршень_1.Двигается := false

Поршень_1.Состояние := 'Узел'

Поршень_1.П_Находится_в := 'Место сборки'

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

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

ПРИМЕНЯЕМ Правило-Действие: "УСД_1_Упаковать_Готовый_продукт_1_1":

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := true

В(Поршень_1, Узел_1) := true

Готовый_продукт_1.Готовность := 'Готов'

Датчик_1.Работа := 'Сигнализирует'

Комплектующие_1.Объеденены := true

Коробка_1.Собрана := true

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Узел'

Объеденены(Комплектующие_1, ДВС_1) := true

Перемещено_на_проверку(УСД_1, Узел_1) := true

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := true

Перемещено_на_укомплектовку(УСД_1, Узел_1) := true

Проверен(УСД_1, Узел_1) := true

Сканирован(Датчик_1, Поршень_1) := true

Собрана(УСД_1, Коробка_1) := true

Собрано(УСД_1, Узел_1) := true

Создан(УСД_1, Готовый_продукт_1) := true

ДВС_1.Укомплектован := true

ДВС_1.Упакован := true

Узел_1.Собранность := true

Узел_1.У_Находится_в := 'Склад готовой продукции'

Узел_1.У_Укомплектованность := 'Продукт'

Укомплектован(УСД_1, ДВС_1) := true

Поршень_1.Двигается := false

Поршень_1.Состояние := 'Узел'

Поршень_1.П_Находится_в := 'Место сборки'

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

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

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

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

В(УСД_1, ДВС_1) := false

В(Корпус_1, Узел_1) := true

В(Поршень_1, Узел_1) := true

Готовый_продукт_1.Готовность := 'Готов'

Датчик_1.Работа := 'Сигнализирует'

Комплектующие_1.Объеденены := true

Коробка_1.Собрана := true

Корпус_1.К_Находится_в := 'Место сборки'

Корпус_1.Собранность := 'Узел'

Объеденены(Комплектующие_1, ДВС_1) := true

Перемещено_на_проверку(УСД_1, Узел_1) := true

Перемещено_на_сборку(УСД_1, Корпус_1) := true

Перемещено_на_сборку(УСД_1, Поршень_1) := true

Перемещено_на_укомплектовку(УСД_1, Узел_1) := true

Проверен(УСД_1, Узел_1) := true

Сканирован(Датчик_1, Поршень_1) := true

Собрана(УСД_1, Коробка_1) := true

Собрано(УСД_1, Узел_1) := true

Создан(УСД_1, Готовый_продукт_1) := true

ДВС_1.Укомплектован := true

ДВС_1.Упакован := true

Узел_1.Собранность := true

Узел_1.У_Находится_в := 'Склад готовой продукции'

Узел_1.У_Укомплектованность := 'Продукт'

Укомплектован(УСД_1, ДВС_1) := true

Поршень_1.Двигается := false

Поршень_1.Состояние := 'Узел'

Поршень_1.П_Находится_в := 'Место сборки'

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

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

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

Содержание данного отчета свидетельствует об адекватно-вырабатываемых рекомендаций для ситуации.

8. Модель предметной области в исчислении высказываний.

Определим алфавит, т.е. набор символов, обозначающих высказывания следующим образом:

А – «УСД перемещает Поршень на сборку»,

В – «УСД перемещает корпус на сборку»,

C –  «УСД собирает узел»,

D – «УСД перемещает на проверку»,

Е – «УСД проверяет с положительным исходом»,

F – «УСД проверяет с негативным исходом».

I – «УСД перемещает узел на доработку»,

J – «УСД дорабатывает узел»,

K – «УСД перемещает узел на повторную проверку»,

L – «УСД перемещает узел на укомлектовку»,

M – «УСД укомплектовывает ДВС»,

N – «УСД упаковывает ДВС»,

O – «Датчик сигнализирует о неработоспособности»

Построим следующие гипотезы:

1) А /\ В → С

Если «УСД перемещает Поршень на сборку» и «УСД перемещает корпус на сборку» то «УСД собирает узел».

2) С → D

Если «УСД собирает узел», то «УСД перемещает на проверку»

3) D /\ OF 

Если «УСД перемещает на проверку» и «Датчик сигнализирует о неработоспособности» то «УСД проверяет с негативным исходом»

4) FI

Если «УСД проверяет с негативным исходом», то «УСД перемещает узел на доработку».

5) IJ

Если «УСД перемещает узел на доработку», то – «УСД дорабатывает узел».

6) JK

Если «УСД дорабатывает узел», то – «УСД перемещает узел на повторную проверку».

7) KE

Если «УСД перемещает узел на повторную проверку», то «УСД проверяет с положительным исходом»,

8) Е → L

Если «УСД проверяет с положительным исходом» то «УСД перемещает узел на укомлектовку»,

9) LM

Если «УСД перемещает узел на укомлектовку», то «УСД укомплектовывает ДВС»,

10) MN 

Если «УСД укомплектовывает ДВС» то «УСД упаковывает ДВС»

Таким образом, фрагмент предметной области на языке исчисления высказываний (ИВ) представляет собой следующий набор формул (БЗ):

1) E → (A^B^C^D)

2) L → (K^J)

3) P → (N^O)

4) R → P

5) N → M

6) H → E

7) G → E

8) E^M^P^R → S

9) L → G

10) M → L

Обозначим гипотезы: Н1: (E → (A^B^C^D)), Н2: (L → (K^J)), Н3: (P → (N^O)), Н4: (R → P), Н5: (N → M), Н6: (H → E), Н7: (G → E), Н8: (E^M^P^R → S), Н9: (L → G), Н10: (M → L).

Обозначим формулу В: (RS).

Тогда: (H1, H2, Н3, Н4, Н5, Н6, Н7, Н8, Н9, Н10) a В

Используем метод опровержения, основанный на принципе дедукции и реализуемый посредством резолюций.

Согласно принципу дедукции:  (H1^H2^Н3^Н4^Н5^Н6^Н7^^) a Л.

Представим все предложения в виде конъюнкции элементарных дизъюнкций (КНФ). Для простоты дизъюнкцию будем обозначать «+».

1*.

2*.

3*.

4*.

5*.

6*.

7*.

8*.

9*.

10*.

11*:

Пользуясь правилом раскрытия конъюнкции по дизъюнкции, имеем:

для 1*:

для 2*:

для 3*:

для 8*:

для 11* проведём цепочку преобразований:

Конъюнкция 11* распадается на два одиночных дизъюнкта: R и  .

Теперь имеем систему элементарных дизъюнктов, на основе которой проводим вывод методом резолюции.

Дизъюнкты:

1)

2)

3)

4)

5)

6)

7)

8)

9)

10)

11)

12)

13)

14)

15)

16)

17)

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

18) Р (9,16)

19)  (13, 17)

20)  (16, 19)

21) (18, 20)

22)  (12, 14)

23)  (10, 15)

24)  (15, 22)

25)  (22, 23)

26)  (21, 25)

27)  (7, 26)

28)  (18, 27)

29)  (10, 28)

30)  (7, 29)

31) Л (18, 30)

9. Модель предметной области в исчислении предикатов 1-го порядка.

Исчисление высказываний является весьма грубой моделью представления знаний. Основной её недостаток в том, что высказывание здесь рассматривается как единое целое, без анализа его внутренней структуры. Это ограничивает возможности ИВ при моделировании сложных силлогических построений.

ПЕРЕМЕЩЕНО НА СБОРКУ (А,Ц) – УСД переместила Поршень на сборку

ПЕРЕМЕЩЕНО НА СБОРКУ (А, К) – УСД переместила корпус на сборку

СОБРАНО (А, У) – УСД собрал узел.

ПЕРЕМЕЩЕНО НА ПРОВЕРКУ (А, У) – УСД переместила на проверку узел

НЕУДАЧНО ПРОВЕРЕНО (А, У) – УСД неудачно проверил узел

ПЕРЕМЕЩЕНО НА ДОРАБОТКУ (А, У) – УСД переместил на доработку узел.

ДОРАБОТАНО (А, У) – УСД доработал узел

ПЕРЕМЕЩЕНО НА ПОВТОРНУЮ ПРОВЕРКУ (А, У) – УСД переместил узел на повторную проверку

УСПЕШНО ПРОВЕРЕНО (А, У) – УСД успешно проверила узел

ПЕРЕМЕСТИЛ НА УКОМПЛЕКТОВКУ – УСД успешно переместил на укомплектовку.

УКОМПЛЕКТОВАНО (А, СМ) – УСД укомплектовывает ДВС

УПАКОВАНО (А, СМ) – АССУМ упаковывает ДВС.

Используя, язык ИП, запишем нашу модель предметной области в виде следующих аксиом.

11. Модель предметной области в виде сети фреймов.

Построим один из вариантов однородной СС, вершины, которой являются действиями (процессами), а дуги этой сети моделируются путем введения во фреймы действий слота «следовать за» со значением «имя фрейма действия», которое должно выполняться следующим. При этом за основу возьмем описания действий в ПОМ. В этом случае мы получаем фреймы – вершины сети с соответствующим описанием: ПЕРЕМЕСТИТЬ НА СБОРКУ ПОРШЕНЬ (F1), ПРЕМЕСТИТЬ НА СБОРКУ КОРПУС (F2), СОБРАТЬ (F3), ПЕРЕМЕСТИТЬ НА ПРОВЕРКУ (F4), ПРОВЕРИТЬ1 (F5), ПЕРЕМЕСТИТЬ НА ДОРАБОТКУ (F6), ДОРАБОТАТЬ (F7), ПРЕМЕСТИТЬ НА ПОВТОРНУЮ ПРОВЕРКУ (F8), ПРОВЕРИТЬ (F9), ПРЕМЕСТИТЬ НА УКОМПЛЕКТОВКУ (F10), УКОМПЛЕКТОВАТЬ (F11), УПАКОВАТЬ (F12), УСД (F13), ГОТОВЫЙ ПРОДУКТ (F14), ДАТЧИК (F15), КОМПЛЕКТУЮЩИЕ (F16), КОРОБКА (F17) , КОРПУС (F18), ДВС (F19) , УЗЕЛ (F20) , ПОРШЕНЬ (F21).


Построим граф перехода между фреймами.


Построим граф структуры и содержания фреймов.

F1: ПЕРЕМЕСТИТЬ НА СБОРКУ ПОРШЕНЬ

Субъект F13

Объект F17

Условия активации: 

НЕ ПЕРЕМЕЩЕНО НА СБОРКУ (А,Ц)

Результат:

ПЕРЕМЕЩЕНО НА СБОРКУ (А,Ц)

Следовать F3

F2: ПЕРЕМЕСТИТЬ НА СБОРКУ КОРПУС

Субъект  F13

Объект F18

Условия активации:

НЕ ПЕРЕМЕЩЕНО НА СБОРКУ (А, К)

Результат:

ПЕРЕМЕЩЕНО НА СБОРКУ (А, К)

Следовать F3

F3: СОБРАТЬ

Субъект  F13

Объект F20

Условия активации: 

ПЕРЕМЕЩЕНО НА СБОРКУ (А, К)

        ПЕРЕМЕЩЕНО НА СБОРКУ (А,Ц)

Результат:

СОБРАНО (А, У)

Следовать F4

    

F6: ПЕРЕМЕСТИТЬ НА ДОРАБОТКУ

Субъект  F13

Объект F20

Условия активации: 

НЕУДАЧНО ПРОВЕРЕНО (А, У)

Результат:

ПЕРЕМЕЩЕНО НА ДОРАБОТКУ (А, У)

Следовать F7

F4: ПЕРЕМЕСТИТЬ НА ПРОВЕРКУ

Субъект F13

Объект F20

Условия активации: 

СОБРАНО (А, У)

Результат:

ПЕРЕМЕЩЕНО НА ПРОВЕРКУ (А, У)

Следовать F5

F5: ПРОВЕРИТЬ

Субъект F13

Объект F20

Условия активации: 

ПЕРЕМЕЩЕНО НА ПРОВЕРКУ (А, У)

Результат:

НЕУДАЧНО ПРОВЕРЕНО (А, У)

Следовать F6

F7: ДОРАБОТАТЬ

Субъект F13

Объект F20

Условия активации: 

ПЕРЕМЕЩЕНО НА ДОРАБОТКУ (А, У)

Результат:

ДОРАБОТАНО (А, У)

Следовать F8

F8:  ПРЕМЕСТИТЬ НА ПОВТОРНУЮ ПРОВЕРКУ

Субъект F13

Объект F20

Условия активации: 

ДОРАБОТАНО (А, У)

Результат:

ПЕРЕМЕЩЕНО НА ПОВТОРНУЮ ПРОВЕРКУ (А, У)

Следовать F9

F9:  ПРОВЕРИТЬ

Субъект F13

Объект F20

Условия активации: 

ПЕРЕМЕЩЕНО НА ПОВТОРНУЮ ПРОВЕРКУ (А, У) Результат:

УСПЕШНО ПРОВЕРЕНО (А, У)

Следовать F10

F10:  ПРЕМЕСТИТЬ НА УКОМПЛЕКТОВКУ

Субъект F13

Объект F19

Условия активации: 

УСПЕШНО ПРОВЕРЕНО (А, У)

Результат:

ПЕРЕМЕЩЕНО НА УКОМПЛЕКТОВКУ(А,СМ)

Следовать F10

F11:  УКОМПЛЕКТОВАТЬ

Субъект F13

Объект F19

Условия активации: 

ПЕРЕМЕЩЕНО НА УКОМПЛЕКТОВКУ(А,СМ)

Результат:

УКОМПЛЕКТОВАНО (А, СМ)

Следовать F11

F12:   УПАКОВАТЬ

Субъект F13

Объект F19

Условия активации: 

УКОМПЛЕКТОВАНО (А, СМ)

Результат:

УПАКОВАНО (А, СМ)

Следовать F11


F13:   УСД (F13)

Состояние:

ПЕРЕМЕЩЕСТИЛ НА СБОРКУ (А,Ц) – УСД

ПЕРЕМЕЩЕСТИЛ НА СБОРКУ

СОБРАНО (А, У)

ПЕРЕМЕЩЕСТИЛ НА ПРОВЕРКУ (А, У)

НЕУДАЧНО ПРОВЕРИЛ (А, У) ПЕРЕМЕЩЕСТИЛ НА ДОРАБОТКУ (А, У)

ДОРАБОТАЛ (А, У)

ПЕРЕМЕЩЕСТИЛ НА ПОВТОРНУЮ ПРОВЕРКУ (А, У) – УСД

УСПЕШНО ПРОВЕРИЛ (А, У) – УСД

ПЕРЕМЕЩЕСТИЛ НА УКОМПЛЕКТОВКУ(А,СМ) .

УКОМПЛЕКТОВАНО (А, СМ) – УСД

УПАКОВАНО (А, СМ) – АССУМ

F14:   ГОТОВЫЙ ПРОДУКТ

Состояние:

УКОМПЛЕКТОВАНО (СМ, А)

УПАКОВАНО (СМ, А)

F15:    ДАТЧИК

Состояние:

ПРОВЕРИЛ(Д,А)

F16:     КОМПЛЕКТУЮЩИЕ

Состояние:

УКОПМЛЕКТОВАНЫ(К,А)

F17:     КОРОБКА

Состояние:

УПАКОВАН(К,А)

F18:      КОРПУС

Состояние:

ОБЪЕДЕНЕНН(КО,А)

ПЕРЕМЕЩЕН НА СБОРКУ(КО,А)

F19:       ДВС

Состояние:

УПАКОВАН(СМ,А)

УКОМПЛЕКТОВАН(СМ,А)


F20:       УЗЕЛ

Состояние:

СОБРАНО (А, У)

ПЕРЕМЕЩЕНО НА ПРОВЕРКУ (А, У)

НЕУДАЧНО ПРОВЕРЕНО (А, У)

ПЕРЕМЕЩЕНО НА ДОРАБОТКУ (А, У)

ДОРАБОТАНО (А, У)

ПЕРЕМЕЩЕНО НА ПОВТОРНУЮ ПРОВЕРКУ (А, У)

УСПЕШНО ПРОВЕРЕНО (А, У)

F16:       ПОРШЕНЬ

Состояние:

ОБЪЕДЕНЕНН(Ц,А)

ПЕРЕМЕЩЕН НА СБОРКУ(Ц,А)


 

А также другие работы, которые могут Вас заинтересовать

1830. СОВЕРШЕНСТВОВАНИЕ СОДЕРЖАНИЯ ПРОФЕССИОНАЛЬНО ОРИЕНТИРОВАННОЙ ИНОЯЗЫЧНОЙ ПОДГОТОВКИ СТУДЕНТОВ АГРОИНЖЕНЕРНЫХ ВУЗОВ 1.32 MB
  Место профессионально ориентированной иноязычной подготовки в структуре общей профессиональной подготовки выпускников агроинженерных вузов. Проектирование содержания и технологии профессионально ориентированной иноязычной подготовки студентов агроинженерного вуза на основе теории структуры содержания образования. Методика и результаты исследования эффективности профессионально ориентированной иноязычной подготовки студентов агроинженерного вуза.
1831. ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ЭКОЛОГИЧЕСКОМ ОБРАЗОВАНИИ СТУДЕНТОВ ЭКОНОМИЧЕСКИХ СПЕЦИАЛЬНОСТЕЙ ВУЗОВ 1.32 MB
  Парадигмы современного экологического образования. Принцип системной дифференциации в преподавании экологии. Подходы к экологическому образованию в странах Запада. Психолого-педагогические основы применения современных информационных технологий в экологическом образовании студентов экономических специальностей. Оценка уровня экологической подготовки студентов в вузе.
1832. ОПЕРАТИВНОЕ РЕШЕНИЕ ТВОРЧЕСКИХ МЫСЛИТЕЛЬНЫХ ЗАДАЧ В СТРУКТУРЕ ПОЗНАВАТЕЛЬНЫХ СПОСОБНОСТЕЙ ШКОЛЬНИКОВ 1.31 MB
  Развитие представлений о теориях мыслительных и творческих способностей в отечественной и зарубежной психолого-педагогической науке. Организация и методы экспериментального исследования способностей к оперативному решению творческих мыслительных задач в структуре познавательной деятельности школьников. Зависимость успешности учебной деятельности школьников от возраста, гендерных особенностей и проживания в различных населенных пунктах.
1833. МЕТАФОРА В МЕТАЯЗЫКЕ ЛИНГВИСТИКИ 1.31 MB
  Цель настоящего исследования заключается в выявлении и анализе основных метафорических моделей, определяющих направление и результат познания языка-объекта и репрезентируемых в многочисленных конвенциональных и авторских метаязыковых метафорических выражениях.
1834. Отстранение в аспекте сопоставительной стилистики и его передача в переводе (на материале английского и русского языков) 1.56 MB
  Концепция остранения у отечественных и зарубежных исследователей (психология, филология, переводоведение). Психологический подход к остранению. Выделение подразумеваемого и наличествующего понятий. Плеонастические определения. Остранение и авторская позиция. Характерные контексты.
1835. КОНСТИТУЦИОННО-ПРАВОВОЕ РЕГУЛИРОВАНИЕ ПОЛИТИЧЕСКОГО УЧАСТИЯ ГРАЖДАН В ОСУЩЕСТВЛЕНИИ ГОСУДАРСТВЕННОЙ ВЛАСТИ 1.31 MB
  Взгляды на формы политического участия граждан в осуществлении государственной власти. Становление современного конституционного законодательства о формах политического участия граждан в осуществлении государственной власти. Тенденции развития и совершенствования российского конституционного законодательства о формах политического участия граждан в осуществлении государственной власти.
1836. ПЕДАГОГИЧЕСКИЕ УСЛОВИЯ ОБЕСПЕЧЕНИЯ КАЧЕСТВА ОБУЧЕНИЯ СТУДЕНТОВ ЭКСТЕРНАТА В ВУЗЕ 1.3 MB
  Теоретическое обоснование педагогических условий обеспечения качества обучения студентов экстерната. Апробация условий обеспечения качества подготовки экстернов в системе высшего образования. Экспериментальная проверка педагогических условий обеспечения качества подготовки специалистов в форме экстерната в вузе.
1837. ФЛОРА ПРИКАЛАУССКОГО ФЛОРИСТИЧЕСКОГО РАЙОНА (ЦЕНТРАЛЬНОЕ ПРЕДКАВКАЗЬЕ) И ЕЕ АНАЛИЗ 1.3 MB
  Физико-географическая характеристика Прикалаусского флористического района. Вопросы фитосозологии и перспективы использования. Конспект флоры Прикалаусского флористического района. Список редких, охраняемых и нуждающихся в охране видов Прикалаусского флористического района. Иллюстрации эндемичных и реликтовых видов флоры Прикалаусского флористического района, занесенные в Красную книгу Ставропольского края