人工智能的研究领域 博弈 博弈即对策。博弈为人工智能提供了很好的试验场所， 人工智能中的许多概念和方法都是从博弈程序中提炼出来的 ”自动定理证明 自动定理证明的方法有：自然演绎法、判定法、定理证 明器、计算机辅助证明。 8 人工智能及其应用8 人工智能及其应用 博弈 博弈即对策。博弈为人工智能提供了很好的试验场所， 人工智能中的许多概念和方法都是从博弈程序中提炼出来的 。 自动定理证明 自动定理证明的方法有：自然演绎法、判定法、定理证 明器、计算机辅助证明。 人工智能的研究领域