人工智能逻辑讲义-中山大学哲学精品教程

人们几乎天天使用常识推理，但用形式化的方式来表示却非常困难。如果将这种推理变成计算机程序，那么便可以实现培养计算机的智能，这就是人工智能的研究领域。而人工智能逻辑则是该领域中用来研究主体如何处理知识的理论。《人工智能逻辑讲义/中山大学哲学精品教程》以人工智能的角度来建立逻辑理论系统，共分为8个章节。优秀章主要为导论，介绍了人工智能逻辑的研究领域及历史背景；第二章则讲述了命题逻辑，解释了命题的概念、联结词及相关的逻辑运算；第三章介绍了一阶逻辑，在此基础上又分别讲述了若干种的推理方法；第四、五、六章是模态逻辑、非单调逻辑、默认逻辑的介绍，这几章内容较为抽象；第七章介绍了知识表示及机器学习，而第八章讲了推理机理。《人工智能逻辑讲义/中山大学哲学精品教程》理论性强、概念表达清晰、定义定理公理表达准确。如果你是一名哲学或人工智能领域的本科生或研究生，或者是机器学习爱好者，那么这本书就是一本必读之作。