先生们,大家好! 尊敬的各位先生,下午好! 西安交通大学理学院 科学计算系 褚蕾蕾

Slides:



Advertisements
Similar presentations
灰色系統理論中的關聯分析 建國科技大學 温坤禮 電機工程學系 灰色系統粗糙研究室 (Grey System Rough Center: GSRC)
Advertisements

第一篇 管理資訊系統之 基本概念. 學習目標  認識現代企業中對資訊人員的挑戰和機會  了解造成資訊管理日益受到重視的環境因 素  區分資料與資訊  建立系統觀點  了解管理資訊系統的分類  認識組織中的資訊需求層面.
高级组 Advanced Group “ 伦、敦、村 ” 这一组字的读音韵母相同,都是 ( )。
兵學理論 Theory of Military Science 兵家述評 中國兵法烽火三國 三國鼎立 木子書屋 中華萬年網.
泄 泻. 一、概述 定义: 大便稀薄,甚如水样,或完谷不化,并多 有排便次数增多。 泄与泻含义有别:泄者,漏泄之意,是指 大便溏薄,时作时止,病势较缓;泻者,倾 泻之意,是指大便直下,如水倾注,病势较 急。临床一般统称为泄泻。 病名: 《内经》称为 “ 泄 ” ,汉唐多与痢疾同归于 “ 下利 ” 之中,宋代以后渐以.
李國偉 中央研究院數學研究所研究員 數學教育學門召集人
報告書名:父母會傷人 班級:二技幼四甲 姓名:吳婉如 學號:1A2I0034 指導老師:高家斌
智 能 控 制 郑州大学电气工程学院 陈铁军 师黎 曾庆山.
Sihn Kyu-hwan(Yonsei Univ., Korea)
复杂网络节点重要性评估及其应用研究 答 辩 人: 张翼 指导老师: 刘玉华 教授.
第一章 会计信息系统 第一节 计算机会计概述.
短歌行.
MARCH 2015 撰寫獨立專題探究報告 工作坊 (上半).
信息技术与旅游的交叉研究进展 北京联合大学旅游学院 黎巎 张凌云 2012年4月21日.
图书馆订购的纸质外文期刊目录 F:经济 H:语言、文字 I:文学 O:数理科学和化学 Z:综合性图书 T:工业技术 TB:一般工业技术
媽,我們真的不一樣 青少年期與中年期 老師: 趙品淳老師 組員: 胡珮玟4A1I0006 馬菀謙4A1I0040
走一步,再走一步 莫顿·亨特.
咫尺天涯路 第一步往往很难迈出 于是就没有了下一步 于是就没有了路 路尽天绝处 尝试着再走一步 万水千山 只源于最初的那一步.
《在山的那边》的作者一次次翻过无数座山,战胜困难,才看到全新的世界。他以自己的人生感悟启示我们,奔向理想的人生征途是漫长的,只要战胜困难,坚持奋斗,理想终会实现。今天,老师向大家推荐美国作家莫顿·亨特《走一步,再走一步》的文章,看看他是怎样从一件小事,感悟到一个人生哲理,给我们以启示的。 课文导入.
王晨 指导教师:张军平副教授 复旦大学计算机科学技术学院 上海市智能信息处理重点实验室
走一步 再走一步 莫顿·亨特.
汇报人:李臻 中国海洋大学信息科学与工程学院 计算机科学与技术系
班級:二幼三甲 姓名:郭小瑄 、 詹淑評 學號:1A2I0029 、1A2I0025
人工智能 Artificial Intelligence 第十一章
GIS教学体系探讨 ——以北京大学本科教育为例 邬 伦
指導老師:陳韻如 姓名:吳宜珊 學號:4A0I0911 班級:幼保二乙
第八章 心理差异与因材施教 第一节 智力因素的个别差异与教育.
欢 迎 您 ! 荣县电大 毕忠权.
我用灵动的声音、奇异的形体和清透的心灵向你诉说,不知道你是否读懂了我———雨的心曲?
Photo Edited by : John Chen 比爾蓋茨的 十條"金玉良言".
傳統童玩遊戲創新 組別:第八組 班級:幼保二甲 組員: 4A0I0005柯舒涵 4A0I0011謝孟真
姓 名: 刘永鹏 专 业: 计算机应用 指导老师:王宗敏 教授 李润知 讲师
課程:高等微處理機設計專題(0309) 授課老師:陳友倫 老師 連絡信箱:
教育信息技术学院 2014年11月 《教育传播学》 第三章 教育传播信息和符号 第一节 教育传播信息 主讲人:胡钦太教授.
时代发展趋势: 科学人文交融 华中科技大学 杨叔子 2010年2月修改.
管理系统工程案例 Management systems engineering cases
決策分析研究室 巫沛倉 劉浩天 胡承方 義守大學工業工程與管理學系.
市司法局党委党组织书记 党务工作者和党员培训班 市委组织部组织处 张 海
主 讲:周欣.
珠图1小时: 解读: 北理珠图书馆“13.5”暨 中长期发展规划
管理系统工程案例 Management systems engineering cases
Fuzzy在生活上的應用 陳詩豐 助理教授 龍華科技大學機械系.
蔡庆生 朱孟潇 中国科学技术大学计算机系 二零零四年九月
Manifold Learning Kai Yang
第1-3講 台灣的國土開發 災害篇
Computational Chemistry
Department of Computer Science & Information Engineering
Knowledge Engineering & Artificial Intelligence Lab (知識工程與人工智慧)
研究、論文、計畫與生活之平衡 演講人:謝君偉 元智大學電機系 2018年11月22日.
Special Topics in Social Media Services 社會媒體服務專題
緣由 由於積體電路(Integrated Circuit, IC)製造技術的精進,系統設計已由運用個別積體電路功能整合的方式進步至系統晶片(System-on-a-Chip, SoC) 設計的世代。原本分屬不同設計範疇的類比(Analog)積體電路設計與數位(Digital)積體電路設計已經必須同時整合,而進入新的混合訊號(Mixed-Signal)積體電路設計的世代。
现代信息检索 Modern Information Retrieval
第二讲 计算机信息检索概述 主要内容: 一 信息检索的基本概念 二 电子资源的概念与类型 三 计算机信息检索系统 四 计算机检索技术.
SaaS流程模型的自动演化 Research Group for Cooperative Information Systems
Prepared & Edited by : John Chen 俄國攝影大師 Zenin 傑作
模糊系统与模糊控制简介 --博士生论坛系列报告.
中国科学引文据库 Chinese Science Citation Database
三水同鄉會劉本章學校 數學科 年級: 三 、 四 年級 (低組) 學習範疇:度量 單元:時間和日期 單位:星期、年和月、日曆
第二节 纤维性修复 概念:由于组织、细胞损伤过重或有感 染等,不能用完全再生方式加以修复; 而以增生的纤维母细胞和毛细血管组成
Organizational learning theory Single-Loop and Double-Loop Models in Research on Decision Making Author(s): Chris Argyris Source: Administrative Science.
Liang Zhang, Jianmin Wang
第四章 Petri网的结构性质.
ACM数据库 及其使用 iGroup亚太资讯公司 2007年10月.
國立彰化師範大學 數學系 & 統計資訊研究所 系主任 & 所長: 曾 育 民
姓名: 陳彥蓉 (Katniss Chen) 學歷: 國立交通大學運管系 碩士 國立台灣海洋大學 運輸科學系 台北市立中正高級中學
4. 曾文水庫越域引水環評報告彙整 資料來源: 1. 曾文水庫越域引水下游輸水工程環境影響差異分析暨環境現況差異分析及對策檢討報告(定稿本)
國立彰化師範大學 數學系 & 統計資訊研究所 系主任 & 所長: 李錦鎣
緣由 由於積體電路(Integrated Circuit, IC)製造技術的精進,系統設計已由運用個別積體電路功能整合的方式進步至系統晶片(System-on-a-Chip, SoC) 設計的世代。原本分屬不同設計範疇的類比(Analog)積體電路設計與數位(Digital)積體電路設計已經必須同時整合,而進入新的混合訊號(Mixed-Signal)積體電路設計的世代。
Photo Edited by : John Chen 比爾蓋茨的 十條"金玉良言" 請按鍵換頁.
本教學投影片係屬教科書著作之延伸,亦受著作權 法之保護。
Presentation transcript:

