国家自然科学基金重大项目《非规范知识的基本理论和核心技....ppt

国家自然科学基金重大项目《非规范知识的基本理论和核心技术》 回顾与反思 （2004-2008） 申请过程 第一次努力 国家知识基础设施 戈尔：1995 信息高速公路 国家信息基础设施 国家知识基础设施 曹存根: 知识高速公路 长远目标 (三十年):建立一个在全国联网的,集教学,科研,科普,知识性服务于一体的大规模知识网络 需要解决的理论和技术问题 知识的可视化和可操作化 知识的大规模和协作建库 知识的转换、配置、传送和分布式处理 远程教学和个体化教学 知识服务器 知识防火墙 不间断知识维护、获取和更新 网上知识集成 第二次努力 知识科学中的基本问题 及应用 建议研究要点 知识的数学理论 知识的通信和传播理论 认知的计算理论 非规范知识和非经典推理 从海量信息中自动获取知识的理论和技术 未来计算模式下的知识处理研究 Petri的信息观 Petri：能量、动量、。。。都有守恒定律 信息也应该有守恒定律 Petri网应该能够表示这种守恒定律 建立一套信息动力学 知识动力学 研究：知识在人类社会中产生、传播和推动生产力的规律 知识能够量化吗？ 因特网上的知识数量能够估计吗？ 因特网知识和社会总知识之间有相关系数吗？ 知识的增加有摩尔定律吗？ 知识增长和生产力发展之间有相关系数吗？ 知识增长和生产力发展是鸡和蛋的关系吗？ 知识传播就像气体扩散那样遵守一定的微分方程吗？ 相反观点知识的传播就像粘体流动那样受摩察力方程的制约吗？ 知识进化就像生物遗传那样有各种杂交和变异现象吗？ Shannon的信息观 上世纪中叶：Shannon提出和回答了一个问题：从数学的观点看，信息是什么？ 信息是用来消除不确定性的 不确定性是用熵来刻画的 因此，他研究信息论的主要数学工具是概率论 在此基础上发展出了一整套信息理论 知识是什么？ Feigenbaum: 知识与信息不一样。知识是信息经过加工整理、解释、挑选和改造而形成的 我们的观点： 知识是用来消除信息的无结构性的 知识是结构化的信息 根据：现实世界的复杂性来自结构的多样性 什麽样的数学理论最适合于描述事物的结构性？ 范畴论 知识作为范畴 1. Ruqian Lu, Looking for a Mathematical Theory of Knowledge, Invited Talk, Proc. of KEST 2004, pp. 3-8, Beijing, September 2004. 2. Ruqian Lu, Towards a mathematical theory of knowledge—Categorical analysis of knowledge, JCST, V. 20, N. 6, pp. 751-757, 2005. 建造两座独立的大厦 第三次努力 非规范知识的基本理论和核心技术 什么是非规范知识？ 难处理知识 = 外延难处理知识 + 内涵难处理知识 外延难处理性 =海量性、分布性、开放性、共享性、异构性、多媒体性 内涵难处理性 = 不确定性、不完整性、不协调性、非恒常性 非规范性=内涵难处理性 非规范知识分类 模糊知识 不确定、随机和不精确知识 内容不完整知识 结构不完整知识 不协调（含矛盾）知识 带噪音知识 不协调性 含冗余知识 时变知识 启发式知识 领域特征知识 课题分解 第一课非规范知识的数学理论 第二课非规范知识的逻辑理论 第三课非规范知识的认知理论 第四课特定领域的非规范知识 第五课因特网上非规范知识处理实验平台 第六课海量非规范知识库及其管理和推理系统 第七课非规范知识交叉领域研究 设立八个开放课题 第一开放课题：“信息-知识-智能生态链”意义下的知识内涵与度量研究 第二开放课题：Collective Knowledge Modeling and Management 第三开放课题：Nonstandard and heterogeneous data modeling and mining 第四开放课题：非规范知识处理中的机器学习技术 第五开放课题：模型检查知识逻辑及其应用 第六开放课题：非单调逻辑的若干模型论性质研究 第七开放课题：第二代浏览器原型研究 第八开放课题：复杂网络建模和分布式查询 十项代表性成果 代表性成果一 成果名：进程代数及其互模拟 非规范性：不确定性、不精确性、含噪音 内容1：提出了带噪音信道的pi演算，把信息论引进进程代数，可以同时考察程序的正确性和可靠性 反馈：