<<
>>

6.1.2. Расчетно-логические системы с базами знаний

Одной из первых расчетно-логических систем с базами знаний, доведенных до коммерческого уровня, явилась инструментальная система программирования ПРИЗ (ПРограмма, Использующая Знания) [9,10]. В ней был осуществлен переход от предварительного формирования обычных вычислительных моделей к понятийному моделированию теорий предметных областей.
Вычислительные модели представляли знания о задаче. Они удовлетворяли требованиям программ и эффективности реализации. Для их представления в памяти системы использовались семантические сети, содержащие отношения, по которым можно производить вычисления, причем не только для явно заданных функций, но и по программам, полученным методом структурного синтеза.
При построении вычислительных моделей всем операторам вычислительной модели сопоставляются отношения вычислимости, и формируется система аксиом, на основе которой методом структурного синтеза строятся программы решения задач, разрешимых на вычислительной модели.
Таким образом, в системе ПРИЗ вычислительные модели не задавались заранее, а логически формировались в режиме управляемого диалога с пользователем, с помощью, представленных в памяти компьютера, метамоделей предметных областей. Такой подход позволил упростить и ускорить процесс моделирования и решения вычислительных задач.
Для описания моделей представления знаний о предметной области использовались специальные языки. Сформированные вычислительные модели затем использовались для программного контроля и выявления возможной неполноты и противоречий в задании пользователя. После
обеспечения и доказательства правильности вычислений (вычислимости) производилось формирование программ решения задач.
Функциональная структура системы ПРИЗ
В табл.6.2 приведены функции системы, названной концептуальным программированием, и ее входная и выходная информация.
Таблица 6.2 Функции Входная информация Выходная информация 1. Формирование математи-ческой постановки вычислительной задачи
Формирование схемы вычислений
Формирование программы решения задачи 1. Содержательная постановка задачи
Метамодель постановки задачи
Формализованные теории предметной области 1. Модель математической постановки задачи
Схема вычислений
Программа решения задачи
Выходной информацией системы ПРИЗ стали не только программы,
но и математические постановки вычислительных задач, а также схемы вычислений. Однако попытки целостного описания более сложных формализованных дисциплин, таких, как теория упругости, теория автоматического управления, исследование операций, наталкивались на труднопреодолимые преграды. Это связано с тем, что каждая из перечисленных дисциплин не имеет единого теоретического описания, а является набором несистематизированных теоретических подобластей. Для построения их концептуальных моделей требуется предварительно выделить базовые понятия, отношения между ними и указать свойства этих отношений. После этого могут логически выводиться производные свойства. Примером системы, в которой требовалось формировать модели не только в понятиях исходной области знаний, но и в понятиях выбираемой математической теории является система МАВР [12], предназначенная для автоматизации проектирования технических энергетических систем.
В этой системе вначале разрабатывался вариант исходной технической модели, элементы которой отображали конкретные элементы проектируемой энергетической системы. Затем формировалась ее математическая модель. С ее помощью решались вычислительные задачи, а полученные результаты присваивались элементам исходной модели. Эти переходы обеспечивались программой, называемой процессором переформулирования задач, и программой-планировщиком.
Данная методология, однако, не могла быть использована для проектирования объектов, отдельные части которых или аспекты описывались в разных областях знаний. В этом случае для моделирования и последующего интегрирования проектных решений требовался уровень метазнаний, обеспечивающий контролируемое совместное использование понятий разных предметных областей знаний.
<< | >>
Источник: Лелюк В. А. . Совершенствование бизнес-систем. Методы, инструментарий, опыт: учебн. пособие. Пер.с укр./ В. А. Лелюк, А. В. Лелюк, Н. П. Пан; Харьк. нац. акад. гор. хоз-ва. - Х: ХНАГХ,2011. - 438 с.. 2011
Помощь с написанием учебных работ

Еще по теме 6.1.2. Расчетно-логические системы с базами знаний:

  1. Информационные системы с базами знаний
  2. Раздел 6Информационные системы с базами знаний
  3. 4.4.1. Механизм логического вывода в продукционных системах
  4. 4.4.3. Понятие о механизме логического вывода во фреймовых системах
  5. 4.4.2. Понятие о механизме логического вывода в сетевых системах
  6. 4.4.4. Механизм логического вывода в диагностических системах байесовского типа
  7. 1.1. Теория как система научных знаний
  8. Платежно-расчетная система.
  9. Неиспользуемая в системе часть знаний исключается из понятия информации.
  10. 7.3. ПРИОБРЕТЕНИЕ И ФОРМАЛИЗАЦИЯ ЗНАНИЙ 7.3.1. ЭЛЕМЕНТЫ ТЕХНОЛОГИИ ПРИОБРЕТЕНИЯ ЗНАНИЙ
  11. 36. Расчетно-кассовые центры, их место в банковской системе