人工智能中可信赖性与可信赖性算法研究

1、第 卷第 期 年 ” 月信 息 与 控 制©ÎÆÏÒÍÁÔÉÏÎÁÎÄ£ÏÎÔÒÏ̶ÏÌ®Ï ¡ÐÒ人工智能可信赖性与可信赖算法研究 0a李应潭中国科学院沈阳自动化所 沈阳 摘 要 不可 信赖的算法和系统不 是人工智能的 初衷 准确率较高 的不可信赖系 统如果有相 当水 平的专家 的协同 作业 有可 能提高

2、 工作效率 但在完 全自动化 的条件 下或者在 与其配 合工作 的人不是非常可信 赖的情况下 不可信 赖系统则将丧 失使用与存在 价值 相反 可信赖 系统却能够 出色 地工作 达 到并长 期保持制 作它的 群体专家 的水平 可信赖系 统不仅 在效率方 面而且 将在质 量方面体现人工智 能的优越性和不 可替代性 因此将 是推动知识经 济的发动机 已经 证明 一个不 可信赖的算法 最终必然 破坏系统中其 他可信赖算法 的可信赖性 应 该予以扬弃 实现 可信赖算法 和系统的工作量和 难度都大大增加 可 信赖算法本质 上只适用于可 界定 ! 可判定的类 实现基于类 与 ¯¯

3、6;理论的若干可界定领域的可信 赖算法与系统 在实践上有确 切的用途 已经证 明 若干可信 赖算法的集成仍然 是可信赖的 因此通过不断地继承和集成能够逼近最终的目标 关键词 可界 定类 可信赖性 可信赖算法1引言从 年算起 人工智能 ¡© 有 ” 年 的历史了 这些年来 人工 智能在思想和 理论上的 进展和贡献是有目共赌的 文献太多从略 但是作者认为人工智能至少面临两大问题 可信赖 性和人工意识 即真正的智能模型 研究 本文所涉及的就是人工智能系统的可信赖性问题 自从作者 年提出而且开展了可信赖性与可信赖算法研究以来 我们开展了一些实例 研究 理论上和实践上都取得了一些进展

4、 本文就是两年来研究的总结 我们认 为可信赖性与可信赖算 法研究是人工智 能研究的新 起点和突 破点 这是 因为可信 赖研究开辟了新的研究领地 而且已经在我们面前展现出非常广阔的应用领域和应用前景 而 我们也不难认定 可信赖性问题关系到人工智能理论与实践的前途 详细研究如下 2为什么要 研究可信赖的算法发展计算机和人工智能的主要目的是提高科学技术与生产力水平 其关键是要保证质量 从某种意义上讲 可信赖算法和可信赖性理论是涉及智能性软件根本质量问题的理论 首先我们应该区分四个概念 可靠性 ! 可调试性 ! 可信赖性和可依赖性 可靠性是硬件在多 长时间内会发生故障的问题 可调试性是是否便于排除人工

5、编制中的错误问题 而可信赖性与 可靠 性和可调试性这两个概 念没有关系 可信赖性是 在没有硬件 故障和没 有人为的 输入错误 的前提下算法本身的质量方面的一个指标 软件的另一个质量指标是可依赖性 文献 可信赖 性要解决人工智能有关 研究目标的根 本质量问 题 专家系统 也好 机器 翻译也好 模式识别也好 若没有可信赖性 就谈不上可依赖性 就没有人工智能的质量可谈 在模式 识别领域里 指纹识别和 汉字识别是两 个典型研究 对于人来 讲 学会了 一个字就a 收稿0本研究得到中国科学院机器人学开放实验室基金课题 /可界定 ! 可信赖人工智能模型研究 0的支持会认 一个字 自然能够很有把 握地从报纸里

6、挑出自 己识别的那 个汉字来 虽然只认 得一个字 却是有把握的 是可信赖的 可是现在许多汉字识别软件硬是做不到这一点 由于算法的原因 不管其拒识率多么高 都不可能 达到 à的准确 率 如果我们能够实现一 个可信赖的汉字识 别算法 哪怕只能从报纸上 认出 个汉字 却保 证不错 这将是最伟大的 成功 因为在实现这 个目标以后 我们就有可能组织 若干小组 将出现频率高 的 个汉字分头解决 另外 ” 个 汉字暂时不管 如果这 个 汉字都实现了可 信赖的识别 算法 那么 就可以将 它们集成 起来 实现一个解决 à文本的可信赖识别问题的实用系统 由于识别出来的占 à而且这 &

