AI入门

第一章内容

第一节：

可计算思想：从可计算到不可计算

 

ask2:证明算数公理的相容性

1. 完备性（所有命题能从形式化系统推导出来）
2. 一致性（一个命题不可能同时为真同时为假）
3. 可制定性（算法在有限步内判断命题的真伪）

 

但是从哥德尔不完全性定理来看，事件A一旦具有了一致性，就不可能具有完备性；反之

 

第二节：

从典型任务给人工智能分类：

• 机器定理证明（逻辑和推理）
• 机器翻译（自然语言理解）
• 博弈
• 模式识别
• 学习（神经网络）
• 机器人和智能控制

第三节

人工智能研究的基本内容

首先我们要了解我们要学什么？

数学方面：微分与积分，逼近理论，矩阵及线性交换，概率论，回归分析

计算机科学方面：命令式编程，函数式编程，计算机系统，数据结构和算法，计算机思想

人工智能方面：人工智能基础，表达与问题求解，机器学习，自然语言处理及计算机视觉