实验三 化为子句集的九步法实验 一、实验目的 理解和掌握消解原理，熟悉谓词公式化为子句集的九个步骤，理解消解推理规则，能把任意谓词公式转换成子句集。 二、实验原理 消解是可用于一定的子句公式的重要推理规则，任一谓词演算公式可以化成一个子句集。通过九步法消...
发布日期:2018-10-15 22:27:211、人工智能有哪些研究领域？你能列举出一些与汽车相关的研究领域吗？ 人工智能的研究更多的是结合具体领域进行的，主要研究领域有专家系统，机器学习，模式识别，自然语言理解，数据库的智能检索，自动定理证明，自动程序设计，机器人学，博弈，智能决定支持系统和人...
发布日期:2018-10-13 20:10:48人工智能-人脸识别 xx科技 人脸识别行业竞品分析 2017年7月 1 人工智能-人脸识别 xx科技 目录 1. 北京海鑫科金高科技股份有限公司(1998) ........................................................................... 1 1.1. 1.2. 主要系统 ...........................
发布日期:2018-10-11 09:04:37杭州先略投资咨询有限公司 http://www.chinamrn.com 2017-2021年人工智能市场投资价值评估分析 杭州先略投资咨询有限公司 杭州先略投资咨询有限公司 http://www.chinamrn.com 目 录 2017-2021年人工智能市场投资价值评估分析 ...........................................
发布日期:2018-10-10 21:30:34【摘要】人工智能得到了愈来愈广泛的关注,许多科学家断言,机器的智能会迅速超过阿尔伯特爱因斯坦和霍金的智能之和。人工智能相关技术更大的需求促使新的进步不断出现,人工智能已经并且将继续不可避免地改变我们的生...
发布日期:2012-08-27 23:57:07【摘 要】计算机辅助教学的实际需要应用人工智能技术及复杂的程序,如自然语言理解、知识表示、推理方法等,一些人工智能技术的特殊应用成果,同时以及理论证明等均被应用于计算机辅助教学系统,以提高其智能性和实用性...
发布日期:2012-08-21 20:35:57摘要：人工智能是20世纪计算机科学发展的重大成就，在许多领域有着广泛的应用。论述了人工智能的定义，分析了目前在管理、教育、工程、技术、等领域的应用，总结了人工智能研究现状，分析了其发展方向。 关键词：人...
发布日期:2012-08-21 20:24:28【摘 要】随着世界经济的迅猛发展，信息技术的日益更新，现代会计越来越受到冲击与挑战。许多传统的会计模型、方法的运用复杂得令人望而却步，而强大的现代信息科技的硬件支持使从前的会计模型和方法的运用成为轻而...
发布日期:2012-08-20 22:14:07