“第七章 人工智能的发展历程”版本间的差异
来自cslt Wiki
| 第10行： | 第10行： | ||
*百度百科：自动定理证明[https://baike.baidu.com/item/%E8%87%AA%E5%8A%A8%E5%AE%9A%E7%90%86%E8%AF%81%E6%98%8E/3155595] | *百度百科：自动定理证明[https://baike.baidu.com/item/%E8%87%AA%E5%8A%A8%E5%AE%9A%E7%90%86%E8%AF%81%E6%98%8E/3155595] | ||
*ELIZA chat bot [[http://aigraph.cslt.org/courses/07/eliza.mp4]][http://aigraph.cslt.org/courses/07/ELIZA.pdf][https://xie.infoq.cn/article/d147591e1ce6d415eea766c9a] | *ELIZA chat bot [[http://aigraph.cslt.org/courses/07/eliza.mp4]][http://aigraph.cslt.org/courses/07/ELIZA.pdf][https://xie.infoq.cn/article/d147591e1ce6d415eea766c9a] | ||
| + | *百度百科：理查德·卡普 [https://baike.baidu.com/item/%E7%90%86%E6%9F%A5%E5%BE%B7%C2%B7%E5%8D%A1%E6%99%AE/10730668] | ||
| + | *百度百科：专家系统 [https://baike.baidu.com/item/%E4%B8%93%E5%AE%B6%E7%B3%BB%E7%BB%9F/267819][http://baike.baidu.com/l/hWwd1nSb] | ||
| + | *百度百科：爱德华·费根鲍姆[https://baike.baidu.com/item/%E7%88%B1%E5%BE%B7%E5%8D%8E%C2%B7%E8%B4%B9%E6%A0%B9%E9%B2%8D%E5%A7%86/7868210][http://baike.baidu.com/l/Kfxgcfiz] | ||
| + | |||
==演示链接== | ==演示链接== | ||
| 第27行： | 第31行： | ||
*尼克，人工智能简史[https://e.jd.com/30410197.html][https://github.com/rmlzy/my-ebook/blob/master/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E7%AE%80%E5%8F%B2.pdf] | *尼克，人工智能简史[https://e.jd.com/30410197.html][https://github.com/rmlzy/my-ebook/blob/master/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E7%AE%80%E5%8F%B2.pdf] | ||
*贲可荣，陈火旺. 自动定理证明:十年回顾． 《 计算机科学 》 ， 1993 [https://docdown.cnki.net/docdown/fulltext/download?q=NP7oX%2BLD6jdCNfVk3NNhrm9MJp3d6yNDS%2Fvyi4YVgZM5tm5DdzRB47h7LUnDBx9338TVdeiRQ5k2%2BZ3JjxZYKdH5eudG6Q59d%2BtC6QxkOKKqR7szOzi02rD7dfS4306bzj%2B62IANa4BvH5DY5J6QGhneqGD62SchX6uCUSFWYVJbffV3b6ihxjQh9OeIG4DnhFqdYh6AyXmcxbYzWgOpdK%2BPTyEox2DyXQs7ODheo7qsvYbaPF4x%2Fycgc2sxMxsyNlyX6u7YK6RHahFYJItWZbj9Lhy1bO7PKXPJSowJRuJnjrJrY5IL537irSJogqQqiHRcRkxDc2KEuDCnoD6WoxFQ67becsczbzXitOx709396XNrAfM8g%2FLrPgP9ieqo%2FSr3CPXUtOh6zrvRUKePqVFc8aKWixrlDESr50p7AK34P%2BYQjUWbN%2FksSbsUzofzfnZL2LRT%2FbB9lGCOoFs4NxW%2FrmIDoIBbj17nwpgp%2F7vu%2FRckeVds4JAa%2FJ23n8Fz&invoice=gBF43w7k7FOHfzQPSV2EriTPtY2g%2Bqc%2FAJ7pR3PPkyZewmc5pg9AZsnHIB6Mqu9D1WKi6bnk%2BZFRJoDhfmc1t0VHM7bf6zfdNv7n5AAq5WuyNfT%2BEW39owgEhrV4NzXrB9nULdQfFegBs9JdqdIZynAlVeT5rRrShviCJgydO%2Fg%3D&token=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJzY29wZSI6WyJkb3dubG9hZCIsImNoZWNrIl0sImV4cCI6MTY1OTMyMTU2MCwianRpIjoiMDE4M2NjNGItMGIyNS00MzA5LWI2MzEtOTIxM2QzOTgwYWE1IiwiY2xpZW50X2lkIjoiMzQ0MjUifQ.hrFNtjzRPmY1PX-sVtY_Ix0rc1pJwJNNm4FswCchLuk] | *贲可荣，陈火旺. 自动定理证明:十年回顾． 《 计算机科学 》 ， 1993 [https://docdown.cnki.net/docdown/fulltext/download?q=NP7oX%2BLD6jdCNfVk3NNhrm9MJp3d6yNDS%2Fvyi4YVgZM5tm5DdzRB47h7LUnDBx9338TVdeiRQ5k2%2BZ3JjxZYKdH5eudG6Q59d%2BtC6QxkOKKqR7szOzi02rD7dfS4306bzj%2B62IANa4BvH5DY5J6QGhneqGD62SchX6uCUSFWYVJbffV3b6ihxjQh9OeIG4DnhFqdYh6AyXmcxbYzWgOpdK%2BPTyEox2DyXQs7ODheo7qsvYbaPF4x%2Fycgc2sxMxsyNlyX6u7YK6RHahFYJItWZbj9Lhy1bO7PKXPJSowJRuJnjrJrY5IL537irSJogqQqiHRcRkxDc2KEuDCnoD6WoxFQ67becsczbzXitOx709396XNrAfM8g%2FLrPgP9ieqo%2FSr3CPXUtOh6zrvRUKePqVFc8aKWixrlDESr50p7AK34P%2BYQjUWbN%2FksSbsUzofzfnZL2LRT%2FbB9lGCOoFs4NxW%2FrmIDoIBbj17nwpgp%2F7vu%2FRckeVds4JAa%2FJ23n8Fz&invoice=gBF43w7k7FOHfzQPSV2EriTPtY2g%2Bqc%2FAJ7pR3PPkyZewmc5pg9AZsnHIB6Mqu9D1WKi6bnk%2BZFRJoDhfmc1t0VHM7bf6zfdNv7n5AAq5WuyNfT%2BEW39owgEhrV4NzXrB9nULdQfFegBs9JdqdIZynAlVeT5rRrShviCJgydO%2Fg%3D&token=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJzY29wZSI6WyJkb3dubG9hZCIsImNoZWNrIl0sImV4cCI6MTY1OTMyMTU2MCwianRpIjoiMDE4M2NjNGItMGIyNS00MzA5LWI2MzEtOTIxM2QzOTgwYWE1IiwiY2xpZW50X2lkIjoiMzQ0MjUifQ.hrFNtjzRPmY1PX-sVtY_Ix0rc1pJwJNNm4FswCchLuk] | ||
| + | *Karp R M. Reducibility among combinatorial problems[M]//Complexity of computer computations. Springer, Boston, MA, 1972: 85-103. [https://eva.fing.edu.uy/pluginfile.php/139515/mod_resource/content/0/Karp.pdf] | ||
2022年7月31日 (日) 11:03的版本
教学资料
扩展阅读
- 维基百科：人工智能简史[2][3]
- 百度百科：自动定理证明[4]
- ELIZA chat bot [[5]][6][7]
- 百度百科：理查德·卡普 [8]
- 百度百科：专家系统 [9][10]
- 百度百科：爱德华·费根鲍姆[11][12]
演示链接
- ELIZA chatbot [13]
开发者资源
- ELIZA python code [14]
高级读者
- AI简史[15][16]
- "ELIZA — A Computer Program for the Study of Natural Language Communication between Man and Machine," Communications of the Association for Computing Machinery 9 (1966): 36-45. [17]
- 王东，利节，许莎《人工智能》第一章 “神奇的人工智能”，第六章“学习你的思维” [18]
- 尼克，人工智能简史[19][20]
- 贲可荣，陈火旺. 自动定理证明:十年回顾． 《 计算机科学 》 ， 1993 [21]
- Karp R M. Reducibility among combinatorial problems[M]//Complexity of computer computations. Springer, Boston, MA, 1972: 85-103. [22]
