Hits:
Indexed by:期刊论文
Date of Publication:1993-01-01
Journal:大连理工大学学报
Included Journals:PKU、CSCD
Volume:33
Issue:6
Page Number:732
ISSN No.:1000-8608
Key Words:结构模型;人-机对话/自蕴涵方程;推理矩阵;直觉与逻辑
Abstract:提出了一种在结构建模过程中求解自蕴涵方程的推理解法，使基于试 探法的盲目的人机对话过程变为有目的、有根据的基于逻辑推理的人机对 话过程．提出并证明了变型定理和推理定理，据此构造出推理矩阵和推理 网．还提取出推理网的四条性质，由此构造交互策略，可以大为减少对话次 数。
