Переменные - это аналоги местоимений естественного языка, они относятся к
неопределенным сущностям проблемной области, точно так же как местоимения
в естественном языке относятся к неопределенным предметам в предложениях с
анафорой.
Сконструированные (составные) предложения и термы могут быть открытыми
или замкнутыми в зависимости от того, имеют они свободные переменные или
нет. Только замкнутые предложения могут быть однозначно интерпретированы, и
по этой причине они будут единственным видом предложений, встречающихся в
концептуальной схеме и информационной базе.
Данный раздел не дает подробного описания открытых и замкнутых
предложений и способа связывания переменных. Достаточно отметить, что
путем добавления нужных кванторов из любого предложения можно связать его
свободные переменные.
Собственные имена всегда можно исключить и заменить предикатами,
использующими абстрактор, называемый "дескриптором" и определяющий
собственное имя в контексте.
Е.2.2 Конкретный синтаксис
Впротивоположностьдругимпримерам,приведеннымвстандарте,
конкретный синтаксис любой версии подхода интерпретируемой логики
предикатов не может быть полностью описан в системе обозначений,
представленной в приложении В, т.к. язык в существенной мере не контекстно
свободен. Здесь приводится краткое описание конкретного синтаксиса. Часть
этого описания зависит от контекста ввиду контекстной чувствительности языка,
но следует понимать, что полный синтаксис может быть описан совершенно
формально и исчерпывающе на любом языке, приемлемом для описания
концептуальных схем и основанном на подходе интерпретируемой логики
предикатов. Рассматриваемый ниже язык именуется " ". Выбор синтаксических
деталей здесь производится для ограничения набора символов, чтобы уделить
основное внимание разъяснению сути вопроса.
Примечание - Это означает единичный начальный символ.
Переменная+предложениеТерм
Итак:
прописная буква
=A | B | C |...| Z
строчная буква
=a | b | c |…| z
цифра
=0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9.
прим
= ' ' .