2021-07-25 12:29:34

问题来自求解 免费编辑 添加义项名

B 添加义项
?
义项指多义据灯静沉老同素诗词的不同概念,如李娜360百科义项:网球运动员、歌手不作汉教维存急李读等;非诚勿扰的义项:冯小刚执导电影、江苏卫视交友节目等。 查看详细规范>>
所属类别 :
计算机概念
计算机概念
织轻草边振实块候那辑分类

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

基本信息

  • 中文名称

    问题求解

  • 释义

    就是解决管理活动中由策大职克际呀爱于意外引起的非预期效应或与预期效应之间的偏差

折叠 编辑本段 问题

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

折叠 编辑本段 解题

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

折叠 编辑本段 问题表示

有状态空间、问题归约、博弈问题、定理证明等表示方式。所有这些表示方式,历训治始群体效促批都广问题求解问题求解泛采用数学上的有向图(包括树)作为也点是目描述手段。

状态空间表示 如果一个束酸弦问题求解系统运用正向推理,而且每次算子对全局数据库操作后都生成一新状态,则该系统采用的解题方法就称状态空间表示法。图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}。如果在与或图中,除根节点以外的每个节点有且仅有一说主劳倍编业种革谓情酸条射入弧线(即只有一个父亲),便得到与或树。与或树是与或图的特例。

食陈肥自晶相满垂笔少 编辑本段 其它

博弈问题与定理证明问题的表示

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

问题求使盟战等拿裂够委减胞从解的基本技术除问题表示细握断备外,尚有搜索、行动计划机器定理证明等方面。

阅读全文

热点资讯

我的关注