- определения алфавита, в котором можно однозначно и автоматически
распознать, входит ли данный символ в алфавит. Эти условия естественным
образом удовлетворяются при использовании обычных устройств символьного
ввода информации в ЭВМ;
- обеспеченияконечногонабораэффективных правил (алгоритмов),
определяющего, какие строки символов являются правилами построения и, в
частности, какие правильно построенные строки следует рассматривать как
предложения;
- обеспечения конечного набора эффективных правил, определяющих,
является ли данное предложение аксиомой;
- обеспечения конечного набора эффективных правил, определяющих, может
ли данное предложение быть непосредственно выводимым из данного
множества предложений;
- обеспечения конечного набора правил интерпретации, приписывающих
каждому предложению значение таким образом, что предложение однозначно
интерпретируется как истинное или ложное утверждение о проблемной области.
В данном контексте аксиома определяется следующим образом.
аксиома: Любое предложение с точным содержанием, утверждаемое в
качестве такового авторитетным источником.
Аксиомы и правила вывода выбираются так, чтобы:
- каждая аксиома интерпретировалась как истинное утверждение о
проблемной области;
множества
проблемной
проблемной
-каждоепредложение,непосредственновыводимоеиз
предложений, интерпретированных как истинные утверждения о
области, само интерпретировалось как истинное утверждение о
области.
Проектировщик информационной системы должен иметь возможность
выразить концептуальную схему в терминах, соответствующих рассматриваемой
проблемной области и восприятию ее пользователем. В частности, не должно
налагаться никаких ограничений на сущности, наличие которых допускается в
проблемной области, или на свойства, которыми они могут обладать.
Проектировщик информационной системы ограничен только требованием
придерживаться основных принципов логики, встроенных в информационный
процессор.
Концептуальная схема должна быть простой в использовании и понимании
для разнообразных пользователей. В связи с этим необходим механизм
добавлениялингвистическихконструкцийпроизвольнойсложности
("макроконструкций") в формальную систему. Кроме того, в самой формальной
системе должен существовать механизм определения новых конструкций в уже
существующих терминах.
4.3 Абстрактный синтаксис для концептуальной схемы и информационной