摘要
提出了一种在结构建模过程中求解自蕴涵方程的推理解法,使基于试 探法的盲目的人机对话过程变为有目的、有根据的基于逻辑推理的人机对 话过程.提出并证明了变型定理和推理定理,据此构造出推理矩阵和推理 网.还提取出推理网的四条性质,由此构造交互策略,可以大为减少对话次 数。
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.
出处
《大连理工大学学报》
EI
CAS
CSCD
北大核心
1993年第6期732-738,共7页
Journal of Dalian University of Technology
基金
国家自然科学基金资助项目
关键词
结构模型
自蕴涵方程
推理矩阵
structural model
man-machine dialogue/self-implication equation
reasoning matrix
intuition and logic