环境决策支持系统的技术基础-模型与知识.pptVIP

环境决策支持系统技术基础之三模型与知识;交通导航辅助决策系统;交通导航辅助决策系统与模型; 模型与模型库系统;决策对模型管理系统的要求 ;模型分类及其描述方法 ;模型分类及其描述方法 ;模型的粗（细）化变换 ;建模方法;建模方法;建模方法;模型方案选择-不确定证据处理 ;模型库子系统（1） ;模型库子系统（2）;模型库子系统（3）;环境模型规范化 ;模型库及其管理系统 ;模型;模型 ;模型库及其管理系统 ;模型库及其管理系统 ;模型库及其管理系统 ;模型库及其管理系统 ;模型库及其管理系统 ;模型库及其管理系统 ;模型的管理 ;模型的管理;模型的管理;模型的管理;模型库中模型的构造 ;模型库功能简述;模型库功能;模型库功能;模型库功能;模型库功能;模型库文件操作功能 ;模型库管理系统 ;模型库系统的模型操作 ;模型库之难点 ; 知识表示与专家系统;智能支持 ;人 机 接 口; ◆ 知识表示是基础 ◆ 搜索技术是核心 ◆ 专家系统是目标 ; 1??什么是人工智能？ 人工智能是研究知识的一门科学，即如何表示知识，如何获取知识和如何利用知识的科学。 ; ?2?????人工智能研究的目标 近期目标：在近期，人工智能研究的任务是利用冯.偌依曼型计算机模拟人类智力行为，研制智能程序； 远期目标：远期是研制全新的计算机，即智能计算机。 ;知识表示;2 对知识表示的要求 ● 表示能力 ● 可理解性 ● 可访问性 ● 可扩展性 3 知识表示方法 ● 一阶谓词逻辑：它是一种描述性的表示方法，它的推理机制是归结原理。主要应用于定理证明。 ● 语义网络：是由Quillian等人于1968年提出的，它在知识表示中可以表示对象、概念及其相互间的关系。它广泛用于基于知识的系统。 ● ?产生式规则：产生式系统把知识表示成“模式→动作”对，表示方式自然、简洁。它的推理机制以演绎为基础。它是专家系统的知识表示的主要方法。 ; ?● 框架：框架理论是Minsky于1974年提出的，它将知识表示成高度模块的结构，它是把关于一个概念或对象的所有信息和知识都存储在一起的数据结构。框架的层次结构可以表示对象之间的相互关系，用框架表示知识的系统称为框架的系统。 ● 状态空间：状态空间表示法把求解问题表示成问题状态、操作、约束、初始状态和目标状态。状态空间是所有状态的集合。 ● 脚本：脚本也称为剧本。它是用来描述固定事件序列，它的结构类似于框架。剧本更强调事件间的因果关系。 ● Petri网：Petri网是由德国计算机科学家Petri提出的，由于它很好的模拟异步操作，所以在并行处理和分布式计算机领域中应用很多。 ; ⑴ 一阶谓词逻辑表示法：谓词逻辑适合于表示事物的状态、属性、概念等事物之间的知识，也可以用来表示事物之间的因果关系，谓词公式一般用合适公式表示。 ● 谓词的选取 ● 量词的选取（作用的范围） ● 从自然语言翻译成谓词公式不能丢失信息 ● 易于理解 ● 谓词公式表示法的特点：自然性、精确性、严密性、容易实现。 ;产生式表示法：产生式表示具有因果关系的知识，其基本形式是 或者 其中P是产生式前提，Q是一组结论或操作。 ● 产生式组成：规则库，综合数据库，控制系统。 ● 产生式系统分类：可交换的产生式系统，可分解的产生式系统，可恢复的产生式系统 ● 产生式表示法的特点：自然性，有效性，模块性，清晰性，效率不高，不能表示具有结构性的知识 ; 知识表示的目的 ——使用知识。它是问题求解和专家系统的基础。 知识表示遵循的思路; 如果有毛发或者产奶，那么它是哺育动物； 如果吃肉，那么它是食肉动物； 如果有犬齿、有爪、眼视前方，那么它是食肉动物； 如果是哺育动物、食肉动物、黄褐色、有黑色条纹，那么它是老虎。; if 有毛发或者产奶 then 它是哺育动物； if 吃肉 then 它是食肉动物； if 有犬齿，且有爪，且眼视前方 then 它是食肉动物； if 是哺育动物，且是食肉动物，且是黄褐色，且有黑色条纹 then 它是老虎。;老虎;框架：框架是一种描述所论对象（一个事物、一个事件、一个概念）属性的数据结构。 ● 框架的结构：一个框架是由若干槽组成，每个槽又可以有若干个侧面。槽用来描述所论对象的某方面的属性，侧面用来描述相应属性的一个方面。