-
题名模型等价性的一个充分必要条件
- 1
-
-
作者
姚从军
-
机构
湖南科技学院思政部
南开大学哲学系
-
出处
《学术论坛》
CSSCI
北大核心
2009年第10期27-30,共4页
-
文摘
什么叫模型的等价性?从计算机科学来看,刻画相同行为过程的两个标号转换系统称为等价模型,这种等价性称为行为等价性;从模态逻辑来看,具有相同模态理论的两个克里普克模型是等价的模型,这种等价性又称为模态等价性;从集合论的角度来看,刻画同一个集合的两个可及点图是等价的模型,笔者将这种等价性定义为装饰等价性。进一步,什么样的模型才具有等价性?即两个模型等价的充分必要条件是什么呢?三大领域中模型等价有一个共同的充分必要条件,即互模拟性,这就从另一个角度说明互模拟诞生的一个共同的直接动因:探索模型等价性充分必要条件。
-
关键词
模型等价
行为等价
模态等价
装饰等价
-
分类号
N02
[自然科学总论—科学技术哲学]
-
