问题求解解题从人工智能初期的智力难题、棋类游戏、简单数学定理证明等问题的研究中开始形成和发展起来的一大类解题技术，简称解题
机器定理证明（即自动演绎）已形成一门独立的分支学科
解题技术主要包括问题表示、搜索和行动计划等内容
也有人对问题求解作更广泛的理解，即指为了实现给定目标而展开的动作序列的执行过程
这样，一切人工智能系统便都可归结为问题求解系统
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
