计算机辅助设计技术基础.pptVIP

猴子和香蕉问题自动演示：猴子香蕉箱子猴子香蕉箱子Ha!Ha!**第29页，共60页，星期日，2025年，2月5日6.2.2谓词逻辑法逻辑语句；形式语言1谓词演算1.语法和语义基本符号谓词符号、变量符号、函数符号、常量符号、括号和逗号原子公式连词和量词(ConnectiveQuantifiers)连词与及合取（conjunction)或及析取（disjunction）蕴涵（Implication）非（Not）量词全称量词（UniversalQuantifiers)存在量词(ExistentialQuantifiers)**第30页，共60页，星期日，2025年，2月5日原子公式的的定义：用P(x1，x2，…，xn)表示一个n元谓词公式，其中P为n元谓词，x1,x2,…，xn为客体变量或变元。通常把P(x1,x2,…,xn)叫做谓词演算的原子公式，或原子谓词公式。分子谓词公式可以用连词把原子谓词公式组成复合谓词公式，并把它叫做分子谓词公式。合适公式（WFF，well-formedformulas）合适公式的递归定义合适公式的性质合适公式的真值等价（Equivalence)谓词公式**第31页，共60页，星期日，2025年，2月5日置换与合一置换概念假元推理全称化推理综合推理定义就是在该表达式中用置换项置换变量性质可结合的不可交换的合一（Unification)合一：寻找项对变量的置换，以使两表达式一致。可合一：如果一个置换s作用于表达式集{Ei}的每个元素，则可以用{Ei}s来表示置换例的集。我们称表达式集{Ei}是可合一的。**第32页，共60页，星期日，2025年，2月5日6.2.3产生式规则（ProductionRule）产生式规则（ProductionRule）是根据客观世界中各客体之间都存在依赖关系的实质而形成的，是当前智能系统中最常用的知识表示方法之一。用产生式规则表示的知识是一种过程型知识，它主要描述如何应用其他知识进行推理的过程，即专家在推理过程中所使用的原理和规则。由它表示知识所构成的知识库称为产生式规则库，由产生式规则库构成的系统称为产生式系统。**第33页，共60页，星期日，2025年，2月5日产生式系统的组成：规则库、综合数据库、控制策略。**第34页，共60页，星期日，2025年，2月5日确定性知识的表示：?IF（前提条件）THEN（结论）；其中，结论也称为操作，当前提条件满足时，则执行某一操作。产生式规则还可以用来表示不确定或不完备的知识。给前提条件和规则本身赋予一定的信度值，在推理的同时，信度值以某种预定的方式进行传播，最后得到的结论也带有一个信度值，它表示该结论成立的可信程度。不确定（或不完备）知识的表示：IF前提条件（信度）THEN结论（信度）**第35页，共60页，星期日，2025年，2月5日规则的三要素：前提、结论和信度信度是不精确推理的依据，在推理过程中按某种计算方式传播。**第36页，共60页，星期日，2025年，2月5日6.2.4语义网络语义网络从数学意义上讲，就是对知识的图解表示方法，是一种带有标记的有向图，由节点和连接节点之间的弧线组成。节点用于表示物理实体、概念和状态。弧线表示它们之间的关系。基本观点：?☆认为记忆是由概念的联系实现的，如果用图来描述，就形成了表示“事”和“物”相互关系的网状结构，即语义网络。?☆一个语义网络由若干以有向图表示的三元组（节点1，弧，节点2）连接而成。?☆用这些节点和弧可以把一些独立的知识组织成巨大的网络形式，并能从网络知识结构中组合出新的知识。**第37页，共60页，星期日，2025年，2月5日语义网络的推理是通过继承和匹配完成的。语义网络能较好地表示对象之间的继承和变异的概念。语义网络适合于表示推理、联想、归纳等逻辑概念。**第38页，共60页，星期日，2025年，2月5日6.2.5框架1975年，Minsky在语义网络的基础上，针对人们在理解情景、故事时提出的心理学模型，论证的是思想而不是具体实施。???框架是一种通用的数据结构，适于表达多种类型的知识，是广泛用于人工智能系统中的知识表示形式。???基本观点：人脑已经存储有大量的典型情景（框架），当人们面临新的情景时，就从记忆中选择一个称作框架的基本知识结构与之相匹配，然后依照新的情景进行加工、修改