Release Time:2019-03-11  Hits:

Indexed by: Journal Article

Date of Publication: 1993-01-01

Journal: 大连理工大学学报

Included Journals: CSCD、PKU

Volume: 33

Issue: 6

Page Number: 732

ISSN: 1000-8608

Key Words: 结构模型;人-机对话/自蕴涵方程;推理矩阵;直觉与逻辑

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