人工智能包括:命题逻辑,谓词,Herbrand定理,归结原理,产生式系统,机器学习,搜索方法等。