先生们,大家好! 尊敬的各位先生,下午好! 西安交通大学理学院 科学计算系 褚蕾蕾 029-82660951 029-82664159 科学计算系 褚蕾蕾 029-82660951 029-82664159 13186000251 Chensy@xjtu.edu.cn

非经典模型表示理论 关于 模型表示系统 与 模型组织系统 的理论

一 背景 1956年夏,达特茅斯大学,首次使用“人工智能”的术语 1977年,“知识工程” ,费根鲍姆 九十年代初,关于人工智能的争论 ●问题求解 ●定理证明 ●专家系统(1968年,费根鲍姆) 1977年,“知识工程” ,费根鲍姆 九十年代初,关于人工智能的争论 ● 1991年,关于人工智能“五个基本问题”, Int.,J.,Artificial Intelligence,47(1991)1-3: “人工智能是一个知识处理系统,而知识表示、知识利用和知识获取则成为人工智能系统的三个基本问题”。 ● 1993年,“什么是知识表示?” R.Davis,H.Shrobe,P.Szolovis,What is a knowledge representation? AI Magazine, 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)”等概念来描述。

六 模型与系统分析 ? 人 客体 程序 本体描述语言 程序设计语言 描述 系统 设计 形式 认知 模型 软件制作 模型抽象 模型组织 模型表示 语用 语义 认知 制作 语法

