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的认识：本质上是一个格值模型集代数结构拓扑结构,十一 模型表示系统研究的主要问题,模型表示系统代数结构粗糙结构拓扑结构 L-模糊拓扑 滤子 等价关系 度量,十二 例（个体的近似知识
7、与粗糙结构）,十三 什么是模型组织系统,设M为模型的集合，称映射为模型组织映射,十四 模型组织系统研究的主要问题,模型组织系统 静态组织 如超积模型,范畴 代数结构 拓扑结构 动态组织 如引用，Petri网 模态逻辑 泛函 智能组织 如代理（Agent）,十五 例（引用与工作流）,称组件幂集上的映射ref：2 CompSET2 CompSET 为组件 引用，简称引用。在工作流的研究中，一个重要的的问题是工作流的结 构正确性，这包括结构无冲突和正常终止。这里讨论后一 问题，即工件流轨迹和终止状态的存在性问题。,十六 作者的主要工作, Chen Suiyang and Chu Leilei, Or
8、ganization Theory of Knowledge Models and Its Application, Edited by Zou K., Liu Z., Proceedings of InternationalConference on Information and Knowledge Engineering August 2125, 1995,Dalian, P.R.China, p4144. Chen Suiyang and Chu Leilei, The Group Decision Method about Knowledge ModelGroup and Its A
9、pplication, Edited by Zou K., Liu Z., Proceedings of International Conference on Information and Knowledge Engineering August2125, 1995, Dalian, P.R.China, p9093. 陈绥阳，褚蕾蕾，模型空间的拓扑结构与单调推理算子不动点的存在性J,兰州大学学报,32（1996）4：2833，（1996年12月）。 Chu leilei, Zhang honying, Chen.suiyang, LFuzzy topological dynamical
10、systems,Proceedings of International Conference on Fuzzy Information ProcessingTheories and Applications, March 14 , 2003, Beijing , China , EditorsYingming Liu edc., pp7984 。 褚蕾蕾，徐宗本，一种研究组件引用语义的动力系统方法J，西安交通大学学报，37 （2003）12：12991303 褚蕾蕾，徐宗本，基于多重数据库的模型表示与拓扑性质J，工程数学学报，20（2003）6：116120, Leilei Chu, Sui
11、yang Chen, Knowledge Representation System on Modelsand Its Topological Structure J, Advances in Systems Science andApplications (2004) Leilei Chu, Zongben Xu, Research of Component 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年。,谢谢各位专家，敬请指正！,