7、#224;的文本不需要校对 就会大大节省校对工作量 实用性就很好了 再以自 然语言的机器翻译为例 自然语言非常 复杂 翻译更 加复杂 自 然语言不 是少数人 可以解决的 甚至也不是短期可能彻底解决的 需要大批人长期而有效的积累和努力 那么 什 么样做法适合于大批人协作 ! 又适合于长期而有效的积累呢 只有可信赖的算法才适合于大批 人协作和能够有效地加以积累 因为可信赖算法根本避免了错误的传递 因此需要我们来宣传 和呼吁可信赖性 避免没有可信赖性的分散而短期的行为 在一些 缺乏可信赖性概念的人 看来 似乎一个机 器翻译系统 只要能够 达到比别 人更高的 总的准确率 百分比 就 可以 算做成 功了

8、 我们 不认 为是 这样 的 我 们面 临的 事实 是 一 个以 X X à的正确率自我安慰的机 器翻译系统 虽然可以翻 译许多常见的句子 却又会将 许多句子 翻译得一塌糊涂 给出莫名其妙的结果 事实上 多数机器翻译程序是小马拉着大车 其分析与 处 理 水平离 实际需 要甚远 有的系 统 开 一个玩 笑 如 果告 诉它 /ÈÏ×ÄÏÙÏÕÄÏ0应 该翻 译为 /你好 0的话 那么就有可能将 /¨Ï×ÄÏÙÏÕ

9、;ÄÏÔÈÁÔ×ÏÒË0翻译为 /你好那个工作 0这虽然是一 个玩 笑 可是许多莫名其妙的 结果就是这样产生的 这样下去 必 将使许多 人丧失对 人工智能 的信赖 损害人工智能这个美好概念的形象 不可信赖的系统 无论使用了多少充满想象力和探索性的高级的算法 由于不知道自己何 时会出错 因此本质上是一种不知道何时说 /不 0的 /绞肉机型推理机器 0»½通常由于有递归处 理 能力表现出很强的输 入加工和输出能力 但是 这种 /很强的输 入加工和 输出能力 0是肤浅和 靠不住的

10、虽然所有进去的 /肉 0加工对象 都能被绞出来 结果却是正误不分 ! 好坏不分 有时 简直一塌糊涂 这是难怪的 因为在机器翻译这样困难的领域里我们还缺乏完全可以机器化的 解 法或知 识以及 相应 的知识 描述手 段 半盲 的马 拉大车 难免掉 进沟里 自然靠 不住 这样的 /智能 0是不足取的 象 专家系 统 ! 机器 翻译 ! 模 式识 别这些 问题 要 找到可 信赖 的算法 难度很 大 但 是确 实需 要 一旦我们找到了某个可界定类的可信赖的算法 使计算机在解决某一类问题上的可信赖性 达到制作它的专家群体知识的最高水平 那么 实际上我们在解决那一类问题上已经达到人类 当前的最高水平了 就可

11、以加以认定 我 们认为 可信赖 的算法 与可 信赖人 工智能 的概念 把注 意力集 中在回 答问题 的把 握性 上 因此实行要么不回答 要么正确地回答的策略 这将使计算机的答案比一般人更可信赖 这 个概念对于人工智能下一步的发展是十分重要的 如前所述将能够实现群体协作与有效积累 人工智能多集中在知识密集领域 理应属于知识经济的发动机 借助解决局部问题的可信赖的 人工智能系统 一般人就能够以专家水平和工作质量解决某些问题 人的工作状态容易受到种 种因素的干扰 包括身体状况 ! 情绪 ! 感情 ! 观念 ! 动机等 而计算机却没有这些人为因素 因此 在 这种情况下 计算机应 该比人更可信赖一些 如

12、 果计算机的 算法是可 信赖的话 可见 可信 期 李应潭 人工智能可信赖性与可信赖算法研究赖性 问题是多么的重要 因此 由可信赖算法的研究 所引发的可 界定 ! 可信 赖人工智 能的系统 的研究具有广阔的应用前景 应该认真研究 3 什么是不 可信赖的算法定义 1 不可信赖的算法 如果一个计算机系统 在没有硬件故障的情况下 对于自己给出 的回 答的对错心中无数 不知 道有没有正确把握的 话 那么 它所 使用的算 法本质上 是不可信 赖的 定义 2 不可信赖 的系统 如果一个系统所使用的 算法本质上是不可 信赖的 那 么它就是 一个不可信赖的系统 我 们认为 凡是用所谓的 总的准确率 识别率 !

