软件架构师必读：数理逻辑之从规则推理到知识图谱

欢迎来到博士聊IT，上期我们聊到，人类借助计算机打开了人工智能的大门，今天我们聊一聊数理逻辑对人工智能的推动。 1956年，麦肯锡主持召开第一届世界人工智能大会，当时西蒙和纽厄尔做了一个程序《逻辑理论家》，是第一个人工智能推理程序， 利用搜索树的方式进行推理，可以像人一样去证明数学定理。 逻辑学家王浩是杨振宁的同学，他也致力于基于逻辑演算的自动证明工作。在1958年时，他的程序耗时不到9分钟。费根鲍姆是西蒙的学生，他把英国科学家培根的大旗举起来：“知识就是力量”。 伯纳斯·李是英国计算机教授，他发明了HTTP协议，他的目标是机器能够自动理解网页内容并进行推理。 2012年，谷歌公式扛起了知识图谱的大旗，提出了那句著名的口号：“Things， not strings”。未来，数理逻辑、知识表达和规则推理一定会让人工智能更上一层楼，迎来新的爆发点！ #程序员# #程序# #人工智能#