УСК реализует принцип независимости от предметной области. При различных интерпретациях символов, входящих в цепочки, можно получать описания, пригодные для любых мыслимых предметных областей. Это обстоятельство носит принципиальный характер. В языке ситуационного управления принцип полной экспликации смысла реализован не полностью, отношения из базового множества как бы свалены в одну кучу . Они конкретизованы до различного уровня общности, что требует введения модификаторов на отношения. В языках типа языка исчисления предикатов не реализован принцип экспликации смысла. Записи в этих языках не дают возможности сопоставить им смысл ни на каком уровне общности. [c.70]
УСК реализует принцип независимости от предметной области. При различных интерпретациях символов, входящих в цепочки, можно получать описания, пригодные для любых мыслимых предметных областей. Это обстоятельство носит принципиальный характер. В языке ситуационного управления принцип полной экспликации смысла реализован не полностью, отношения из базового множества как бы свалены в одну кучу . Они конкретизованы до различного уровня общности, что требует введения модификаторов на отношения. В языках типа языка исчисления предикатов не реализован принцип экспликации смысла. Записи в этих языках не дают возможности сопоставить им смысл ни на каком уровне общности. [c.70]