Та семантика, которая реализуется в УСК на метауровне, т. е. без интерпретации символов, входящих в цепочку, является недоговоренной. Она жестко задается семантикой простых ядерных конструкций и синтаксисом производной цепочки. Такое свойство УСК также отличает этот язык от языка исчисления предикатов, в котором смысл предикатных формул зависит от той или иной договоренности. Язык ситуационного управления при заданном списке базовых отношений и их интерпретации приближается в этом смысле к возможностям УСК. [c.71]
Та семантика, которая реализуется в УСК на метауровне, т. е. без интерпретации символов, входящих в цепочку, является недоговоренной. Она жестко задается семантикой простых ядерных конструкций и синтаксисом производной цепочки. Такое свойство УСК также отличает этот язык от языка исчисления предикатов, в котором смысл предикатных формул зависит от той или иной договоренности. Язык ситуационного управления при заданном списке базовых отношений и их интерпретации приближается в этом смысле к возможностям УСК. [c.71]