第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.netYAN 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 期 杨春燕 ,等 :可拓信息 - 知识 - 智能形式化体系研究 ·