это термы (имена типов), ссылающиеся на классы в проблемной области,
которые можно заменить определенными экземплярами имен в экземплярах
предложения о сущностях, принадлежащих к выбранным классам.
Можно использовать строки, представляющие свободные переменные в
качестве возможных имен для типов в концептуальной схеме. Нужно
идентифицироватьпредложения,которыесообщаютнечтоодругих
предложениях. Некоторые из них дадут в результате дополнительные типы
лингвистических объектов и типы бинарных отношений, а другие будут иметь
своим результатом ограничения. Некоторые, возможно, приведут и к тому, и к
другому. Первые обычно встречаются там, где дается дополнительная
информация об определенном типе предложения, которая может быть
добавлена командой add, а другие ограничивают совокупность существующих
экземпляров предложений.
После этого можно использовать реализации предложений, выражающие
дополнительные высказывания о пространстве сущностей, для контроля
экземпляров, выведенных из концептуальной схемы. Если встречаются
противоречия, то концептуальную схему нужно модифицировать, чтобы
исключить эти противоречия, предполагая, как всегда, что все высказывания
выполняются для данной проблемной области.
Возможно,нужнорасширитьмножествореализацийпредложенийо
проблемной области. Это расширение должно генерироваться пользователем
совместно с разработчиком информационной системы. Такой этап необходим в
тех случаях, когда концептуальная схема и информационная база оказываются
недостаточно полным представлением проблемной области.
Необходимоповторятьописанныеэтапы,поканебудетдостигнут
приемлемый уровень качества.
ПРИЛОЖЕНИЕ Е
(справочное)
П
ОДХОДЫ НА ОСНОВЕ ИНТЕРПРЕТИРУЕМОЙ ЛОГИКИ ПРЕДИКАТОВ
Использованиеинтерпретируемойлогикипредикатовдляописания
концептуальных схем основывается на представлении о концептуальной схеме и
информационной базе как совокупности абстрактных элементов, называемых
предложениями. На практике предложения представляются строками символов.
Символы кодируются соответствующими наборами состояний физических
элементов носителей памяти информационной системы.
Руководящий принцип реализации рассматриваемых подходов, связанных с
применением интерпретируемой дедуктивной формальной логической системы,
состоит в том, чтобы к информационному процессору, внешнему по отношению к
концептуальной схеме и информационной базе, предъявлялись минимальные
требования. На практике многие конструкции могут быть встроены в реальный
информационный процессор в целях обеспечения эффективности и сокращения
затрат.
Сформулированный
принцип
можно
осуществлять
по-разному.
Для
того
чтобы