结构模型中自蕴涵方程的交互式推理解法

Interactive reasoning method for solving self-implication equation in structural modeling

提出了一种在结构建模过程中求解自蕴涵方程的推理解法，使基于试 探法的盲目的人机对话过程变为有目的、有根据的基于逻辑推理的人机对 话过程．提出并证明了变型定理和推理定理，据此构造出推理矩阵和推理 网．还提取出推理网的四条性质，由此构造交互策略，可以大为减少对话次 数。

This paper suggests a reasoning method for solving self-implication equation in instructural modeling. This method changes the blind man-machine interactive process based on heuristics to goal-directed interaction on the logic reasoning base, transformation theorem and reasoning theorem are put forward and proved, reasoning matrix and network are constructed. Interaction strategy is established.