[拼音]：wenti qiujie

[外文]：problem solving

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

问题求解系统一般由全局数据库、算子集和控制程序三部分组成。

（1）全局数据库：用来反映当前问题、状态及预期目标。所采用的数据结构因问题而异，可以是逻辑公式、语义网络、特性表，也可以是数组、矩阵等一切具有陈述性的断言结构。

（2）算子集：用来对数据库进行操作运算。算子集实际上就是规则集。

（3）控制程?a href='baike/220/251629.html' target='_blank' style='color:#136ec2'>颍河美淳龆ㄏ乱徊窖∮檬裁此阕硬⒃诤未ττ谩＝馓夤炭梢栽擞谜蛲评恚创游侍獾某跏甲刺迹擞檬实钡乃阕有蛄芯幌盗凶刺浠恢钡轿侍獾哪勘曜刺Ｕ馐且恢肿缘紫蛏系淖酆戏椒āＲ部梢栽擞媚嫦蛲评恚创游侍獾哪勘瓿龇ⅲ∮昧硗獾乃阕有蛄薪苣勘曜晃舾勺幽勘辏簿褪墙吹奈侍夤樵嘉舾山弦资迪值淖游侍猓钡阶钪盏玫降淖游侍馔耆山狻Ｕ馐且恢肿远ハ蛳碌姆治龇椒ā.纽厄尔和H.A.西蒙在通用解题程序GPS中提出的手段-目的分析，则是将正向推理和逆向推理结合起来的一种解题技术。采用这种技术时，不是根据当前的问题状态而是根据当前状态和目标状态间的差异，选用最合适算子去缩小这种差异（正向推理）。如果当前没有一个算子适用，那末就将现时目标归约为若干子目标（逆向推理），以便选出适用算子，依此进行，直到问题解决为止。人工智能许多技术和基本思想在早期的问题求解系统中便孕育形成，后来又有所发展。例如现代产生式系统的体系结构大体上仍可分为三部分。只是全局数据库采用了更复杂的结构（例如黑板结构）,用知识库取代了算子集,控制功能更加完善，推理技术也有所发展。

有状态空间、问题归约、博弈问题、定理证明等表示方式。所有这些表示方式，都广泛采用数学上的有向图（包括树）作为描述手段。

如果一个问题求解系统运用正向推理，而且每次算子对全局数据库操作后都生成一新状态，则该系统采用的解题方法就称状态空间表示法。图1中树的节点标号代表状态，其中为初始状态，为目标状态；有向弧线的标号代表算子；从初始状态到达目标状态经历→②→③→的状态变换。这时问题的一个解便是能将问题初始状态最终变换为目标状态的一个有限的算子序列。本例中即为P2-P2-P4。而寻找问题的解，也就是寻找适用的算子序列的过程，这称为搜索。

问题归约有三个要素，即目标、算子集和基元问题集。

（1）目标：即问题的初始描述。

（2）算子集：用来将给定问题变换为若干子问题。

（3）基元问题集：已有解或其解十分明显可以直接描述的问题。问题约表示是同逆向推理联系在一起的。图2为问题的归约表示，其中每个节点标号代表一个问题或一组问题,标号为A的根节点（即没有射入弧线的节点）代表原始问题或问题组。没有射出弧线的节点称为叶或终端节点（或终止节点），其标号代表基元问题。运用算子实行问题变换。如果原来问题被变换为若干子问题，而只需要解决其中之一便可解决原问题，那末代表这些子问题的节点称为相对于原问题节点的或节点。图2的B、C、D即为相对于 A的或节点。如果原问题被变换为缺一不可（均需解决）的若干子问题，那么代表这些子问题的节点称为相对于原问题节点的与节点，并在这些与节点各自的射入弧线间标记一条连接线，以同或结点相区别。图2的E、F、G和G、H、K分别为相对于B和D的与节点。既包含与节点又包含或节点的有向图称为与或图。问题归约表示常借助于与或图的形式。为了表明原问题有解，其实只需要画出与或图中同问题的解有关的那一部分（即子图）,称为解图。图2有三个解图，{A，B，E，F，G}、{A，C}、{A，D，G，H，K}。如果在与或图中,除根节点以外的每个节点有且仅有一条射入弧线（即只有一个父亲），便得到与或树。与或树是与或图的特例。

以计算机为一方的棋类或其他游戏问题，常用对策树（或称博弈树）来表示，同一般与或树的主要差异是：对策树既要反映两个问题求解者的共同行动，又只能从一方的立场加以描述。定理证明的问题表示特点在于引入了一类多重输入单一输出的算子。

问题求解的基本技术除问题表示外，尚有搜索、行动计划和机器定理证明等方面。

严正声明：本文由历史百科网注册或游客用户灵武 自行上传发布关于» 问题求解的内容，本站只提供存储，展示，不对用户发布信息内容的原创度和真实性等负责。请读者自行斟酌。同时如内容侵犯您的版权或其他权益，请留言并加以说明。站长审查之后若情况属实会及时为您删除。同时遵循 CC 4.0 BY-SA 版权协议，尊重和保护作者的劳动成果，转载请标明出处链接和本声明内容：作者：灵武；本文链接：https://www.freedefine.cn/wenzhan/30687.html