Основы современных компьютерных технологий


Вычислительные модели и задачи, синтез программ - часть 2


329


Рис. 25.1. Структура системы синтеза программ

Знания в БЗ могут быть представлены с использованием различных моделей. В наиболее развитых ИППП в качестве модели предметной области используются так называемые вычислительные модели. На основе вычислительных моделей формулируются вычислительные задачи.

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

Объекты и отношения между ними описываются на некотором языке. Объектам в этом языке соответствуют переменные, а отношениям - функции. Значениями переменных являются данные.

Вычислительная задача имеет следующую форму:

ЗНАЯ М ВЫЧИСЛИТЬ Y1,Y2...YN ПO X1,X2...XM.

Здесь М, Y1 ,Y2... YN, X1 ,Х2.. .ХМ - переменные, которые имеют смысл, определяемый их вхождением в задачу. Идентификаторы ЗНАЯ, ВЫЧИСЛИТЬ и ПО имеют фиксированный смысл и служат для разделения переменных. Переменные Х1,Х2...ХМ являются входными для задачи, значения их задаются в постановке задачи. Переменные Y1,Y2...YN - выходные, значения их требуется вычислить. М - переменная, значение которой выражает условия задачи. Данные, являющиеся значением М, выражают знания в виде вычислительных моделей, включающих в свой состав переменные и отношения между ними.

Вычислительную модель (ВМ) можно представлять графически, с помощью языка спецификации и с помощью формул некоторого логического языка.

330

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




Начало  Назад  Вперед