在计算机科学的基础上发展起来的一门边缘学科。产生于20世纪50年代，美国西蒙(Herbert Alexander Simon, 1916—)被认为是奠基者之一。综合计算机科学、信息论、心理学、生理学、语言学、逻辑学和数学等，研究智能的计算机系统，使计算机显示出人类智能行为的特征。研究范围包括：计算机理解自然语言，专家系统或知识工程，问题解决，计算机学习和辅助教学，机器人学和模式识别等。