- 结构模型中自蕴涵方程的交互式推理解法
- 点击次数：
- 论文类型： 期刊论文
- 发表时间： 1993-01-01
- 发表刊物： 大连理工大学学报
- 收录刊物： PKU、CSCD
- 卷号： 33
- 期号： 6
- 页面范围： 732
- ISSN号： 1000-8608
- 关键字： 结构模型;人-机对话/自蕴涵方程;推理矩阵;直觉与逻辑
- 摘要： 提出了一种在结构建模过程中求解自蕴涵方程的推理解法，使基于试 探法的盲目的人机对话过程变为有目的、有根据的基于逻辑推理的人机对 话过程．提出并证明了变型定理和推理定理，据此构造出推理矩阵和推理 网．还提取出推理网的四条性质，由此构造交互策略，可以大为减少对话次 数。