13、译 准率等 来 度量其工 作结果的 系统 如果 扣 除掉其拒绝 回答的部 分之后仍 不能保证 à地正确 回答剩下 的问题 的话 就 属于 不可信 赖的 系统 因此 目前流行的全 自动汉字识别 ! 全自 动指纹识别 ! 全自动机 器翻译等 系统 扣除 拒绝识别或拒绝翻译部分后准确率不能 à的 一般地均属于不可信赖的系统 这些系统 由于在提供最终回答之前无力排除错误而只好将包含错误的答案 就是将对的 与错的答案混合在一起 提供给用户 任何本质上不可信赖的系统 是没有搞懂的 ! 实际上不明 白的系统 也没有 /自信心 0和 /信念 0可谈 在这种情况下谈它们的智能 实在是太困难了

14、 这就好比一个学生的考试卷 除掉没有回答的题目之外如果仍存在错误的话 这个学生的 回 答就是不可信赖的 如果 在其给出的回答中没有 出现错误 那 么这个学 生作到了 /知之为知 之 不知为不知 0其回答就是可信赖的 我们将 没有回答的题目看作是 系统承认不会或 没有把握的 部分 因此 不作为计 算其可信 赖 性的依据 就是说 不回 答或者承 认不会并 不影响可信 赖性 但 是影响可依 赖性 »½但是回 答错了却不行 是不是错了一次就不行了呢 是这样的 因为算法还需要修正 可信赖的系统是从纠正错 误中发展起来的 错误也是逐步发现和纠正的 因此 一个比较现实的观点是 定义 3

15、实际可信 赖系统 如果一个系统在回答问 题之中很少出错 而 且在发现 有错之后 通过 修正或自我学习能够很 快纠正 永不会再犯此类 错误也不会 引发其他 错误从而 其发生的 错误逐步变少直至没有错误的话 这样的系统是实际可信赖的系统 4 怎样判定 一个算法的不可信赖性我 们不必去考查一种算 法能给出多少正确的答 案 总的准 确率 而专 门去考虑 或分析它 有 没有办法避 免 ! 发现 ! 排 除或控制 回答中的错 误 着重考 查其所回 答问题的 错误率 是否为 或近乎 如果它本身没有避免 ! 发现 ! 排除或控制 错误的办法 如果其所回 答的问题的准确率 不能是 à或近乎 à

16、;那么这种算法就是不可信赖的 我 们认为 历来评价一个 系统的质量的 /总的准确 率 0概念恰 恰为各种 不可信赖 的系统和 算法提供了一个合法的藏身之地 所谓的总的准确率与百分制评分法一样 没有回答与答错都 是不给分 不予区别 对于一个面对老师的学生来讲 这或许还有道理可讲 而对于希望取得用 户信赖的智能系统来讲 这就十分不合理了 事实上 这是在鼓励不负责任 ! 把探讨与猜测当作 答案 自 然没有可信赖性可谈 在模式识别与机器翻 译两个领域 里流行着 的总的准 确率 ! 识别 率等概念 没有把注意力放在对所回答的问题的正确性上 事实上 这些系统 即使将 /拒答率 0信 息 与 控 制 卷提得

17、很高 将 /回答率 0搞得很低 其所回答的问题的准确 率也无法达到 à就是说 这些系 统本质上不能区分对错 是不可信赖的 原因很简单 在不加限制的和全自动的情况下 这两个 领域 的问题 本质上包含大量 不可知 ! 不确定的 ! 必 须猜测的成 分 因此 不 可信赖性 问题在这 两个领域表现得十分突出和尖锐 在汉语 文本的分词研究中 有一 个长度优先的 分词算法及 其改进算 法 效率较 高 错误率 也较低 可是若用可信赖的观点来考察 这个算法也是不可信赖的 比如 在分析下面句子的时 候肯定会产生它自己认为正确 因此它自己不能够发现 而实际上是错误的切分结果 例子 用更好的技术服务用户

