In this paper, the method of making compositional MR (CMR) based on the speculative law of proposition logic is presented.This method constructs new MRs by composing existing MRs in a pairwise way.

  • 基于命题逻辑的推理规则,提出了复合蜕变关系的构造方法,该方法对已构造的关系依次进行两两复合最终得到新的蜕变关系。
目录 查词历史