涉及领域有专家系统，机器学习，模式识别，自然语言理解，自动定理证明，自动程序设计，机器人学，博弈，智能决定支持系统和人工神经网络。清华大学每年都举行的智能体大赛，那些选手们用的是c4或者prolog等等，推荐一个中国最好的关于人工智能的网站：http://www.chinaai.org/
