27. Схема эквивалентной интерпретации описания по на естественном и формальном языках. (Тема 9, стр. 64-65).

9.2. Описание по

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

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

Одна из основных задач проектирования АИС заключается в построении таких представлений, которые позволили бы опи­сывать широкий класс ПО и могли бы эффективно использовать­ся для решения прикладных задач.

Поскольку БД создается для пользователей ФИПС, все пользователи должны понимать язык описания ПО. Общедос­тупным является описание на естественном языке (ЕЯ), При этом достаточно использовать предложения ЕЯ, позволяющие однозначно именовать объекты и формулировать утверждения о том, что они обладают некоторыми свойствами, либо о том, что конкретные объекты находятся в определенных взаимоотношениях. Поскольку БД представляет собой описание состояния ПО на формальном языке, всегда предполагается, что соотнесение представления объектов в БД их реальным прообразам достига­ется только через описание состояния ПО на ЕЯ. Введение фор­мального языка приводит к необходимости однозначного перево­да описания на одном языке в описание на другом языке и в не­обходимости их эквивалентной интерпретации (рис. 9.1). Данное требование достигается введением абстрактных состояний ПО, оп­ределяемых формально и служащих однозначной интерпретацией описания состояния как на ЕЯ, так и на формальном языке.

Рис. 9.1. Схема эквивалентной интерпретации описания ПО

на естественном и формальном языках

Описание на естественном и формальном языках эквивалент­ны, если одно из них является результатом перевода другого и если их интерпретацией служит одно и то же абстрактное состояние.

Произвольный формальный язык, используемый для опи­сания ПО, базируется на конкретном наборе первичных понятий, в терминах которых формулируется описание. Универсальность формального языка обеспечивается высокой общностью, абст­рактностью системы базисных понятий и правил порождения но­вых понятий, допускающих интерпретацию в любой ПО. В силу своей абстрактности такие средства описания стали называться концептуальными. В теории БД проблема описания ПО трактуется как концептуальное моделирование ПО. Централь­ным является понятие концептуальной схемы (модели) ПО.

Развитие исследований в области БД привело к появлению ряда языков описания состояния ПО, каждый из которых обла­дает тем или иным понятийным базисом. Как правило, использу­емая в них система понятий отражает специфику принятого в языке подхода к моделированию внешнего мира.