先生们,大家好!

先生们，大家好！尊敬的各位先生，下午好！西安交通大学理学院科学计算系褚蕾蕾[e-mail]非经典模型表示理论关于模型表示系统与模型组织系统的理论一背景1956年夏，达特茅斯大学，首次使用“人工智能”的术语●问题求解●定理证明●专家系统（1968年，费根鲍姆）1977年，“知识工程”，费根鲍姆九十年代初，关于人工智能的争论●1991年，关于人工智能“五个基本问题”，Int.,J.,ArtificialIntelligence,47(1991)1-3:“人工智能是一个知识处理系统，而知识表示、知识利用和知识获取则成为人工智能系统的三个基本问题”。●1993年，“什么是知识表示？”R.Davis,H.Shrobe,P.Szolovis,Whatisaknowledgerepresentation?AIMagazine,14(1993)1:17—33这导致基于本体论、认识论和知识工程的知识表示观与表示方法的研究本体--(N,F,A,B,R,S)--物理对象的同态模型●N是本体名●F是父本体名●A是属性集●B是对象集合●R是B中元素的关系●S是方法集二知识表示的五个规则这五个规则是：（1）知识表示是现实世界的一个最基本的代替物（surrogate），它被应用于思考和推理。（2）知识表示是本体（注：本体是现实世界的同态模型——作者）（3）知识表示是一个关于智能推理的不完整的理论。（4）知识表示是一个能进行思考的有效的计算环境。（5）知识表示是一个描述现实世界的语言。问题：语言、理论与模型有什么关系三语言、理论与模型模型是满足理论公理的代数结构一阶语言理论代数结构模型四模型系统与组织什么是系统？贝塔朗菲认为，系统是处于一定相互关系中与环境发生关系的各组成部分(要素)的总体。或者说，系统是集合内各要素按一定的结构组织而成的一个整体,并在与外部环境进行物质、能量、信息的交换过程中体现出一定的功能。系统工程的基本方法是模型法，即建立模型、求解模型和解释模型的方法。描述复杂系统，通常不是一个简单模型，而是反映不同侧面、不同层面、不同视野的许多模型按一定的结构组织而成的整体模型，即模型组织。五模型组织与复杂性理论计算机科学的计算理论包括可计算理论与计算复杂性理论。计算的复杂性，通常包括时间复杂性、空间复杂性和存储复杂性。其本质是计算模型的复杂性，即●结构复杂性（代数结构，粗糙结构，拓扑结构）●组织复杂性（静态组织，动态组织，自适应组织）●动力学复杂性（动力系统，L—F动力系统）这也是一般模型与模型系统的复杂特征。系统的自适应特征是系统自组织性能的反映。上世纪70年代出现的耗散结构、协同学和超循环理论，分别从系统的进化行为、进化动因和进化组织形态描述了系统的自组织性。自组织是一种智能性，可以采用“代理（Agent）”等概念来描述。六模型与系统分析人本体描述语言程序设计语言客体程序？客体描述系统设计形式系统认知模型软件制作模型抽象模型组织模型表示语用语义认知制作语法七模型是知识表示的基本概念和工具从自动机、抽象数据类型到基于本体论的系统分析，从形式语义到知识表示，用元组表示的模型是一个基本的概念和工具。通常认为模型是一阶语言的代数结构，其基本理论是经典逻辑的模型论。然而许多问题都导致非经典模型表示，如笛卡尔积表示，以及模型集内以模型为基本元素的系统组织，如框架。简称为模型表示与模型组织。这一概念在经典模型论中少有研究，从而使相应的问题缺乏应有的理论支持，以及有力的描述工具和解决能力。因而，应当重视其研究。这需要从数学基础层面上建立●非经典模型理论需要●格逻辑●格拓扑●格上动力学等基础研究的支持。相信这些研究对计算机科学有重大的意义。八什么是模型表示系统w1w2w3w4w5x1x1(w1)x1(w2)x1(w3)x1(w4)x1(w5)x2x2(w1)x2(w2)x2(w3)x2(w4)x2(w5)x3x3(w1)x3(w2)x3(w3)x3(w4)x3(w5)L1L2L3L4L5记个体域为U，谓词（属性）集为W，谓词值域为L（Lj的笛卡尔积）定义x:W→L，x∈U，wj∈W，x(wj)∈Lj称x（W）∈L为个体x的表示---------------------------------映射称A=LW={x:W→L∣xi(wj)∈Lj}为表示系统----------映射空间九模型表示系统的代数结构谓词值域L----格----格值逻辑---非经典逻辑在格逻辑中：●经典非运算不能直接推广----逆序拟合对应●经典蕴含算子不能直接推广----格蕴含代数●不满足排中律、择一律------直觉主义逻辑十模型表示的近似结构对个体x（W）∈L的认识：属性到值域的映射●精确的认识●不精确的认识----近似结构（粗糙结构）对映射空间A=LW={x:W→L∣xi(wj)∈L}的认识：本质上是一个格值模型集●代数结构●拓扑结构十一模型表示系统研究的主要问题模型表示系统●代数结构●粗糙结构●拓扑结构●●L-模糊拓扑●●滤子●●等价关系●●度量十二例（个体的近似知识与粗糙结构）当个体x的知识不完全，不精确，边界不清时，研究其近似知识是重要的。设x∈A=LW={x:W→L∣xi(wj)∈Lj}，则是格值模糊集。利用表现定理，可定义x的下、上逼近：((),())FxFx这导致x的粗糙结构性质研究。●构造性方法●公理化方法：Stone代数Nelson代数Heyting代数十三什么是模型组织系统设M为模型的集合，称映射为模型组织映射:2MfM十四模型组织系统研究的主要问题模型组织系统●静态组织如超积模型,范畴●●代数结构●●拓扑结构●动态组织如引用，Petri网●●模态逻辑●●泛函●智能组织如代理（Agent）十五例（引用与工作流）称组件幂集上的映射ref：2CompSET→2CompSET为组件引用，简称引用。在工作流的研究中，一个重要的的问题是工作流的结构正确性，这包括结构无冲突和正常终止。这里讨论后一问题，即工件流轨迹和终止状态的存在性问题。ξ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十六作者的主要工作●ChenSuiyangandChuLeilei,OrganizationTheoryofKnowledgeModelsandItsApplication,EditedbyZouK.,LiuZ.,ProceedingsofInternationalConferenceonInformationandKnowledgeEngineeringAugust21—25,1995,Dalian,P.R.China,p41—44.●ChenSuiyangandChuLeilei,TheGroupDecisionMethodaboutKnowledgeModelGroupandItsApplication,EditedbyZouK.,LiuZ.,ProceedingsofInternationalConferenceonInformationandKnowledgeEngineeringAugust21—25,1995,Dalian,P.R.China,p90—93.●陈绥阳，褚蕾蕾，模型空间的拓扑结构与单调推理算子不动点的存在性[J],兰州大学学报,32（1996）4：28—33，（1996年12月）。●Chuleilei,Zhanghonying,Chen.suiyang,L—Fuzzytopologicaldynamicalsystems,ProceedingsofInternationalConferenceonFuzzyInformationProcessingTheoriesandApplications,March1—4,2003,Beijing,China,EditorsYingmingLiuedc.,pp79—84。●褚蕾蕾，徐宗本，一种研究组件引用语义的动力系统方法[J]，西安交通大学学报，37（2003）12：1299—1303●褚蕾蕾，徐宗本，基于多重数据库的模型表示与拓扑性质[J]，工程数学学报，20（2003）6：116—120●LeileiChu,SuiyangChen,KnowledgeRepresentationSystemonModelsandItsTopologicalStructure[J],AdvancesinSystemsScienceandApplications(2004)●LeileiChu,ZongbenXu,ResearchofComponentReferenceSemanticsusingMethodofTopologicalDynamicalSystems[J],AdvancesinSystemsScienceandApplications(2004)●LeileiChu,HongyingZhang,SuiyangChen,L-Fuzzytopologicaldynamicalsystemanditsasymptoticproperties,●Lei-LeiChu,Sui-YangChen,Modelrepresentationsystemsandtheirfuzzyroughproperties,●陈绥阳，褚蕾蕾，动力系统基础与方法，北京，科学出版社，2002年。●褚蕾蕾，陈绥阳，周梦，计算智能的数学基础，北京，科学出版社，2002年。谢谢各位专家，敬请指正！