七 模型是知识表示的基本概念和工具 从自动机、抽象数据类型到基于本体论的系统分析,从形式语义到知识表示,用元组表示的模型是一个基本的概念和工具。 通常认为模型是一阶语言的代数结构,其基本理论是经典逻辑的模型论。 然而许多问题都导致非经典模型表示,如笛卡尔积表示,以及模型集内以模型为基本元素的系统组织,如框架。简称为模型表示与模型组织。 这一概念在经典模型论中少有研究,从而使相应的问题缺乏应有的理论支持,以及有力的描述工具和解决能力。因而,应当重视其研究。 这需要从数学基础层面上建立 ●非经典模型理论 需要 ●格逻辑 ●格拓扑 ●格上动力学 等基础研究的支持。相信这些研究对计算机科学有重大的意义。

八 什么是模型表示系统

九 模型表示系统的代数结构 谓词值域 L----格----格值逻辑---非经典逻辑 在格逻辑中: ●经典非运算不能直接推广----逆序拟合对应 ●经典蕴含算子不能直接推广----格蕴含代数 ●不满足排中律、择一律------直觉主义逻辑

十 模型表示的近似结构 对个体x(W)∈L的认识:属性到值域的映射 ----近似结构(粗糙结构) ●精确的认识 ●不精确的认识 ----近似结构(粗糙结构) 对映射空间A=LW={x:W→L∣xi(wj )∈L}的认识: 本质上是一个格值模型集 ●代数结构 ●拓扑结构

十一 模型表示系统研究的主要问题 模型表示系统 ● ● L-模糊拓扑 ● ● 滤子 ● ● 等价关系 ● ● 度量 ●代数结构 ●粗糙结构 ●拓扑结构 ● ● L-模糊拓扑 ● ● 滤子 ● ● 等价关系 ● ● 度量

十二 例(个体的近似知识与粗糙结构)

十三 什么是模型组织系统 设M为模型的集合,称映射 为模型组织映射

十四 模型组织系统研究的主要问题 模型组织系统 ● ● 代数结构 ●静态组织 如超积模型,范畴 ● ● 拓扑结构 ●静态组织 如超积模型,范畴 ● ● 代数结构 ● ● 拓扑结构 ●动态组织 如引用,Petri网 ● ● 模态逻辑 ● ● 泛函 ●智能组织 如代理(Agent)

十五 例(引用与工作流) 称组件幂集上的映射ref:2 CompSET→2 CompSET 为组件 引用,简称引用。 在工作流的研究中,一个重要的的问题是工作流的结 构正确性,这包括结构无冲突和正常终止。这里讨论后一 问题,即工件流轨迹和终止状态的存在性问题。 ξ j-2 ξ j-3 ξ j-4 ξ j ξ j-1 图—1:非单调对称过程流 A F B D C E

十六 作者的主要工作 ● Chen Suiyang and Chu Leilei, Organization Theory of Knowledge Models and Its Application, Edited by Zou K., Liu Z., Proceedings of International Conference on Information and Knowledge Engineering August 21—25, 1995, Dalian, P.R.China, p41—44. ● Chen Suiyang and Chu Leilei, The Group Decision Method about Knowledge Model Group and Its Application, Edited by Zou K., Liu Z., Proceedings of International Conference on Information and Knowledge Engineering August 21—25, 1995, Dalian, P.R.China, p90—93. ● 陈绥阳,褚蕾蕾,模型空间的拓扑结构与单调推理算子不动点的存在性[J],兰州大学学报, 32(1996)4:28—33,(1996年12月)。 ● Chu leilei, Zhang honying, Chen.suiyang, L—Fuzzy topological dynamical systems, Proceedings of International Conference on Fuzzy Information Processing Theories and Applications, March 1—4 , 2003, Beijing , China , Editors Yingming Liu edc., pp79—84 。 ● 褚蕾蕾,徐宗本,一种研究组件引用语义的动力系统方法[J],西安交通大学学报,37 (2003)12:1299—1303 ● 褚蕾蕾,徐宗本,基于多重数据库的模型表示与拓扑性质[J],工程数学学报,20(2003) 6:116—120

and Its Topological Structure [J], Advances in Systems Science and ● Leilei Chu, Suiyang Chen, Knowledge Representation 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 Systems[J], 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年。

谢谢各位专家,敬请指正!