归结原理,不确定性推理,搜索,机器学习,遗传算法,蚁群算法,神经网络等