18、! 报答用户 分析结果 用 û更好 û的 û技术服务 û用户 ! 报答 û用户 问 题出来了 按照这种分 词算法 上述的分词结 果是唯一的 因所有 词都得到认 定 不存 在其 他分词的可能性 必然导 致严重的后果 如果接 下来有句法 分析而句 法分析失 败的话 将 怀 疑其他方面的问 题 如 /技术服务 0是不是有动 词属性 文本是 否有错或 句法分析 是否有错 等 所以 或是停止工作 或是将错 就错 或是重新句 法分析 而决 不会象人 那样能够 进行正确 的分析 因为人一开始就不会那样来分词 人是联系上下文的综合性的分析 可见 长度优先的 分

19、词算法是不可信赖的 而这种算法目前却还在普遍加以使用 »”½研究表明 纯句法分析算法和基于局部语意匹配的算法 也是不可信赖的 比如在 /今天饭 我 来吃石头你来搬 0这 样的句子里 利用语意 搭配 认为吃与石 头不搭配 而搬与石头 搭配 可 以 解决问题 可是 象 /我不能吃石头 0! /他表演吃 玻璃 0这些句 子虽然罕 见 人们却 能接受 而 由于吃与石头 ! 吃与玻璃不搭配 计算机可能因这条语意搭配规则而不接受 产生了错误 至于没有语意分析能力的纯句法分析算法 分析汉语这种缺乏切分标记的语言来说 实在 痛苦万分 可以说是没有规律可循 比如 纯句法分析以下的句子将是无能

20、为力的 /祝 大家工作顺利身体健康 0VR V öN A N A öN 与/保证国民经济持续快速健康发展 0V öN N A A A öN V öA öN这两个短语都是合理的 但是从纯句法的角度来看 简直是没法下手 5 产生不可 信赖的算法的原因及其系统的出路问题出现不 可信赖的算法与作出不 可信赖的系统原 不是我们的 本意 是因 为我们对 面对的问 题的 复杂性估计不足或者操 之过急 对可信赖性问题 缺乏认识而 对系统应 该处理的 问题没有 明确的限制 而将目标设得太高 对有关问题的知识太粗或不足 施行了绞肉机型的 /强推理 0!

21、/过度推理 0和 /想当然推理 0的做法 将局部正确的的知识假定为一般正确的知识 使有关知识 运用过当等等 下面的故事是人人皆知的 有人告诉一个小孩 一是一划 二是两划 三是三划 那 个聪明的小孩就想当然 地推出四该是四划 五该 是五划了 小 孩虽然聪 明却犯了 /想当然推 理 0的错误 汉语里 在人的姓前加一个 /老 0或 /小 0或 /大 0就可以构成对人的简称 但是这个规 则 只适合于 能够出现 N 人 类这 一局部语 境里 不 能一看 到 /大 陈 0两 个字就 断言 是人 因 期 李应潭 人工智能可信赖性与可信赖算法研究为 /大陈 0除了能指人外 在 N 地 类 里还是一个岛的名字

22、不加这样的局部语境 限制自然 就判断错了 同样 /老帅 0一般是对有 /元帅 0头衔人的简称 但 /帅 0还是姓 指姓帅的人也未尚 不可 这 完全要依当时语境而 定 我们人类之所以不 会搞错 就是 因为懂得 语言里的 种种说法 都是依附于特定的上下文和语言环境的 如果我们构造计算机系统时忽略这个语意环境前提 就会犯 /想当然推理 0的错误 不可信赖的算法和系统只有依靠比它有更高水平的专家 做这些专家的助手 才可能取得 有效的应用 比如用来提高工作效率 由于离不开比它水平更高的专家的合作 因此全自动的不可信赖的算法与系统 永远不可 能成 为知识经济的发动机 从 这一点来说 是没有应 用前景的 我

23、 们认为应 着重发展 可信赖算 法和系统 有效地推动知识经济的发展 6 什么是可 信赖的算法定义 4 可信赖系 统 如果 一个计算机系统在没有 硬件故障的情况下 对于向它 提出的一 批问题能够做到 没有把握或无力回答的就不回答 有把握的才回答 ! 回答的则保证正确的话 那么 它就是一个可信赖的系统 可信赖系统从本质上 来讲 是有 人工 的 /智 能 0的 因 为它 有人 工的 /数 0! /自信 心 0和 /信 念 0 其所使用的算法本质上也是可信赖的算法 因为能够排除错误 保证正确 要注意 能够将 自己没有把握的问题排除掉 采取不回答或拒绝回答的方法 正是可信赖系统保证自己对所回 答问 题正

