基本开发环境
Python+TensorFlow2.0+Anaconda
人工智能的诞生
图灵机模型
阿兰.图灵在《On Computable Numbers, with an Application to the Entscheidungsproblem》(判定性)提出了图灵机(Turning Machine)概念模型。
图灵机可以描述任何人类能够完成的逻辑推理和计算过程。只要一个问题是可判定的,它的计算过程可以被符号和算法表达出来,就可以使用图灵机来完成计算。
图灵等价,图灵完备 是否能够解决所有在算法上可计算的问题,c、c++、java等编程语言都是图灵完备的语言。HTML/CSS就不是图灵完备语言。
信息科学的发展
图灵机模型 -》“系统论”-》第一台电子数字计算机ENIAC-》控制论-》信息论(Shannon)
图灵测试
1950年,“Computing Machinery and Intelligence”提出了图灵测试:将人类和机器分开在两间房间中并进行对话,如果人类无法分辨与他对话的是机器还是人类,即可认为该机器具有智能。(人类是一个宽泛的概念)
图形验证码
Captcha:Completely Automated Public Turing test to tell Computers and Humans Apart
人工智能的发展
- 逻辑推理 20世纪60年代
- 专家系统 20世纪80年代
- 机器学习 20世纪90年代