《先生们大家好教案》由会员分享,可在线阅读,更多相关《先生们大家好教案(20页珍藏版)》请在金锄头文库上搜索。
1、先生们大家好!Stillwatersrundeep.流静水深流静水深,人静心深人静心深Wherethereislife,thereishope。有生命必有希望。有生命必有希望非经典模型表示理论关于关于 模型表示系统模型表示系统与与 模型组织系统模型组织系统 的理论的理论 一 背景1956年夏,达特茅斯大学,首次使用“人工智能”的术语 问题求解 定理证明 专家系统(1968年,费根鲍姆)1977年,“知识工程” ,费根鲍姆 九十年代初,关于人工智能的争论九十年代初,关于人工智能的争论 1991年,关于人工智能“五个基本问题”, Int.,J.,Artificial Intelligence,47
2、47(1991)1-3: “人工智能是一个知识处理系统,而知识表示知识表示、知识利用和知识获取则成为人工智能系统的三个基本问题基本问题”。 1993年,“什么是知识表示?什么是知识表示?” R.Davis,H.Shrobe,P.Szolovis,What is a knowledge representation? AI Magazine, 1414(1993)1:1733这导致基于本体论、认识论和知识工程的知识表示观与表示方法的研究 本体- ( (N,F,A,B,R,S) ) -物理对象的同态模型同态模型 N是本体名 F 是父本体名 A是属性集 B是对象集合 R是B中元素的关系 S是方法集二
3、 知识表示的五个规则这五个规则是:(1)知识表示是现实世界的一个最基本的代替物 (surrogate),它被应用于思考和推理。(2)知识表示是本体 (注:本体是现实世界的同态模型模型作者)(3)知识表示是一个关于智能推理的不完整的理论理论。(4)知识表示是一个能进行思考的有效的计算环境。(5)知识表示是一个描述现实世界的语言语言。问题:语言、理论与模型有什么关系问题:语言、理论与模型有什么关系 三 语言、理论与模型模型是满足理论公理的代数结构一阶语言一阶语言理理 论论代数结构代数结构模模 型型四 模型系统与组织 什么是系统?贝塔朗菲认为,系统是处于一定相互关系中与环境发生关系的各组成部分(要素
4、)的总体。 或者说,系统是集合内各要素按一定的结构组织而成的一个整体,并在与外部环境进行物质、能量、信息的交换过程中体现出一定的功能。 系统工程的基本方法是模型法,即建立模型、求解模型和解释模型的方法。 描述复杂系统,通常不是一个简单模型,而是反映不同侧面、不同层面、不同视野的许多模型按一定的结构组织而成的整体模型,即模型组织。 五 模型组织与复杂性 理论计算机科学的计算理论包括可计算理论与计算复杂性理论。 计算的复杂性,通常包括时间复杂性、空间复杂性和存储复杂性。其本质是计算模型的复杂性,即 结构复杂性 (代数结构,粗糙结构,拓扑结构) 组织复杂性 (静态组织,动态组织,自适应组织) 动力学
5、复杂性 (动力系统,LF动力系统)这也是一般模型与模型系统的复杂特征。 系统的自适应特征是系统自组织性能的反映。上世纪70年代出现的耗散结构、协同学和超循环理论,分别从系统的进化行为、进化动因和进化组织形态描述了系统的自组织性。自组织是一种智能性,可以采用“代理(Agent)”等概念来描述。 六 模型与系统分析 人本体描述语言程序设计语言客体程序?客体描述系统设计形式系统认知模型软件制作模型抽象模型抽象模型组织模型组织模型表示模型表示语用语义 认知制作 语法七 模型是知识表示的基本概念和工具 从自动机、抽象数据类型到基于本体论的系统分析,从形式语义到知识从自动机、抽象数据类型到基于本体论的系统
6、分析,从形式语义到知识表示,用元组表示的模型是一个基本的概念和工具。表示,用元组表示的模型是一个基本的概念和工具。 通常认为模型是一阶语言的代数结构,其基本理论是经典逻辑的模型论。通常认为模型是一阶语言的代数结构,其基本理论是经典逻辑的模型论。 然而许多问题都导致非经典模型表示,如笛卡尔积表示,以及模型集内然而许多问题都导致非经典模型表示,如笛卡尔积表示,以及模型集内以模型为基本元素的系统组织,如框架。简称为以模型为基本元素的系统组织,如框架。简称为模型表示模型表示与与模型组织。模型组织。 这一概念在经典模型论中少有研究,从而使相应的问题缺乏应有的理论这一概念在经典模型论中少有研究,从而使相应
7、的问题缺乏应有的理论支持,以及有力的描述工具和解决能力。因而,应当重视其研究。支持,以及有力的描述工具和解决能力。因而,应当重视其研究。 这需要从数学基础层面上建立这需要从数学基础层面上建立 非经典模型理论非经典模型理论 需要需要 格逻辑格逻辑 格拓扑格拓扑 格上动力学格上动力学 等基础研究的支持。相信这些研究对等基础研究的支持。相信这些研究对计算机科学计算机科学有重大的意义。有重大的意义。 八 什么是模型表示系统 九 模型表示系统的代数结构谓词值域 L-格-格值逻辑-非经典逻辑在格逻辑中:经典非运算不能直接推广-逆序拟合对应经典蕴含算子不能直接推广-格蕴含代数不满足排中律、择一律-直觉主义逻
8、辑十 模型表示的近似结构对个体x x(W W)LL的认识:属性到值域的映射 精确的认识 不精确的认识 -近似结构(粗糙结构) 对映射空间A=LW=x:WLxi(wj )L的认识: 本质上是一个格值模型集 代数结构 拓扑结构十一 模型表示系统研究的主要问题模型表示系统模型表示系统 代数结构代数结构 粗糙结构粗糙结构 拓扑结构拓扑结构 L-L-模糊拓扑模糊拓扑 滤子滤子 等价关系等价关系 度量度量十二 例(个体的近似知识与粗糙结构) 十三 什么是模型组织系统 设M为模型的集合,称映射为模型组织映射十四 模型组织系统研究的主要问题模型组织系统静态组织 如超积模型,范畴 代数结构 拓扑结构动态组织 如
9、引用,Petri网 模态逻辑 泛函智能组织 如代理(Agent)十五 例(引用与工作流) 称组件幂集上的映射ref:2 CompSET2 CompSET 为组件引用,简称引用。 在工作流的研究中,一个重要的的问题是工作流的结构正确性,这包括结构无冲突和正常终止。这里讨论后一问题,即工件流轨迹和终止状态的存在性问题。 j-2 j-2 j-3 j-3 j-3 j-3 j-4 j-4 j-2 j-2 j j-1 j-1图1:非单调对称过程流AFBDCE十六 作者的主要工作 Chen Suiyang and Chu Leilei, Organization Theory of Knowledge Mo
10、dels and Its Application, Edited by Zou K., Liu Z., Proceedings of International Conference on Information and Knowledge Engineering August 2125, 1995, Dalian, P.R.China, p4144. Chen Suiyang and Chu Leilei, The Group Decision Method about Knowledge Model Group and Its Application, Edited by Zou K.,
11、Liu Z., Proceedings of International Conference on Information and Knowledge Engineering August 2125, 1995, Dalian, P.R.China, p9093. 陈绥阳,褚蕾蕾,模型空间的拓扑结构与单调推理算子不动点的存在性J,兰州大学学报, 32(1996)4:2833,(1996年12月)。 Chu leilei, Zhang honying, Chen.suiyang, LFuzzy topological dynamical systems, Proceedings of Inte
12、rnational Conference on Fuzzy Information Processing Theories and Applications, March 14 , 2003, Beijing , China , Editors Yingming Liu edc., pp7984 。 褚蕾蕾,徐宗本,一种研究组件引用语义的动力系统方法J,西安交通大学学报,37 (2003)12:12991303 褚蕾蕾,徐宗本,基于多重数据库的模型表示与拓扑性质J,工程数学学报,20(2003) 6:116120 Leilei Chu, Suiyang Chen, Knowledge Repr
13、esentation System on Models and Its Topological Structure J, Advances in Systems Science and Applications (2004) Leilei Chu, Zongben Xu, Research of Component Reference Semantics using Method of Topological Dynamical SystemsJ, Advances in Systems Science and Applications (2004) Leilei Chu, Hongying Zhang, Suiyang Chen, L-Fuzzy topological dynamical system and its asymptotic properties , Lei-Lei Chu, Sui-Yang Chen, Model representation systems and their fuzzy rough properties, 陈绥阳,褚蕾蕾,动力系统基础与方法,北京,科学出版社,2002年。 褚蕾蕾,陈绥阳,周梦,计算智能的数学基础,北京,科学出版社,2002年。谢谢各位专家,敬请指正!谢谢各位专家,敬请指正!