24、确性的唯一好办法 一个系统如果能够通 过拒绝回答 而避免答 错 保证回 答正确性 也将能够实现可信赖 其实 人类制造的任何一台机器都有专用的目的 只要求它做专门的事 过去的机器 由于 是机械的 只有硬件而没有软件 只要不出故障 就不可能出错 因此 没有可信赖性的概念 只 有可靠性的概念 计算机也是机器 可是计算机既有硬件 也有软件 由于编程的灵活性和普遍 适用性 有些人开始构造出一些让我们自己也信不过的 不可信赖的 程序 才出现了可信赖性 的问题 因此可信赖性是针对软件的概念 注意 可信赖系统允许答不上来 却不允许提供错误的答案 这个要求表面上不很高 实际 上是很高的 事实上 有些系统 比如基

25、于不太完备的统计模式识别系统 即使其拒绝回答的问 题总数达到了 à那剩下的 à问题它仍然不可能保证 à的正确 7 怎样判定 一个算法的可信赖性一个算 法是不是可信赖 关键要 看能不能有效地 排除掉它不 应该回答 或不能有 把握地回 答的 问题 而不是首先去看它 能不能更多地回答问 题 我们认为 这几乎是 最重要的 原则了 我 们叫做有效排除原则 判定一个系统是不是不可信赖的方法比较简单 因为只要给出一个实例 如果能够证明它 会产 生错误 立即就可以宣布 它是不可信赖的 这叫 实例判定法 但是实例 判定法仅 仅对于判 定不 可信赖性比较有效 因为 只要找到一个实例就

26、 足够了 却对 判定可信 赖性显得 非常无力 因为 如果可能的实例的数目 无限 我们将永远无法 证明可信赖 性 因此对 于不可枚 举的问题 用实例判定法将永远无法证明一个算法的可信赖性 信 息 与 控 制 卷期 李应潭 人工智能可信赖性与可信赖算法研究 由上述讨论可以发现 一个可信赖的算法 必须要能在有限的步骤之内认定或者排除所要 处理的实例 就是能够对所要处理的实例进行界定 这就是处理对象的可界定性 定义 5 可界定类 一个类是可界定的 如果对于到来的任何一个实例 能够在有限的计算 步骤之内判定它是不是此类的一个对象 如果不能在有限计算步骤之内加以判定 那么这个类 就是不可界定的 反之反是

27、原理 1 定类 / 可信赖人工智能 0 把 传统的 / 知之为知之 不知 为不知 是 知也 0 原则 奉为基本 原则 并且 可信赖算法所针 对的类的可界定原理 对一个类施行的一个 算法要想能够证明 是可 信赖的 那么该类必须是 可界定的 就是说任何 一个可信赖 算法所针 对的类 必 须是可界 认为 人类的智能是多方面的 有记忆力和能熟练地按规定办事也是智能的重要的方面 定义 6 弱推 理 使用 基于可界 定类的继承 ! / 检索 0 与 / 查询 0 得 到的原则进 行的 推理为 / 弱推理 0 这些推理是在可界定类的范围之内的 ! 已经得到验证的推理 因此 是可信赖的 作为弱推理的一个例子

28、就是计算器的运算 这是仅仅适用于数类的弱推理 在 类是不可界定的 条件下依靠 / 想当然的规 则 0 进行的 / 想 当然 0 的推 理 常常越 出了类的 边 界 这并不是智能 恰好 是要十分留意的 / 智能陷 阱 0 我们常常 又把这一 类利用不 可信赖的 规则进行的 / 想当然推理 0 叫做 / 绞肉机型推理 0 属于所谓的 / 强推理 0 或/ 越界推理 0 可信赖人 工 智能不主张这 种 / 绞肉机型 0 的 / 越界推理 0 它 的推理结果虽 然有时正 确 却常常 有错 所以 是不可信赖的 可信赖 系统必须要用主要精力 来排除错误 使 自己不犯错 误 其原则 是 在没有 把握的时 候

29、 要拒绝回答 以保证回 答的 à 的 准确率 因 为 无论 人还是 机器 他 或它不 知道 的东西 总是要多于他或它知道的东西 一个人或者机器若能做到这一点 才达到了 / 知之为知之 不知 为不知 是知也 0 的可信赖的境界 原理 2 可 信赖性 的充分 性原 理 如果 一个 算法 能够 对于 一个 可界 定类 的每 一个 实例 就是成员 在经过 有限步骤运算加以界定 之后 就是首先排除 不属于本 类范围之内 的实例 都有一个针对实例的具体的类属性与个性的统一的 ! 为本领域专家认可的可信赖的处理方法 从 而使得其 处理结 果达 到当代 此领域 的专家 水平的 话 那 么 这个 算法

