您可以在百度里搜索“企鹅科普（第一辑） 艾草文学(www.321553.xyz)”查找最新章节！

　　基于逻辑的人工智能

　　基于知识的人工智能研究人员的雄心越来越大，他们开始寻找更丰富、更精确的方法来获取知识。显然，数理逻辑可以满足他们的需要。

　　数理逻辑的发展是为了推理和论证。在人工智能领域，逻辑有助于将数学的精确性用于知识的表达和应用，人们希望智能决策可精简为纯粹的逻辑推理。基于逻辑的人工智能的精髓在于PROLOG（逻辑编程语言）。程序员使用这种编程语言，能用简单的逻辑形式表示其目标或知识，同时计算机也会使用逻辑推理解决问题。

　　但随后基于逻辑的人工智能的研究难题不断涌现。其中一个尽人皆知的难题就是“常识推理”（commonsense reasoning）：

　　有人告诉你崔蒂是一只鸟，于是你认为崔蒂能飞。后来，又有人告诉你崔蒂是一只企鹅，所以你改变了之前的判断。

　　数理逻辑就很难处理这类琐碎的判断，因为其难以处理这种人因为某种因素改变自己的判断的情况。此外，实践证明，逻辑推理经证明很难自动化进行。更重要的是，逻辑推理应用的场景有限，例如开车就不需要逻辑推理。

　　总之，逻辑和推理是解决某些问题的有力工具，但不适用于通用人工智能。 企鹅科普（第一辑）