logo

2.2.7. Вычислительные модели

В совокупности множество БПР представляет собой описание предметной области, которое с большей или меньшей степенью детализации охватывает весь круг задач. Множество БПР, которое предназначено для решения определенной задачи с применением ЭВМ, будем называть вычислительной моделью. Поиск решений на основе вычислительной модели строится на следующих предпосылках:

  1. Имеется словарь понятий, отражающий свойства объектов предметной области.

  2. Имеется набор БПР, фиксирующие взаимосвязи между отдельными свойствами объектов предметной области. Для каждого блока известно его имя, список входных параметров и выходных результатов, условия применения. Последние три компонента определяются в терминах словаря предметной области.

  3. Постановка задачи для поиска решения формулируется в терминах «ЧТО ДАНО» и «ЧТО ТРЕБУЕТСЯ получить» и осуществляется в виде набора входных и выходных атрибутов словаря понятий. Эти наборы атрибутов представляются в виде таблиц исходных данных и результатов расчетов.

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

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

При разработке КБЗ использование данных инструментальных средств дает следующие преимущества:

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

  2. В 5 - 10 раз сокращается время создания прикладной системы потому, что отпадают проблемы составления алгоритмов и написания программ, упрощается отладка и подготовка документации.

  3. Значительно облегчается сопровождение созданных систем. Для внесения изменений в систему достаточно изменить БПР, составляющие вычислительную модель, а не исправлять и вновь отлаживать программы.