30、就 可以证 明是 可信赖 的 这是可信赖性的充分性原理 原理 3 可信赖算 法的集成 原理 基于 可界定类 与 ¯ ¯ ° 理 论的若干可 界定领域 的可信 赖算法是可以集成的 这些可信赖算法由于各自不会去干预不属于自己的可界定类的事务 也 不提 供错误的答案 因此集成 后的系统仍然是可信 赖的 因此通 过不断的 继承和集 成 将能够 逼近最终实现可依赖系统的目标 8 如何实现 可信赖的算法 可信赖 算法和可信赖系统不是 从天上掉下来的 是在不断扬 弃不可信 赖算法的 基础上发 展出来的 我们认为 如果能够按照下列步骤去做 就可以实现可信赖算法 首先要定义一个可界

31、定类 如果原来的 算法出现错误 那么 可以 加强类的限定条件 将算法限制在足够小的范围之内 直到能够证明算法是可信赖的为止 因此 这个定义过程 实 信 息 与 控 制 卷 际 上就是建 立一个 算法 所针对 的可界 定类的 过程 按 照定 义 界定 算法必 须在有 限步 骤内完 成 事实上 只有类的描述属于可界定的描述 那么 这个类就是一个可界定的类 寻找解决此类问题的专家 由专家制订此 类问题的基于类属性与 对象个性的 ! 详细的 求解原则 “ 将这些基于类属性与对象个性的! 详细的 求解原则输入计算机 并 编制相应的处理程 序 执行 这些原则 该算法首先 要判定所到来的实例 是不是本类 能

32、够和应 该处理的 对象 排除 不属 于本类的一切实例 拒绝 回答 从而排除将导致 不可信赖性 的因素 然 后按照详 细原则办 理 就可以实现本问题的可信赖的求解 基于上述的理论 我们已经实现了包括门牌号 ! 单位名与信箱三个子类的通信地址类的判 定 ! 分析与翻译的可信赖算法与实用系统 它能够接受诸如此类的各种通信地址的中文写法 辽宁沈阳三好街 号沈阳自动化所 中国济南市中区大名湖路 号 上海市 号信箱 能将他们 à 正确地翻译为英文 为了保证 自己分析与翻译的可信 赖性 这个系统包含 了一 个数万条数据库记录和 基于地名 ! 单位名和信 箱分析 ! 翻译 知识库的 可信赖推 理系统

33、 如 果到 来的通信地址有误或者 为本系统缺乏知识的新 型的通信地 址 这个系 统将采取 拒绝翻译 的 做法 而 且提示 设计 者补充 有关知 识条目 研究表 明 在 可信赖 理论的 指导下 很快 就会发 现 泛泛 的通信地址的分析知 识是不足以有效地解 决问题的 而 人类之所 以能够不 出现错误 是因 为使用这些通信地址的 人包括了各级邮政分选 投递人员 他 们利用自 己具有相 应的知识 处理了通信地址中的不同部分 这些部分对于每一个人来讲 都是他们非常熟悉的缘故 因此 计算机只有将分散在各级邮政分选投递人员头脑中的这些知识全部集成到自己的数据库里才 有可能解决正确的分析问题 然后才有可能翻

34、译为正确的英文» ½ 9 后记 我们已经建立了可信赖性理论的全部框架而且实现了一个可信赖通信地址汉英翻译系统 实例 证 明了这个目标的可行 性与艰巨性 作者感谢 中国科学院 机器人学 开放实验 室谈大龙 ! 王越 超等同志大力支持 他们 对本文分别提出了宝 贵意见 也感 谢辽宁科 技情报所 曹猛同志 ! 沈阳 建工学院计算机系的李 彦军 ! 孟庆江 ! 胡葆华等 同学的工作 辽宁科技 情报所丁 明安同志 也对本文提出宝贵意见 参 考 文 献 李应潭 可信赖人工智能的概念 中国科学院沈阳自动化所研究报告 李应潭 李彦军 孟庆江面向可信赖机器翻译的通信地址类模型的提取 ! 界定

