ГОСТ Р 59791—2021
определяемых пользователем типов данных, предусмотренных в других стандартах (например, XML
Schema или Relax NG). Если именем типа данных является IRI, то этот IRI должен разыменовать до
кумент, который предоставляет это определение.
Появление любого интерпретированного имени в тексте CL накладывает ограничение на интер
претацию этого текста, поскольку значение int(l) для такого имени всегда является истинным значе
нием, присвоенным типом данных, связанным с этим именем. Диалект CL, который включает интер
претированные имена в соответствии с приведенными выше спецификациями, не рассматривают как
семантическое расширение.
6.4 Удовлетворенность, действительность и логическое следствие
Поскольку семантика CL не предполагает строгого различия между именами вне дискурса и в
дискурсе, тексты в этих двух наборах могут иметь различия. Суппозиция дискурса может быть полной или
частичной. Полная пресуппозиция дискурса D — это разделение лексикона
X
имен (V) и маркеров
последовательности (Smark) на наборы имен и маркеров последовательности
XD,
которые находятся в
дискурсе, а также на дополнительный набор имен и маркеров последовательности
XN
вне дискурса. В то
время как полная пресуппозиция дискурса позволяет назначить дискурс каждому символу в лекси коне,
частичная пресуппозиция обеспечивает назначение дискурса для соответствующего подмноже ства
лексикона;
X
U
D
U
X
N — подмножество
X.
Интерпретация I соответствует пресуппозиции дискурса D, только если:
а) для любого имени N е XD существует int, (N) е UDj;
б) для любого маркера последовательности S e l D существует seq, (S) е UDj*;
в) для любого имени N
g
1
n
существует int, (N) g UDj;
г) для любого маркера последовательности S e l N существует seq, (S) £ UD|*.
Корпус С CL выполняется интерпретацией I при наличии пресуппозиции дискурса D, только если:
- 1(G) = true и ArgC(G) е LID, U UD|* для каждого G при закрытии импорта С в Ш,;
- I соответствует D.
Корпус С выполняется при наличии пресуппозиции дискурса D, если существует базовая интер
претация, которая удовлетворяет ему и соответствует D. В противном случае корпус невыполним или
противоречив. Если каждая базовая интерпретация, удовлетворяющая S при наличии пресуппозиции
дискурса D, также удовлетворяет С при наличии той же пресуппозиции дискурса, то в этом случае
S логически подразумевает С.
Корпус С выполним, если существует интерпретация, которая ему удовлетворяет; в противном
случае корпус невыполним или противоречив. Если каждая интерпретация, удовлетворяющая S, также
удовлетворяет С, то S логически подразумевает С.
Интерпретации CL воспринимают нерегулярные высказывания как непрозрачные переменные вы
сказывания и требуют, чтобы такие высказывания сопоставлялись с предложениями (нульарными ато
марными высказываниями) в абстрактном синтаксисе. В диалекте, который распознает нерегулярные
высказывания, приведенные выше определения используют для обозначения интерпретаций, форми
руемых семантикой диалекта. Тем не менее, когда их классифицируют с помощью префикса прилага
тельного или наречия «common-logic», например «common-logic entails», следует рассматривать их как
часть интерпретаций, которые точно соответствуют семантическим условиям CL. Например, диалект
может поддерживать модальные предложения, а его семантика поддерживает следствие (необходи
мое Р) подразумевает Р, но это следствие не характерно CL, даже если бы язык был совместим с рас
ширением CL. Однако следствие (Необходимое Р) подразумевает (Необходимое Р) характерно для CL.
В некоторых более поздних обсуждениях рассматривают ограниченные классы интерпретаций.
Все приведенные выше определения могут применять только к интерпретациям определенного огра
ниченного класса. Таким образом, S
foo
подразумевает Т, когда в любой интерпретации / в классе
foo I
удовлетворяет S, а
I
удовлетворяет Т. Следование (или неудовлетворенность) по отношению к классу
интерпретации подразумевает следование (или неудовлетворенность) по отношению к любому под
множеству этого класса.
При описании вывода Т из S такое S упоминают как множество предпосылок, а Т — как вывод
следствия.
19