高级数据库技术 知识库技术本体.pptxVIP

会计学;目录;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示;4.2.3 知识的本体表示; 知识库中十分重要课题是研究知识库语言 从数据库领域引进AI技术的角度 对知识库语言研究主要集中在逻辑语言上 这是因为逻辑语言接近于自然语言 具有良好表达能力与推理能力 比较符合知识库系统要求 知识库逻辑语言: Prolog和Datalog 当今两个知识库试验系统NAIL和NU-Prolog所使用都由Datelog和Prolog扩充;1.Prolog 基于一阶谓词逻辑程序设计语言 由R.Kowalskv和A.Colmerauer提出 在AI和知识库的实现技术中具有重要作用 Prolog具有如下特征： ● 语言是形式化的严格定义 ● 语言十分简单易懂 ● 逻辑公式不需要重复表达，与不同应用无关 ● 事实、假设、推理、查询、视图和完整性约束条件都能以基于一阶谓词逻辑的Prolog表达。 ;2.Datalog Prolog语言的一种特殊形式 由于prolog语言是一种适应面较为广泛的通用语言，在知识库领域中虽然也能适应但是存在一定不足 这主要是知识库具有一定特殊性 ●数量有限：知识库中知识个数有限 ●操作受限：知识库中只有知识操作而很少有计算操作 需要对prolog进行一定限制 Datalog是Prolog适应于知识库的改进形式语言 Datalog一种受限的Prolog语言;Datalog作为特殊的Horn子句满足如下限制： ● 不含函数： 知识库中数据必须有限 任何出现变量地方必须作量的限制 否则这种表示形式在计算机内会无法计算 Datalog对出现变量进行量的限制 Datalog项仅由个体常量或个体变量组成不含有函数 Datalog中不含函数是为处理方便而加的限制 但在使用中往往会产生能力不强 有时也会引入带函数Datalog表示方法; ●不含否定符: 在使用中也会出现类似问题 引入“带否定的Datalog” ● 安全性： 在Datalog的变元中或出现变元为a（x=a）（此时变量受限）或谓词中变元受限或变元x=y而y受限 ● 内部谓词： 在Datalog内引入若干个内部谓词即常谓词 如x=y：Eq（x，y），xy:G(x,y). 知识库中所使用逻辑表示方法大都采用Datalog