35、和分析 中国科学院沈阳自动化所研究报 告 李应潭 丁明安 地名 ! 单位名和通信地址英汉汉英翻译手册 将出版 刘东立 基于继承的汉英直译系统的研究与实践 东北大学博士学位论文 李应潭 可信赖性和可依赖性 中国科学院沈阳自动化所研究报告人工智能可信赖性与可信赖算法研究 下转第 “ ” 页 期 邓则名等 具有多滞后非线性定常关联控制系统的镇定性研究 M itx tx t S H i i , p 和 M i 是非线性项 采用 / 鲁棒镇定等价法 0 可得到类似于定理 的结构与关联鲁棒镇定 参 考 文 献 “ 张新政 刘永清 多组多滞后区间常系数关联线性控制系统的结构与鲁棒镇定5 系统工程6 1 4“

36、* 秦元勋 刘永清 王联 带有时滞的动力系统的运动稳定性 科学出版社 “ ¬ Õ ¹ ÏÎÇ ÎÇ - ÁÏ ¸ ÕÅ ÈÕ ´ È ³ÔÂÉÉ É ÁÎÄ £ ÏÎÔÏÌ Æ É ÑÉ Ã Î Å Á

37、; Ì ÚÁÔ ÏÎ Ò ÏÒÔ ®ÏÎÌ ÎÅ ÈÅ É ÁÒ£ ÏÎÔÏÌ ³ÙÓ Å Ó × ÉÈ ´ É Å ÄÅÁÙÓ Ò ÔÍ

38、Ô Í 2 Ì / ¡ ÄÖÁÎà ÓÉ - ÏÄÅÌ ÎÇ ³É ÕÌ É Á £ ÏÎÔÏÌ * Å Î ÌÉ Í ÁÔ ÏÎ ÎÄ Ò 0 ” 刘永清 唐功友 大型动力系统的理论与应用

39、 卷 “ 第 章华南理工大学出版社 刘永清 徐维鼎 大型动力系统的理论与应用 卷 华南理工大学出版社 º ÈÁÎÇ ¸ É ÎÚÈÅ ÎÇ ´ È ³ÔÕ ÔÒ ÁÎÄ ©ÎÔÒÏÎÎÅ ÔÄ ² ÏÂÕÓ Å

40、 ÒÃÕ Å ÅÃ ÃÅ Ô³ÔÂÉÉ Ô ÏÆ ©ÎÔÒ Á ÌÚÁ É ÏÎ Å ÖÁÌ £ ÏÅ ÆÃÅ Ó¬ ÎÅ Æ ÉÉÎ

41、12; É ÁÒ©ÎÔÒ ÏÎÎÅ ÔÄ Åà ÃÅ £ ÏÎÔ Ò Ï̳ÙÓ Å Ó× ÉÈ - Õ Ô Ò Ð Ô Å Ì ÙÓ ÔÍ Ô Ì

42、É ÏÕ É 2ÄÅ Á § Å Ò Ì ³ÙÓ Å Ó³ÔÄÉÓÁÎÄ ¡ Ð ÌÉÁÔ * Ç Í ÎÅ Á ÔÍ Õ Å Ð Ã É ÏÎÓ T

43、 H E ST U D Y O F ST A B ILIZ A T IO N O F N O N LIN E A R CO N ST A N T IN T E R CO N N E C T E D CO N T R O L SYST E M S W ITH T IM E D E L A YS ¤ ¥ ®§ º ÈÅ É Í ÎÇ º ¨ ¡ ®¤ ¸ É ÎÚÈÅ Î

44、Ç G uan g d on g U niv of T e chnol y G uan g zhou P R Chin a og A b stract ©Î Ô Ó ÐÁÐÅ Ô Ã ÈÉ Ò ÈÅ ÏÎÃ ÐÔ ÏÆ Ó Ò Ô Å Æ Å Ó ÔÕÃ Õ&

45、#210; ÏÒÎ ÏÎÌ Î Å É ÁÒÃ Ó ÁÎ ÔÉ ÅÒ ÏÎÎÅÃ Å Ã ÏÎ Ô ÎÔ Ã ÔÄ ÏÎÔ ÏÌ Ó ÔÍ Ó Ò Ù

46、Ó Å × ÉÈ Í ÕÌ É ÏÕÐ Ô Å ÄÅ ÁÙÓ ÁÒ Æ Í ÕÌ Å ´ ÈÅ Ó Ò Ô Å ÁÎ Ä É Å Ã Ô Ô ÇÒ É 2 &#

