第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 ·