Раздел 1.2: Неформализованные задачи научно-технической деятельности и классификация моделей представления знаний.

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

Эвристическое правило или эвристика – либо некоторое утверждение либо предположение, являющееся результатом обобщенных знаний здравого смысла или теоретических или экспериментальных знаний, либо некоторая экспериментальная гипотеза или интуитивное суждение ЛПР, обеспечивающая поиск рационального смыслового рационального решения НФЗ при резком сокращении множества генерируемых альтернативных вариантов решений задачи.

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

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

Типы НФЗ в научно-технической деятельности ЛПР.

• Интерпретация – задача описания ситуации по информации, выдаваемой датчиками.

• Прогнозирование – определение вероятных последствий заданных ситуаций как каких либо действий.

• Диагностирование – определение возможных причин неправильного функционирования и отказов технической системы по результатам наблюдений.

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

• Проектирование – разработка структуры или конфигурации технической системы при заданных ограничениях на характеристики и условия функционирования системы.

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

• Наблюдение – определение характеристик функционирования системы на основе сбора, обработки и преобразовании данных, а также сравнение действительных и ожидаемых характеристик.

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

• Обучение – приобретение, усвоение и запоминание определенного опыта, экспертизы конкретного объекта, общедоступных теоретических и экспериментальных знаний путем тестирования, диагностики, отладке и исправлений ошибок обучаемого.

Декларативные знания предоставляются на естественном языке (ЕЯ) и отображают устройство внешнего мира или некоторой ПО, но не содержат в явном виде описания конкретных процедур, обеспечивающих поиск целесообразных решений в новой ситуации.

Примерами в ХТ являются:

• объекты химических технологий (элемент, вещество)

• операции химической технологии (массопередача, теплообмен и др.)

• ситуации в химической технологии (выгрузка, очистка, пуск, остановка ХТС).

Процедурные знания – сведения о совокупности конкретных процедур, этапов или шагов поиска целесообразных решений в новой ситуации, представленных либо на ЕЯ, либо на формализованном языке (ФЯ). Примерами в ХТ является: закон действия масс, закон сохранения массы, энергии, импульса.

Логические МПЗ – модели, разработка которых основывается на использовании исчисления высказываний, исчисления предикатов первого порядка, индуктивных моделей правдоподобного вывода и псевдофизических логик.

• Логико-лингвистические МПЗ – применение нечеткой логики и нечетких множеств

• Семиотические модели – адптативные, приспосабливающиеся логико-лингвистические модели

• Структурно-лингвистический МПЗ:

• сетевые структурно-лингвистические МПЗ (сети Петри, сети сценарии)

• фреймы.