目录
相关
  1. 本系统应用了逐级上溯和标准化子树的概念,综合应用演绎法和合成法进行建树推理。
  2. 基本战略的理念是与符合演绎法的,因此已经超越了权变性争论。