1.人工智能早期知识表示方法

2024-03-22 05:54:31

1.一阶谓词逻辑【一阶逻辑】

原子公式：图灵奖得主（x）
x是变量
图灵奖得主是一元谓词

2.霍恩逻辑与霍恩子句

文字：原子谓词公式及其否定称为文字
P（x），Q（x）

子句：任何文字的析取式称为子句
P（x）∨ Q（x）

霍恩子句：带有最多一个肯定文字的子句，霍恩子句等价为 A∧B∧C→H

霍恩逻辑：一阶逻辑的子集
基于霍恩逻辑的知识库是一个霍恩规则的集合【子集的选取基于霍恩规则】
霍恩规则：事实 / 由原子公式构成
原子公式构成：体原子公式→头原子公式。如：A∧B∧C→H，A.B.C为体原子公式，H为头原子公式。
事实：没有体原子公式且没有变量的霍恩规则。如：免试推免生

3.语义网络【联想网络】

定义：用于表达人类的语义知识并支持推理

形式：带标识的有向图。
G=（V，E），G表示图，V表示节点，E表示边。
在语义网络中，边称为连接弧（联想弧），表示各种语义联系。

基础单元：三元组（节点1，联想弧，节点2）
例：（张三，复习，数据结构）
（莫言，类型，作家）
所有的节点通过联想弧相连，语义网络可以通过图进行知识推理。

4.框架

基本原理：认为人们对现实世界中各种事物的认识都以一种类似于框架的结构存储于记忆中。

定义：框架是一种描述对象属性的数据结构

基本单位：类
类又分为槽，表示描述对象的一个属性。
槽又分为侧面，表示槽属性的一个方面

5.描述逻辑

定义：是一阶逻辑的一个可判定子集
描述逻辑一般支持一元谓词（称为类）和二元谓词（称为关系），描述逻辑建立在概念和关系上。
特征：具有很强的表达能力和可判定性
W3C互联网本体语言（OWL）的理论基础

1.人工智能早期知识表示方法相关推荐

人工智能：第二章知识表示方法
第二章知识表示方法教学内容:本章讨论知识表示的各种方法,是人工智能课程三大内容(知识表示.知识推理.知识应用)之一,也是学习人工智能其他内容的基础. 教学重点:状态空间法.问题归约法.谓词逻辑法. ...
人工智能原理笔记------知识表示方法
人工智能原理笔记------知识表示方法知识表示知识表示方法非结构化方法谓词逻辑表示法命题真值论域(个体域) 谓词函数谓词逻辑组成连接词约束量词谓词公式谓词逻辑表示步骤产生 ...
《人工智能》之《知识表示方法》
教材:<人工智能及其应用>,蔡自兴等,2016m清华大学出版社(第5版) 参考书: <人工智能>之<知识表示方法> 1 状态空间法(State Space Repr ...
重磅升级！《人工智能：现代方法（第4版）》（赠书）
这本被称为"人工智能领域标准教科书"的<人工智能:现代方法>就无愧于"巨著"这两个字. 这是一本在全球范围内享有盛誉,134个国家或地区的1500多 ...
从零学习知识图谱——04（常见知识库及知识图谱的知识表示方法）
知识库 Cyc Cyc 是持续时间最久,影响范围较广,争议也较多的知识库项目.Cyc 知识库的知识表示框架主要由术语 Terms 和断言 Assertions 组成.Terms 包含概念.关系和实体的 ...
人工智能 2.知识表示
目录一阶谓词逻辑表示法谓词公式一阶谓词逻辑知识表示方法产生式表示法产生式的形式描述及语义--巴科斯范式BNF(backus normal form): 框架表示法知识的概念:把有关信息关联 ...
ChinaSoft 论坛巡礼 | 面向可解释人工智能的软件工程方法与技术论坛
2022年CCF中国软件大会(CCF ChinaSoft 2022)将于2022年11月25-27日在线上举行.预期将有林惠民.陈左宁.邬江兴.何积丰.梅宏.吕建.柴洪峰.廖湘科.王怀民.郑纬民.蒋昌 ...
【人工智能】知识表示
目录一.知识表示(Knowledge Representation)的基本概念二.谓词逻辑(Predicate Logic)表示法三.产生式(Production Rule)表示法四.语义网络 ...
计算机表示法是知识表示法么,知识表示方法比较.pdf
知识表示方法比较.pdf 计算机系统应用 http://Ⅵw．c-s．a．o唱．cn 20lO年第20卷第3期知识表示方法比较① 刘建炜,燕路峰 (中南大学湘雅医学院医药信息系,长沙410013) ...

最新文章

热门文章