究人类智能的范畴，涵盖了对所有种类的智能的研究。这一范式让研究者们通过学习孤立的问题找到可证的并且有用的解答。它为AI各领域乃至经济学，控制论等使用抽象代理概念的领域提供了描述问题和共享解答的一种通用语言。人们希望能找到一种完整的（像Newell的Soar那样），允许研究者们应用交互的智能代理建立起通用的智能系统。
“简约派”的胜利.越来越多的AI研究者们开始开发和使用复杂的数学工具。人们广泛地认识到，许多AI需要解决的问题已经成为数学，经济学和运筹学领域的研究课题。数学语言的