| 结构模型中自蕴涵方程的交互式推理解法 |
| |
| 引用本文： | 党延忠,王众托.结构模型中自蕴涵方程的交互式推理解法[J].大连理工大学学报,1993,33(6):732-738. |
| |
| 作者姓名： | 党延忠 王众托 |
| |
| 作者单位： | 大连理工大学系统工程研究所
(党延忠)，大连理工大学系统工程研究所(王众托) |
| |
| 摘 要： | 提出了一种在结构建模过程中求解自蕴涵方程的推理解法，使基于试探法的盲目的人机对话过程变为有目的，有根据的基于逻辑推理的人机对话过程。提出并证明了变型定理和推理定理，据此构造出推理矩阵和推理网。还提取出推理网的四条性质，由此构造交互策略，可以大为减少对话次数。
|
| 关 键 词： | 结构模型 自蕴涵方程 推理矩阵 |
Interactive reasoning method for solving self-implication equation in structural modeling |
| |
| Dang Yanzhong,Wang Zhongtuo.Interactive reasoning method for solving self-implication equation in structural modeling[J].Journal of Dalian University of Technology,1993,33(6):732-738. |
| |
| Authors: | Dang Yanzhong Wang Zhongtuo |
| |
| Abstract: | 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. |
| |
| Keywords: | structural model man-machine dialogue/self-implication equation reasoning matrix intuition and logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
