论文部分内容阅读
提出了一种在结构建模过程中求解自蕴涵方程的推理解法，使基于试探法的盲目的人机对话过程变为有目的，有根据的基于逻辑推理的人机对话过程。提出并证明了变型定理和推理定理，据此构造出推理矩阵和推理网。还提取出推理网的四条性质，由此构造交互策略，可以大为减少对话次数。
结构模型中自蕴涵方程的交互式推理解法
【摘 要】
：
提出了一种在结构建模过程中求解自蕴涵方程的推理解法，使基于试探法的盲目的人机对话过程变为有目的，有根据的基于逻辑推理的人机对话过程。提出并证明了变型定理和推理定理，据
【机 构】
：
大连理工大学系统工程研究所,大连理工大学系统工程研究所
【出 处】
：
大连理工大学学报
【发表日期】
：
1993年6期
其他文献
<正> 长期以来,我国经济界都一致认为:利率是调节经济的杠杆。社会对资金的需求量在相当的程度上取决于利率的高低。但近几年的实践证明,银行贷款利率虽然一再提高,然而社会
<正> 当前,我省城乡工商业的发展,出现了许多新特点。从建设具有中国特色的社会主义出发,结合这些新特点来观察,我们将会发现它发展的趋势和重要意义。城乡个体工商业在发展
以大米淀粉为原料,尿素为催化剂,分别用挤压膨化法和湿法与磷酸盐反应制得大米磷酸酯淀粉,并对其进行冻融稳定性、透明度、酯化度等比较;结果表明,挤压膨化大米磷酸酯淀粉凝
提出了计算Ⅰ型和Ⅲ型滑动离散余弦变换和滑动离散正弦变换的快速算法。该算法具有递归运算结构，计算复杂性为Ｏ（Ｎ），运算量小于其他算法；文中讨论了该算法的数值稳定性问题，并将该算法
<正> 货款拖欠,是我国近年来经济生活中滋长蔓延起来的一种弊害。我省今年四月底拖欠额达到17亿多元,它的存在及其恶性循环,已经严重影响到工业、农业生产和商品流通的正常运
<正> 随着我国长期以来粮食紧缺局面的全面缓解,农村改革开始向纵深发展,出现了变革农村产业结构的新形势。这一变革,也给农村金融工作带来新的课题:如何使农村信贷资金的运
从十一届三中全会到现在，我国改革开放已进行了十八年。十八年来，我国的经济与社会发展取得了巨大进步，国民经济发展一直处于上升势头，这是令人鼓舞的。但也必须清醒地认识到，十八
探讨将应用于抽水蓄能电站发电机组中的新型可逆式动态推力轴承结构，即采用改变摆动瓦两侧波纹管压力差和支承摆动瓦的球面油垫的压力分布以实现压力中心可调的侧推轴承结构。