计算机和人工智能的日常应用
日常应用
人们开始感受到计算机和人工智能技术的影响.计算机技术不再只属于实验室中的一小群研究人员. 个人电脑和众多技术杂志使计算机技术展现在人们面前.有了像美国人工智能协会这样的基金会.因为AI开发 的需要,还出现了一阵研究人员进入私人公司的热潮。150多所像 DEC(它雇了700多员工从事AI研究)这样的公司共花了10亿美元在内部的AI开发组上.
其它 AI领域也在80年代进入市场.其中一项就是机器视觉. MINSKY和MARR的成果如今用到了生产线上的相机和计算机中,外呼智能价格,进行质量控制.尽管还很简陋,这些系统已能够通过黑白区别分辨出物件形状的不同.到1985年美国有一百多个公司生产 机器视觉系统,销售额共达8千万美元.
逻辑推理与定理证明
逻辑推理是人工智能研究中较持久的领域之一,其中特别重要的是要找到一些方法,只把注意力集中在一个大型的数据库中的有关事实上,留意可信的证明,丽水外呼智能,并在出现新信息时适时修正这些证明。对数学中臆测的题。定理寻找一个证明或反证,外呼智能机器人,不仅需要有根据假设进行演绎的能力,而且许多非形式的工作,外呼智能系统软件,包括医疗诊断和信息检索都可以和定理证明问题一样加以形式化,因此,在人工智能方法的研究中定理证明是一个较其重要的论题。