47、204; Í Å ÏÒ ÁÔÄ ÔÕÃ ÕÒ ÎÔ Ò ÏÎÎÅÃ Å Ó ÁÂÉÉ É ÏÆ ÎÏÎ Ì Î Å Ã 2 ÔÄ Ô Ì ÚÁÔÏÎ

48、É ÁÒ ÏÎ Ó ÁÎÔÉ ÔÒ ÏÎÎ Å Ô Ã Ò Ó ÔÍ Ó × ÉÈ Í ÕÌÔ ÏÕÐ Ô Å ÄÅ ÁÙÓ ÁÎ Ä ÐÅ 

49、2; ÂÁÔÏÎ Ó Ò Ô Å ÐÁÒ Å ÅÒ É Ô Î ÅÃ Ã ÅÄ ÏÎÔÏÌ ÙÓ Å Ô É ÇÒ É 2 Ì Í Ò ÕÒ É ÔÕÃ

50、; ÕÒ ÁÍ Ô Ó Ó Ã ÏÎÓ ÄÅ Å ÂÁÓ Ä ÏÎ Ô ÅÑÕÉ ÁÌÅ Å Í Å ÈÏÄ ÏÆ Ó ÁÂÉ ÚÁÔÏÎ -

51、97; É ÒÄ Å ÈÅ Ö ÎÃ Ô Ô ÌÉ É ÁÎ× ÈÉ Ô Å ÔÍ ÁÔ Ä Æ Í ÕÌÁÓ ÏÆ ÂÏÕÎ ÄÓ ÌÅ ÈÅ Ó

52、É Å ÏÒ Æ ÄÅ ÏÒ ÌÁÙ ÁÎÄ ÐÅ Ô ÂÅ ÐÁÒ Å ÅÒÏÆ Ò Ò ÕÒ Ä ÁÍ Ô ÏÂÕÓ Ô ÌÉ É ÁÒ

53、 ÇÉ Å ÔÓ ÁÂÉ ÚÁÔÏÎ Å Ö Î K ey w o rd s ÅÑÕÉ ÁÌÅ Ã Í Å ÈÏÄ ÏÆ Ì Ö Î Å Ô ÙÁÐÕÎ ÏÖÓ

54、 Æ Ã É ÎÏÎÌÉ ÕÎ Ô ÏÎ ÎÅÁÒ É ÔÒ ÏÎ ÎÅ Ô Ã ÔÏÌ Ó Ô Ó Î ÅÃ Ã ÅÄ ÏÎ Ò ÙÓ ÅÍ 

55、00;Å ÎÔ Ò ÏÎÎ Å ÔÄ Ò Í ÕÌ É ÏÕÐ Ô Å ÄÅ ÔÇÒ É 2 ÌÁÙÓ Ô É Å Ã Í Ã Å ÏÂÕÓ Ô ÌÉ 

56、1; ÔÓ ÁÂÉ ÚÁÔÏÎ 作者简介 邓则铭 岁 副教授 硕士生导师 研究 领域为控制理论及应用工程的教学与研究工作 张新政 ”“ 岁 教授 研究领域为时滞 线性 ! 非线性控制系统结构的鲁棒稳定 ! 镇定及算法仿真 上接第 页 R E SE A R C H O N T R U ST W O R T H IN E SS A N D T R U ST W O R T H Y A L G O R IT H M O F A I ¬© ¹ É Á&#

57、206; ÎÇÔ Shenyang I nstitute of A utom ation Chin ese A cad e m y o S cience s f A b stract ´ ÈÉ ÐÁÐÅ ÐÒ Å Ô Ô Ã Ã ÐÔÏÆ ´ Ò Ô ÏÒ ÈÉ ÓÓ ÁÎ

58、96; ´ Ò Ô ÏÒ ÈÙ ÁÌÇÏÒÔ Ó Ò ÅÎÓ Î Ó ÈÅ ÏÎ Å ÕÓ × Ô ÎÅ ÕÓ × Ô É ÈÍ É ¡ © Ô Î È

59、3;Ô Í ÅÁÎ ÓÁÎ ¡ © Ó Ô Í Ó ÙÓ Å ÈÏÕÌ ÇÉ Å ÁÎ ÁÎÓ Å Ä Ö × ÒÂÅ ÏÒ ÎÏÔÈÁÖ É ÔÕÓ × ÏÒ ÈÙ ËÎÏ× Ì Æ Å ÎÇ Ò Ô Ô ÅÄÇÅ