论文部分内容阅读
什么叫模型的等价性？从计算机科学来看，刻画相同行为过程的两个标号转换系统称为等价模型，这种等价性称为行为等价性；从模态逻辑来看，具有相同模态理论的两个克里普克模型是等价的模型，这种等价性又称为模态等价性；从集合论的角度来看，刻画同一个集合的两个可及点图是等价的模型，笔者将这种等价性定义为装饰等价性。进一步，什么样的模型才具有等价性？即两个模型等价的充分必要条件是什么呢？三大领域中模型等价有一个共同的充分必要条件，即互模拟性，这就从另一个角度说明互模拟诞生的一个共同的直接动因：探索模型等价性充分必要条件。