问题求解其它博弈问题与定理证明问题的表示以计算机为一方的棋类或其他游戏问题，常用对策树（或称博弈树）来表示，同一般与或树的主要差异是：对策树既要反映两个问题求解者的共同行动，又只能从一方的立场加以描述
定理证明的问题表示特点在于引入了一类多重输入单一输出的算子
问题求解的基本技术除问题表示外，尚有搜索、行动计划和机器定理证明等方面
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
