人工智能原理总结一、人工智能简介1.1 定理机器证明1956年 Newll 和Simon 合作了逻辑程序 Logic Theorist 证明了数学定理1965年 Robinson 提出了定理证明了归结方法1976年 Appel 在计算机的帮助下证明了4色问题1.2 专家系统和知识工程1956年斯坦福大学生研制的DENDRAL系统，根据质谱仪推断出分子结构MYCIN系统，帮助医生诊断急性疾病专家系统

21年吉大软学上岸的，今年三月一号开始准备考研的，最开始是迷茫的，因为是跨考，就真是很难受，身边没有一起考一个专业的，很多东西也无法共享，所有的东西都得自己来。跨考计算机专业课多而且复杂，我其实是不知道从哪一步开始。当然，理性告诉我，根据往届的经验，我还是首先从数学以及英语开始入手，然后同时在准备择校，由于是跨考，所以在最开始，就开始到处找资料，了解各个学校的考研群，大概是4月初吧，我接触到吉大考