人工智能的数理模型与优化