第2卷第3期 智能系统学报 Vol.2 N23 2007年6月 CAAI Transactions on Intelligent Systems Jun.2007 可拓信息·知识·智能形式化体系研究 杨春燕，蔡文 (广东工业大学可拓工程研究所，广东广州510090) 摘要：利用可拓论和可拓方法，把信息、知识和智能统一在一个形式化体系中，用可拓推理和可拓变换，去建立生 成策略的推理规则，把可拓集合和关联函数作为策略生成和策略评价的定量化工具，探讨建立“可拓信息一知识一 智能形式化体系”给出了建立该体系的框架和主要功能模块.这一研究为利用计算机辅助解决矛盾问题提供可行 的工具，为提高计算机的智能化水平创造基础条件， 关键词：人工智能；可拓论；可拓推理；可拓集合；可拓信息，知识·智能形式化体系 中图分类号：TP18文献标识码：A文章编号：1673-4785(2007)03-0008-04 A formalized system of extension information kno wledge-intelligence YAN G Chun-yan,CAI Wen (Research Institute of Extension Engineering,Guangdong University of Technology,Guangzhou 510090,China) Abstract:This paper discusses a formalized system extending information-knowledge-intelligence,uni- ting them by extension theory and extension methods.Reasoning rules for generating strategies with ex- tension reasoning and extension transformation are also established.The extension set and correlation function are used as quantitative tools for strategic generation and evaluation.A framework for establis- hing this system and its primary function modules are presented.The method provides practical tools for using computers to solve contradictive problems and creates basic conditions for improving the intelligence level of computers. Keywords:artificial intelligence;extension theory;extension reasoning;extension set;formalized system of extension information-knowledge-intelligence 随着科学技术的进步，充分利用智能工具将是 和知识，去生成策略的能力 国民经济众多领域现代化的重要任务.因此，创制智 目前，在人工智能中，信息和知识表示方法种类 能机器已经成为当代科学技术的重要工作.而创制 繁多，每一种都有其优点，又同时存在缺点.此外，它 智能机器的关键是如何使机器能够把获得的信息加 们还存在一个共同的问题，就是它们都缺乏严格的 工成知识，和如何使机器利用信息和知识，生成策略 理论体系.另一方面，也应该看到，在有效生成知识 去处理问题川，这种能力也就是智能 和产生智能方面，现有的理论和方法远远不能满足 在生产实践、军事活动和科学实验中，当人们遇 研制高水平智能计算机的要求 到各种矛盾问题时，会期望计算机能够进行创造性 人类对计算机智能水平的要求越来越高，而要 思维，帮助提出高水平的解决策略.这就需要计算机 提高计算机的智能水平，离不开信息、知识和智能， 具有从主观目标出发，搜集客观环境中有关的信息 文献[1]研究了它们的关系，文献[2]提出“信息-知 收稿日期：20060928. 识-策略-行为”的统一理论.但这只是理论上的构 基金项目：因家自然科学基金资助项目(70671031,60575034)：广东 省自然科学基金资助项目(05001832,010049). 想，要实现这种统一，关键在于建立“信息·知识 1994-2009 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
第 2 卷第 3 期 智 能 系 统 学 报 Vol. 2 №. 3 2007 年 6 月 CAA I Transactions on Intelligent Systems J un. 2007 可拓信息 - 知识 - 智能形式化体系研究 杨春燕 , 蔡 文 (广东工业大学 可拓工程研究所 ,广东 广州 510090) 摘 要 :利用可拓论和可拓方法 ,把信息、知识和智能统一在一个形式化体系中 ,用可拓推理和可拓变换 ,去建立生 成策略的推理规则 ,把可拓集合和关联函数作为策略生成和策略评价的定量化工具 ,探讨建立“可拓信息 —知识 — 智能形式化体系”. 给出了建立该体系的框架和主要功能模块. 这一研究为利用计算机辅助解决矛盾问题提供可行 的工具 ,为提高计算机的智能化水平创造基础条件. 关键词 :人工智能 ;可拓论 ;可拓推理 ;可拓集合 ;可拓信息 - 知识 - 智能形式化体系 中图分类号 : TP18 文献标识码 :A 文章编号 :167324785 (2007) 0320008204 A formalized system of extension information - knowledge - intelligence YAN G Chun2yan , CAI Wen (Research Institute of Extension Engineering , Guangdong University of Technology , Guangzhou 510090 , China) Abstract :This paper discusses a formalized system extending information - knowledge - intelligence , uni2 ting t hem by extension t heory and extension met hods. Reasoning rules for generating strategies wit h ex2 tension reasoning and extension transformation are also established. The extension set and correlation f unction are used as quantitative tools for strategic generation and evaluation. A framework for establis2 hing t his system and its primary f unction modules are presented. The met hod provides practical tools for using comp uters to solve contradictive problems and creates basic conditions for improving t he intelligence level of comp uters. Keywords : artificial intelligence ; extension theory ; extension reasoning ; extension set ; formalized system of extension information - knowledge - intelligence 收稿日期 :2006209228. 基金项目 :国家自然科学基金资助项目 (70671031 ,60575034) ;广东 省自然科学基金资助项目(05001832 ,010049) . 随着科学技术的进步 ,充分利用智能工具将是 国民经济众多领域现代化的重要任务. 因此 ,创制智 能机器已经成为当代科学技术的重要工作. 而创制 智能机器的关键是如何使机器能够把获得的信息加 工成知识 ,和如何使机器利用信息和知识 ,生成策略 去处理问题[1 ] ,这种能力也就是智能. 在生产实践、军事活动和科学实验中 ,当人们遇 到各种矛盾问题时 ,会期望计算机能够进行创造性 思维 ,帮助提出高水平的解决策略. 这就需要计算机 具有从主观目标出发 ,搜集客观环境中有关的信息 和知识 ,去生成策略的能力. 目前 ,在人工智能中 ,信息和知识表示方法种类 繁多 ,每一种都有其优点 ,又同时存在缺点. 此外 ,它 们还存在一个共同的问题 ,就是它们都缺乏严格的 理论体系. 另一方面 ,也应该看到 ,在有效生成知识 和产生智能方面 ,现有的理论和方法远远不能满足 研制高水平智能计算机的要求. 人类对计算机智能水平的要求越来越高 ,而要 提高计算机的智能水平 ,离不开信息、知识和智能. 文献[ 1 ]研究了它们的关系 ,文献[ 2 ]提出“信息 - 知 识 - 策略 - 行为”的统一理论. 但这只是理论上的构 想 ,要实现这种统一 ,关键在于建立“信息 - 知识 -
第3期 杨春燕，等：可拓信息，知识，智能形式化体系研究 ·9 策略-行为”的形式化体系.也就是说，面对给定问 题的目标和环境，计算机如何简洁地表示收集到的 信息和知识；同时，能按照某些规则，生成解决问题 识 所需要的知识，又从这些信息和知识生成解决该问 题的策略，并对这些策略进行评价.因此，建立能明 示式库 反馈 了表示信息和知识、具有生成知识、产生和评价策略 成 的规则的形式化体系，已成为当前迫切需要研究的 人 息元库 识表 可 对话 基础问题 优策略 理问题 标 式 1“可拓信息-知识.智能形式化体 库 策略库 系”的框架 规则库 可拓论的第一篇论文“可拓集合与不相容问 可拓推理规则 题1发表于1983年，建立了以物元为逻辑细胞的 可拓变换规则 物元模型，逐步发展为可拓学3.).之后，部分学者 优度评价规侧则 进行了可拓学与人工智能相结合的研究.1998年以 来，笔者主持和参加了多项国家自然科学基金项目， 图1建立“可拓信息知识智能形式化体系”的框图 Fig 1 The frame of establishing "the formalized system 发表了多篇与信息、知识表示与生成、策略生成等有 关的论文，如“关键策略初探4)、“可拓营销策略生 of extension informationknowledge-intelligence" 成系统的基本思路和关键技术州)和“可拓知识库 2“可拓信息·知识智能形式化体 系统及其应用州16]等.在国家自然科学基金项目“可 系”的主要功能模块 拓策略生成系统的基础理论与基本方法研究”中，研 究了知识发现（或数据挖掘）与策略生成71文献 2.1研究以物元、事元和关系元为基本元的信息表 [13]介绍了可拓论的基本框架、可拓逻辑的初步研 示体系，以建立信息元库 究成果和可拓逻辑的初步应用，并指出，“可拓知识 信息和知识的表示是人工智能和知识工程中一 表示方法与其他知识表示方法，在一定条件下可以 个核心内容.现有的知识表示有直接表示和替代表 互相转化”.目前，关于“可拓信息-知识-智能形式 示2种，替代表示包括分布表示和局部表示.本信息 表示体系包括如下信息表示方法：1)用物元表达陈 化体系”的研究正在进行中」 述性信息的方法，2)用事元表达行为型信息的方法； 这些研究表明，可拓论建立了描述物、事和关系 3)用关系元表达关系型信息的方法；4)用复合元表 的基本元物元、事元和关系元，可以作为描述信 示复杂信息的方法.上述以基元表示的信息统称为 息和知识的逻辑细胞.它建立的可拓推理规则可以 信息元 用来生成知识，可拓变换规则可以作为产生策略的 2.2研究从信息元生成知识的方法与规则，以建立 基础；可拓集合和关联函数可以作为生成策略的定 知识表示式库 量化工具，可拓评价方法可以用来评价和筛选策略. 信息经过加工，可以抽象为知识.在科学发展的 从而可以在可拓论和可拓方法的基础上建立“基于 初期阶段，人类主要通过归纳的方法，一点一滴地生 可拓论的信息一知识智能的形式化体系”，该体系 成知识和积累知识.随着人类拥有的知识越来越多， 从对信息、知识的形式化表达，到生成策略，处理问 通过理论思维从己有知识演绎出新知识，逐渐成为 题（形成智能）的过程框图如图1所示 生成知识的重要手段.人们研究了形态性知识、内容 性知识和效用性知识的生成机制，研究了一些知识 生成方法 1994-2009 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
策略 - 行为”的形式化体系. 也就是说 ,面对给定问 题的目标和环境 ,计算机如何简洁地表示收集到的 信息和知识 ;同时 ,能按照某些规则 ,生成解决问题 所需要的知识 ;又从这些信息和知识生成解决该问 题的策略 ,并对这些策略进行评价. 因此 ,建立能明 了表示信息和知识、具有生成知识、产生和评价策略 的规则的形式化体系 ,已成为当前迫切需要研究的 基础问题. 1 “可拓信息 - 知识 - 智能形式化体 系”的框架 可拓论的第一篇论文“可拓集合与不相容问 题”[3 ] 发表于 1983 年 ,建立了以物元为逻辑细胞的 物元模型 ,逐步发展为可拓学[3 - 13 ] . 之后 ,部分学者 进行了可拓学与人工智能相结合的研究. 1998 年以 来 ,笔者主持和参加了多项国家自然科学基金项目 , 发表了多篇与信息、知识表示与生成、策略生成等有 关的论文 ,如“关键策略初探”[14 ] 、“可拓营销策略生 成系统的基本思路和关键技术”[ 15 ] 和“可拓知识库 系统及其应用”[16 ]等. 在国家自然科学基金项目“可 拓策略生成系统的基础理论与基本方法研究”中 ,研 究了知识发现(或数据挖掘) 与策略生成[17 - 19 ] . 文献 [13 ]介绍了可拓论的基本框架、可拓逻辑的初步研 究成果和可拓逻辑的初步应用 ,并指出 “, 可拓知识 表示方法与其他知识表示方法 ,在一定条件下可以 互相转化”. 目前 ,关于“可拓信息 - 知识 - 智能形式 化体系”的研究正在进行中. 这些研究表明 ,可拓论建立了描述物、事和关系 的基本元 ———物元、事元和关系元 ,可以作为描述信 息和知识的逻辑细胞. 它建立的可拓推理规则可以 用来生成知识 ,可拓变换规则可以作为产生策略的 基础 ;可拓集合和关联函数可以作为生成策略的定 量化工具 ,可拓评价方法可以用来评价和筛选策略. 从而可以在可拓论和可拓方法的基础上建立“基于 可拓论的信息 —知识 —智能的形式化体系”,该体系 从对信息、知识的形式化表达 ,到生成策略 ,处理问 题(形成智能) 的过程框图如图 1 所示. 图 1 建立“可拓信息 —知识 —智能形式化体系”的框图 Fig11 The frame of establishing“the formalized system of extension information2knowledge2intelligence” 2 “可拓信息 - 知识 - 智能形式化体 系”的主要功能模块 211 研究以物元、事元和关系元为基本元的信息表 示体系 ,以建立信息元库 信息和知识的表示是人工智能和知识工程中一 个核心内容. 现有的知识表示有直接表示和替代表 示 2 种 ,替代表示包括分布表示和局部表示. 本信息 表示体系包括如下信息表示方法 :1) 用物元表达陈 述性信息的方法 ;2) 用事元表达行为型信息的方法 ; 3) 用关系元表达关系型信息的方法 ;4) 用复合元表 示复杂信息的方法. 上述以基元表示的信息统称为 信息元. 212 研究从信息元生成知识的方法与规则 ,以建立 知识表示式库 信息经过加工 ,可以抽象为知识. 在科学发展的 初期阶段 ,人类主要通过归纳的方法 ,一点一滴地生 成知识和积累知识. 随着人类拥有的知识越来越多 , 通过理论思维从已有知识演绎出新知识 ,逐渐成为 生成知识的重要手段. 人们研究了形态性知识、内容 性知识和效用性知识的生成机制 ,研究了一些知识 生成方法. 第 3 期 杨春燕 ,等 :可拓信息 - 知识 - 智能形式化体系研究 ·9 ·
·10· 智能系统学报 第2卷 从20世纪90年代开始，国内外开展了“面向数 的基础理论和知识论建立新的形式化体系，为创制 据库”的数据挖掘和知识发现的研究.这一研究的目 智能系统提供描述工具：2)为描述创造性思维提供 的，是要从数据库的大量数据中发现具有规律性的 可行的方法，为使计算机能生成解决矛盾问题的策 数据关联，即知识，但还相当局限，远未形成体系，也 略提供基础理论和基本方法 没有与智能的产生联系起来20).在本体系中，建立 了从信息元生成知识的方法与规则2，主要包括： 参考文献： 1)根据可拓论生成形态性知识的方法与规则；2)根 [1]钟义信，知识论框架：通向信息·知识.智能统一的理论 据可拓论生成内容性知识的方法与规则，3)根据可 [U].中国工程科学，2000,2(9)：50.64 拓论生成效用性知识的方法与规则.根据这些方法 ZHONG Yixin.A framework of knowledge theory:to- 和规则，人们可以从数据库或数据仓库中挖掘出“变 ward a unified theory of information,knowledge and in- 化的知识” telligence[J].Engineering Science,2000,2(9):50-64. [2]钟义信.知识学：信息·知识.策略·行为的统一理论 2.3研究从信息和知识生成策略的方法和规则，以 [A].中国人工智能进展(2003)[C].北京，2003. 建立可拓策略库 ZHONG Yixin.Knowledge science:a unified theory of 有了知识并不等于有了智能，文献[19]认为： information,knowledge,strategy and action[A].Pro- “如何使知识进一步变化为智能策略，是具有巨大意 gress of Artificial Intelligence in China (2003)[C].Bei- 义的另一类研究课题”.同时还提出了一个算法，即 jng,2003. “知识激活算法”，但知识激活乃至策略生成问题目 [3]CAI Wen.Extension set and nomcompatible problems 前仍然是需要深入研究的课题.本体系研究从信息 [A].Advances in applied mathematics and mechanics in 和知识生成策略的方法与规则8)，主要包括：1)从 China[C].Beijing,1990. 信息直接生成策略的可拓变换方法与规则；2)从知 [4]CAI Wen.Extension theory and its application[J ]Chi- 识生成策略的可拓变换方法与规则；3)利用可拓集 nese Science Bulletin,1999,44(17):1538-1548. 合和关联函数生成评价策略的方法与规则.人们可 [5]CAI Wen.Extension management engineering and appli- cations [J ]International Journal of Operations and 以利用这些方法和规则，去生成解决问题的策略，从 Quantitative Management,1999,5(1):59-72. 而形成策略库】 [6]CAI Wen,YAN G Chunyan L IN Weichu.Extension 2.4研究根据问题的目的和条件，利用可拓论处理 Engineering Methods M].Beijing:Science Press, 问题的方法和过程，以建立问题处理模块 2003 在可拓学中，给出了问题的可拓模型及矛盾问 [7]蔡文.物元分析[M].广州：广东高等教育出版社， 题求解方法322].本体系利用这些工具研究了根 1987. 据问题的目的和条件生成解决问题的策略的可拓变 [8]蔡文.物元模型及其应用[M).北京：科学技术文献出 换方法与规则；利用人机对话筛选策略和对处理过 版社，1994. 程进行反馈的方法与规则；综合出生成策略、处理问 [9]蔡文，孙弘安，杨益民，陈巨龙.从物元分析到可拓学 题的方法，从而建立问题处理模块 [M].北京：科学技术文献出版社，1995 [10]DAVID K W,CAI Wen.Treating norrcompatible 3本体系的特色和研究意义 problem from matter-element analysis to Extenics[J]. ACM SIGICE Bulletin,1997,22(3):1-9. 本体系是进行矛盾问题智能化处理研究的基 [11]杨春燕.事元及其应用U].系统工程理论与实践， 础，它具有如下的特点：1)形式化、逻辑化、数学化 1998,18(2):80-86 2)利用可拓方法进行变换和推理，为使计算机能生 YAN G Chunyan.Affair-element and its applications 成知识和策略，以至处理问题，建立可操作的工具 [J].Systems Engineering-Theory Practice,1998, 3)具有评价的功能，能利用优度评价方法对所生成 18(2):80-86. 的策略进行评价 [12]杨春燕，蔡文.可拓工程研究U].中国工程科学， 研究本体系具有如下意义：1)为研究人工智能 2000,2(12):90.96 1994-2009 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
从 20 世纪 90 年代开始 ,国内外开展了“面向数 据库”的数据挖掘和知识发现的研究. 这一研究的目 的 ,是要从数据库的大量数据中发现具有规律性的 数据关联 ,即知识 ,但还相当局限 ,远未形成体系 ,也 没有与智能的产生联系起来[ 20 ] . 在本体系中 ,建立 了从信息元生成知识的方法与规则[21 ] ,主要包括 : 1) 根据可拓论生成形态性知识的方法与规则 ;2) 根 据可拓论生成内容性知识的方法与规则 ;3) 根据可 拓论生成效用性知识的方法与规则. 根据这些方法 和规则 ,人们可以从数据库或数据仓库中挖掘出“变 化的知识”. 213 研究从信息和知识生成策略的方法和规则 ,以 建立可拓策略库 有了知识并不等于有了智能 ,文献[ 19 ]认为 : “如何使知识进一步变化为智能策略 ,是具有巨大意 义的另一类研究课题”. 同时还提出了一个算法 ,即 “知识激活算法”,但知识激活乃至策略生成问题目 前仍然是需要深入研究的课题. 本体系研究从信息 和知识生成策略的方法与规则[18 ] ,主要包括 :1) 从 信息直接生成策略的可拓变换方法与规则 ;2) 从知 识生成策略的可拓变换方法与规则 ;3) 利用可拓集 合和关联函数生成评价策略的方法与规则. 人们可 以利用这些方法和规则 ,去生成解决问题的策略 ,从 而形成策略库. 214 研究根据问题的目的和条件 ,利用可拓论处理 问题的方法和过程 ,以建立问题处理模块 在可拓学中 ,给出了问题的可拓模型及矛盾问 题求解方法[13 ,22 - 24 ] . 本体系利用这些工具研究了根 据问题的目的和条件生成解决问题的策略的可拓变 换方法与规则 ;利用人机对话筛选策略和对处理过 程进行反馈的方法与规则 ;综合出生成策略、处理问 题的方法 ,从而建立问题处理模块. 3 本体系的特色和研究意义 本体系是进行矛盾问题智能化处理研究的基 础 ,它具有如下的特点 :1) 形式化、逻辑化、数学化. 2) 利用可拓方法进行变换和推理 ,为使计算机能生 成知识和策略 ,以至处理问题 ,建立可操作的工具. 3) 具有评价的功能 ,能利用优度评价方法对所生成 的策略进行评价. 研究本体系具有如下意义 :1) 为研究人工智能 的基础理论和知识论建立新的形式化体系 ,为创制 智能系统提供描述工具 ;2) 为描述创造性思维提供 可行的方法 ,为使计算机能生成解决矛盾问题的策 略提供基础理论和基本方法. 参考文献 : [1 ]钟义信. 知识论框架 :通向信息 - 知识 - 智能统一的理论 [J ]. 中国工程科学 ,2000 ,2 (9) :50 - 64. ZHON G Yixin. A framework of knowledge theory : to2 ward a unified theory of information , knowledge and in2 telligence[J ]. Engineering Science , 2000 ,2 (9) :50 - 64. [2 ]钟义信. 知识学 :信息 - 知识 - 策略 - 行为的统一理论 [A ]. 中国人工智能进展(2003) [C]. 北京 ,2003. ZHON G Yixin. Knowledge science : a unified theory of information , knowledge , strategy and action [ A ]. Pro2 gress of Artificial Intelligence in China (2003) [ C]. Bei2 jing ,2003. [3 ] CAI Wen. Extension set and non2compatible problems [ A ]. Advances in applied mathematics and mechanics in China[C]. Beijing ,1990. [4 ]CAI Wen. Extension theory and its application[J ]. Chi2 nese Science Bulletin ,1999 ,44 (17) :1538 - 1548. [5 ]CAI Wen. Extension management engineering and appli2 cations [ J ]. International Journal of Operations and Quantitative Management , 1999 , 5 (1) : 59 - 72. [ 6 ] CAI Wen , YAN G Chunyan ,L IN Weichu. Extension Engineering Methods [ M ]. Beijing : Science Press , 2003. [7 ]蔡 文. 物元分析 [ M ]. 广州 :广东高等教育出版社 , 1987. [8 ]蔡 文. 物元模型及其应用[ M ]. 北京 :科学技术文献出 版社 ,1994. [9 ]蔡 文 ,孙弘安 ,杨益民 ,陈巨龙. 从物元分析到可拓学 [ M ]. 北京 :科学技术文献出版社 ,1995. [ 10 ] DAVID K W , CAI Wen. Treating non2compatible problem from matter2element analysis to Extenics[J ]. ACM SIGICE Bulletin , 1997 , 22 (3) :1 - 9. [11 ]杨春燕. 事元及其应用 [J ]. 系统工程理论与实践 , 1998 ,18 (2) :80 - 86. YAN G Chunyan. Affair2element and its applications [J ]. Systems Engineering —Theory & Practice , 1998 , 18 (2) : 80 - 86. [12 ]杨春燕 , 蔡 文. 可拓工程研究[J ]. 中国工程科学 , 2000 , 2 (12) :90 - 96. ·10 · 智 能 系 统 学 报 第 2 卷
第3期 杨春燕，等：可拓信息·知识。智能形式化体系研究 。11 YANG Chunyan,CAI Wen.Study on extension engi- [21 YANG Chunyan,WANG Guanghua,LI Yang,CAI neering[J ]Engineering Science,2000,2(12):90-96. Wen.Study on knowledge reasoning based on extended [13]蔡文，杨春燕，何斌.可拓逻辑初步[M].北京：科 formulas[A ]International Conference on AIAI[C]. 学出版社，2003 New York:Springer Verlag,2005. [14]王洪伟.关键策略初探[J].系统工程理论与实践，1998， [22]蔡文，杨春燕，王光华.矛盾问题智能化处理研究提纲 18(2):106-110 [A].中国人工智能进展[C].北京，2005 WANG Hongwei.Primary research on key tactics[J]. CAI Wen,YANG Chunyan,WANG Guanghua.Study Systems Engineering Theory Practice,1998,18(2): syllabus on the intelligentize disposal of contradiction 106.110. problems[A].Progress of Artificial Intelligence in Chi- [15]杨春燕，李立希，蔡文.可拓营销策略生成系统的基 na (2005)[C].Beijing,2005. 本思路和关键技术[A],中国人工智能进展(2001) [23]杨春燕.多特征不相容问题求解研究[A].中国人工智 [C].北京，2001。 能进展[C].北京，2005. YANG Chunyan,LI Lixi,CAI Wen.The basic idea YANG Chunyan.Study on multi-characteristic incom and key technology of extension marketing strategy gen- patibility problems solving [A ]Progress of Artificial erating system[A].Progress of Artificial Intelligence in Intelligence in China (2005)[C].Beijing,2005 China (2001)[C].Beijing,2001. [24 YANG Chunyan.Conductive transformation and con- [16]李立希，李嘉.可拓知识库系统及其应用[U].中国工 ductive contradictory problem solving[A].Proceedings 程科学，2002,3(3)：61-64. of 2006 International Conference on AI[C].Beijing, LI Lixi,LI Jia.Extension knowledge base system and 2006. its application[J ]Engineering Science,2002,3(3):61 作者简介： .64. 杨春燕，女，1964年生，研究员，中国 [17]李嘉，李立希.基于可拓变换策略生成的计算机实现 人工智能学会理事，中国人工智能学会可 研究[A].中国人工智能进展[C].北京，2003 拓工程专业委员会常务副主任，主要研究 LIJia,LI Lixi.Study on the computer realization of 方向为可拓学、人工智能、决策科学研究 strategy generating based on extension transformation 主持国家基金项目2项，广东省自然科学 基金项目2项，参加因家基金项目多项，在 [A].Progress of Artificial Intelligence in China(2003) 各级各类学术期刊发表论文40余篇，出版 [C].Beijing ,2003 专著5部。 [18]李立希，杨春燕，李铧汶.可拓策略生成系统[M].北 E mail wyw @gdut.edu.cn. 京：科学出版社，2006. [19]陈文伟，杨春燕，黄金才.可拓知识与可拓知识推理U]· 蔡文，男，1942年生，研究员，可 哈尔滨工业大学学报2006,38(7)：1094.1096 拓学的创立者，中国人工智能学会常务 CHEN Wenwei,YANG Chunyan,HUAN GJincai.Ex- 理事，中国人工智能学会可拓工程专业委 tension knowledge and extension knowledge reasoning 员会主任，主要研究方向为可拓学、人工 [J ]Journal of Harbin Institute of Technology,2006, 智能、决策科学研究，主持国家基金项目 38(7):1094.1096 5项，参加国家基金项目多项，出版专著 [20]钟义信.“知识论”基础研究[U].电子学报，2001(1)：96 6部，发表论文多篇。 -102. ZHON G Yixin.Knowledge theory:Fundamentals [J ] Acta Electronic Sinica,2001,(1):96-102. 1994-2009 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net
YAN G Chunyan , CAI Wen. Study on extension engi2 neering[J ]. Engineering Science , 2000 ,2 (12) :90 - 96. [13 ]蔡 文 , 杨春燕 , 何 斌. 可拓逻辑初步[ M ]. 北京 :科 学出版社 ,2003. [14 ]王洪伟. 关键策略初探[J ]. 系统工程理论与实践 ,1998 , 18 (2) :106 - 110. WAN G Hongwei. Primary research on key tactics[J ]. Systems Engineering2Theory & Practice , 1998 ,18 (2) : 106 - 110. [15 ]杨春燕 ,李立希 , 蔡 文. 可拓营销策略生成系统的基 本思路和关键技术 [ A ]. 中国人工智能进展 (2001) [C]. 北京 ,2001. YAN G Chunyan , L I Lixi , CAI Wen. The basic idea and key technology of extension marketing strategy gen2 erating system[ A ]. Progress of Artificial Intelligence in China (2001) [C]. Beijing ,2001. [16 ]李立希 ,李 嘉. 可拓知识库系统及其应用[J ]. 中国工 程科学 ,2002 ,3 (3) :61 - 64. L I Lixi , L I Jia. Extension knowledge base system and its application[J ]. Engineering Science , 2002 ,3 (3) : 61 - 64. [17 ]李 嘉 ,李立希. 基于可拓变换策略生成的计算机实现 研究[A ]. 中国人工智能进展[C]. 北京 ,2003. L I Jia , L I Lixi. Study on the computer realization of strategy generating based on extension transformation [ A ]. Progress of Artificial Intelligence in China (2003) [C]. Beijing ,2003. [18 ]李立希 ,杨春燕 ,李铧汶. 可拓策略生成系统[ M ]. 北 京 :科学出版社 ,2006. [19 ]陈文伟 ,杨春燕 ,黄金才. 可拓知识与可拓知识推理[J ]. 哈尔滨工业大学学报 ,2006 ,38 (7) :1094 - 1096. CHEN Wenwei , YAN G Chunyan , HUAN GJincai. Ex2 tension knowledge and extension knowledge reasoning [J ]. Journal of Harbin Institute of Technology , 2006 , 38 (7) :1094 - 1096. [20 ]钟义信.“知识论”基础研究[J ]. 电子学报 , 2001 (1) :96 - 102. ZHON G Yixin. Knowledge theory : Fundamentals[J ]. Acta Electronic Sinica , 2001 ,(1) :96 - 102. [21 ] YAN G Chunyan , WAN G Guanghua , L I Yang , CAI Wen. Study on knowledge reasoning based on extended formulas[ A ]. International Conference on AIAI[ C ]. New York :Springer Verlag ,2005. [22 ]蔡 文 ,杨春燕 ,王光华. 矛盾问题智能化处理研究提纲 [ A ]. 中国人工智能进展[C]. 北京 ,2005. CAI Wen , YAN G Chunyan , WAN G Guanghua. Study syllabus on the intelligentize disposal of contradiction problems[ A ]. Progress of Artificial Intelligence in Chi2 na (2005) [C]. Beijing ,2005. [23 ]杨春燕. 多特征不相容问题求解研究[ A ]. 中国人工智 能进展[C]. 北京 ,2005. YAN G Chunyan. Study on multi2characteristic incom2 patibility problems solving [ A ]. Progress of Artificial Intelligence in China (2005) [C]. Beijing ,2005. [ 24 ] YAN G Chunyan. Conductive transformation and con2 ductive contradictory problem solving[ A ]. Proceedings of 2006 International Conference on AI [ C ]. Beijing , 2006. 作者简介 : 杨春燕 ,女 ,1964 年生 ,研究员 ,中国 人工智能学会理事 ,中国人工智能学会可 拓工程专业委员会常务副主任 ,主要研究 方向为可拓学、人工智能、决策科学研究. 主持国家基金项目 2 项 ,广东省自然科学 基金项目 2 项 ,参加国家基金项目多项 ,在 各级各类学术期刊发表论文 40 余篇 ,出版 专著 5 部. E2mail :wyw @gdut. edu. cn. 11 · 蔡 文 ,男 ,1942 年生 ,研究员 ,可 拓学的创立者 ,中国人工智能学会常务 理事 ,中国人工智能学会可拓工程专业委 员会主任 ,主要研究方向为可拓学、人工 智能、决策科学研究 ,主持国家基金项目 5 项 ,参加国家基金项目多项 ,出版专著 6 部 ,发表论文多篇. 第 3 期 杨春燕 ,等 :可拓信息 - 知识 - 智能形式化体系研究 ·