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