当前位置首页 > 百科> 正文

问题求解

2018-06-22 21:28:38 百科

问题求解

问题求解,就是解决管理活动中由于意外引起的非预期效应或与预期效应之间的偏差。

问题

解决管理活动中由于意外引起的非预期效应或与预期效应之间的偏差。如果问题的不到求解,则可能会影响工作的执行,导致工作质量下降。这些问题分为:工作偏差、工作分配不合理、缺少经验和资源、无法把握机遇、由于複杂性而无法解决的难题等。目前有许多技术可用来有效地求解问题。问题识别技术就是一种很好的方法,它包括情况评价和显着性分析。
问题求解问题求解

解题

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

问题表示

有状态空间、问题归约、博弈问题、定理证明等表示方式。所有这些表示方式,都广泛採用数学上的有向图(包括树)作为描述手段。
问题求解问题求解
状态空间表示  如果一个问题求解系统运用正向推理,而且每次运算元对全局资料库操作后都生成一新状态,则该系统採用的解题方法就称状态空间表示法。图1中树的节点标号代表状态,其中I为初始状态,F为目标状态;有向弧线的标号代表运算元;从初始状态到达目标状态经历I→②→③→F的状态变换。这时问题的一个解便是能将问题初始状态最终变换为目标状态的一个有限的运算元序列。本例中即为P2-P2-P4。而寻找问题的解,也就是寻找适用的运算元序列的过程,这称为搜寻。

问题求解系统

问题求解系统一般由全局资料库、运算元集和控制程式三部分组成。①全局资料库:用来反映当前问题、状态及预期目标。所採用的数据结构因问题而异,可以是逻辑公式、语义网路、特性表,也可以是数组、矩阵等一切具有陈述性的断言结构。②运算元集:用来对资料库进行操作运算。运算元集实际上就是规则集。③控制程式:用来决定下一步选用什幺运算元并在何处套用。解题过程可以运用正向推理,即从问题的初始状态开始,运用适当的运算元序列经过一系列状态变换直到问题的目标状态。这是一种自底向上的综合方法。也可以运用逆向推理,即从问题的目标出发,选用另外的运算元序列将总目标转换为若干子目标,也就是将原来的问题归约为若干较易实现的子问题,直到最终得到的子问题完全可解。这是一种自顶向下的分析方法。A.纽厄尔和H.A.西蒙在通用解题程式GPS中提出的手段-目的分析,则是将正向推理和逆向推理结合起来的一种解题技术。採用这种技术时,不是根据当前的问题状态而是根据当前状态和目标状态间的差异,选用最合适运算元去缩小这种差异(正向推理)。如果当前没有一个运算元适用,那末就将现时目标归约为若干子目标(逆向推理),以便选出适用运算元,依此进行,直到问题解决为止。人工智慧许多技术和基本思想在早期的问题求解系统中便孕育形成,后来又有所发展。例如现代产生式系统的体系结构大体上仍可分为三部分。只是全局资料库採用了更複杂的结构(例如黑板结构),用知识库取代了运算元集,控制功能更加完善,推理技术也有所发展。
问题求解问题求解

问题归约表示

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

其它

博弈问题与定理证明问题的表示
以计算机为一方的棋类或其他游戏问题,常用对策树(或称博弈树)来表示,同一般与或树的主要差异是:对策树既要反映两个问题求解者的共同行动,又只能从一方的立场加以描述。定理证明的问题表示特点在于引入了一类多重输入单一输出的运算元。
问题求解问题求解
问题求解的基本技术除问题表示外,尚有搜寻、行动计画和机器定理证明等方面。
声明:此文信息来源于网络,登载此文只为提供信息参考,并不用于任何商业目的。如有侵权,请及时联系我们:baisebaisebaise@yeah.net