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