обеспечить основной выбор из этих различных возможностей, необходим второй
руководящий принцип. Он выводится из требования простоты концептуальной
схемы для понимания и применения различными пользователями.
Необходим механизм добавления конструкций произвольной сложности к
формальной системе, позволяющей пользователям взаимодействовать с ней на
любом требуемом уровне общности понятий. Для соблюдения этого принципа
без нарушения первого формальная система должна включать механизм,
обеспечивающий возможность определения новых конструкций через уже
существующие.
E.1 Фундаментальные понятия
При моделировании проблемной области существующие в ней предметы -
только сущности. Относящиеся к сущности ситуации, которые могут иметь или не
иметь место в проблемной области - только высказывания.
Системы и правила дедукции выбираются таким образом, чтобы каждая
аксиома интерпретировалась как истинное утверждение о проблемной области, а
каждое предложение, непосредственно выводимое из набора предложений,
интерпретируемых как истинное утверждение о проблемной области, само
интерпретировалось как истинное утверждение о проблемной области.
Правило дедукции - единственное, что требуется в подходах на основе
интерпретируемой логики предикатов, сохраняет истинность. Однако аксиомы,
выбираемые разработчиком концептуальной схемы, в значительной степени
зависят от проблемной области; гарантия корректности возлагается на
разработчика.
Используемый формальный язык описывается лишь в той степени, которая
необходима для определения основных категорий грамматических конструкций и
обеспечения интерпретируемости универсальной машиной Тьюринга.
Конкретный синтаксис не представлен (за исключением случаев, когда
необходимодетализироватьпример),чтобылюбойформальныйязык,
наследующий рассматриваемый абстрактный синтаксис, мог использоваться для
выполнения описываемой программы.
Е.2 Грамматика и семантика
Для придания значения (семантики) различным выражениям в языке
необходимо начать с (желательно малого) набора неопределенных понятий,
известных как примитивы. Тогда другие понятия формально определяются через
неформально понимаемые примитивы и получают значения. Суть каждого
примитивного понятия формально вводится путем установления аксиом,
предполагаемых истинными. То же самое имеет место в элементарной
геометрии, где понятия точки, линии и плоскости берутся как основные
(неопределенные), а более сложные конструкции, такие как треугольники и
окружности, определяются в терминах этих примитивов и аксиом (постулаты
Эвклида), формально устанавливающих свойства точек, линий и плоскостей.
Е.2.1 Абстрактный синтаксис
Определенные общие концепции - это основные понятия (примитивы),