【摘 要】
：
<正> 1.引言 推理是智能系统中应用知识求解问题的一种主要方法,现有的智能系统所使用的推理方式不外乎是机械式的自动推理和启发式推理。自动推理具有完备性,控制简单,但是
【机 构】
：
中国科学院计算技术研究所北京100080
论文部分内容阅读
<正> 1.引言 推理是智能系统中应用知识求解问题的一种主要方法,现有的智能系统所使用的推理方式不外乎是机械式的自动推理和启发式推理。自动推理具有完备性,控制简单,但是一种盲目的搜索方法,需要穷尽搜索树中的每个节点,这一方面导致推理效率较低,有时甚至会因为扩展了太多的节点而引起组合爆炸,不能得出问题的解;启发式搜索推理则可避免自动推理的上述缺陷,在搜索一个解时可以充分利用与问题域有关的启发式信息,减
其他文献
在大型建筑工程中,为增加基础承载能力,需要选择适当的桩结构。其中,钻孔灌注桩是较为常用的桩结构之一。从施工准备阶段、成孔阶段、钢筋笼制作与吊装、灌注混凝土等方面,讨
5月18日．中国饲料工业协会第四次会长办公会暨协会工作座谈会，在成都隆重召开。中国饲料工业协会会长白美清．国饲料工业协会常务副会长谭竹洲．农业部畜牧业司副司长王宗礼．中国饲
超并行处理机系统有两个需要解决的瓶颈问题:1.多级互连网络的传输延迟;2.吞吐量.本文提出解决这两个瓶颈问题的新方案——由多级互连网络和存贮器组成的主存贮器充分利用流
本文形式定义了一种谓词／变迁网ＥＰｒ／ＴＮ网系统，作为网络协议的形式描述技术（ＦＤＴ），并用ＥＰｒ／ＴＮ形式描述了ＡＢ协议。
本文导出了参与逻辑代数，给出了运算符△＋·－ｒ及参与逻辑函数的定义，文中详尽地讨论了一般ｈ的确定，成功地设计出了无险象组合电路，实验结果与理论分析符合得特别好。
本文以平行结构类问题的形式化描述为基础,详细讨论了分布式求解平行结构类问题系统中相邻结点间重迭区域的作用,定义了最小重迭区域的概念,并提出一种新的设立重迭区域方法
在饲料企业生产经营过程中，从生产、加工、贮存到销售的每一个环节．都面临着原料和产品价格的变化．这无疑给企业带来了一定的经营风险．参与期货市场套期保值则能有效规避该类风险
近几年来，中国饲料行业连年经受疫病、食品安全事件的困扰。饲料原料价格的暴涨暴跌、全球金融危机等因素也对饲料行业和饲料添加剂的发展造成冲击和影响．未来行业格局变化以及
农业部新闻办公室10日发布消息说，2月10日，经国家禽流感参考实验室确诊．新疆和田地区墨玉县扎瓦乡粮站发生H5N1亚型高致病性禽流感疫情。此次疫情共死亡家禽519只。
分布式问题分解与分布算法是分布式人工智能(DAI)中的基本问题之一。本文引用模式表示法对带有宏求解描述的问题形式化,然后通过证明若干支持问题分解的结论和引入υ分解运算