简述人工智能的应用领域

一、人工智能的应用领域

    1.博弈

     状态空间搜索的大多数早期研究都是针对常见的棋盘游戏来实现的,例如夕阳淘气，国际象棋等。

     博弈过程中可能产生惊人庞大的搜索空间，需要强大的技术来哦按段备择状态，搜索问题空间。这些技术被称为启发式搜索，是AI研究的一个重要领域。

     因为我们大多数人都有玩这些简单游戏的经历，所以我们可以很容易的设计出我们自己的启发性并测试其有效性。若是求解某些深奥领域（如医学或者数学领域）的问题就必须寻找并咨询该领域的专家。尽管博弈程序具有简洁性，但其中也有很多难题，比如不能确定性的预测出对手的走法，对手的出现使程序设计更为复杂，因为这加入了一种不可预测的因素，要求我们必须考虑博弈策略中的心理和战术因素。

    2.自动推理和定理证明

     自动定理证明是AI最古老的分支，其根源可从Newell和Simon的”逻辑理论家“以及”通用问题求解程序“追溯到罗素和怀海德关于”可以吧数学看成是从基本公式推导出定理的过程“的努力。

    其吸引力主要在于逻辑的严谨性和普遍性。因为他是一个正式系统，所以是逻辑使其自动化。它的基础是把问题描述和背景信息表示为逻辑公理，把问题的实例表示为要证明的定理。另外，这样的系统不一定要在离开任何人类的帮助的情况下独立求解非常复杂的问题，很多现代的定理证明程序往往是充当智能助手的，人类只需要让定理证明程序完成比较简单但仍需要一些技巧的任务，如证明引理，验证较小的推测并完成它的人类同事列出的证明要点等。