模型等价性的一个充分必要条件

摘要：

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

关键词：模型等价、行为等价、模态等价、装饰等价

所属期刊栏目：32

分类号：D815(国际关系)

在线出版日期：2009-12-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：27-30