智能知识推理系统的研讨.pdfVIP

摘要 人1.智能的目标是使计算机能够成为具有和人类一样智能的系统，而知识推理一直被认 为是智能最集中的体现，在实际运行的系统中实现智能的知识推理是具有非常重要的意义 本文以知识表示和知识推理为切入点，研究智能系统，建立一种智能的知识推理系统， 使得该系统能够具有智能的本质特点，非单调和自认知。 首先，本文人致阐述了各个人上智能学派的特点及其研究方向，而后锁定知识表示和知 识库系统为本文研究的土要对象。接着以系统论的角度提出了智能系统的形式定义，体现了 智能的本质特点。随后重点介绍了知识表示和知识库系统，逐一介绍了在人一「智能领域当中 比较常用的儿种知识表示方法，并且对每种方法作了评价。 然后，本文选择ALC语言为基础，尝试着扩充加入模态非单调逻辑和缺省逻辑，从而 得到了ALCwa〕语言。进一步讨论了ALCMC语言中带缺省演化的知识库系统的基本推理问题: 概念缺省ifig足和缺省包含问题，并且证明了缺省可满足和缺省包含的等价问题。为了能够 解决概念缺省可满足问题的可判断性，提出了基于原Tableau-D算法的扩展Tableau-D算法。 址后，讨论了ALCnsa系统中的一些遗留的问题和进一步需要改进和研究的方向。 虽然本文井没有提出基于ALCxa语言的系统的具体实现方式，但是本文尝试着设计一 种非单调的知识表示模型，这样的模型具有ALC语言和缺省逻辑的双重优点，其表达能力、 可扩性上远远优于传统的知识表示方法，并且更接近人类的思维模型，为实现智能知识推理 系统提供了理论指导。 关键词:人土智能知识表示 智能系统非单调推理 自认知描述逻辑缺省逻辑 第2页共45页 Abstract ThegoalofArtificialIntelligence(AI)istomakecomputershaveIntelligenceofhuman beings.Reasoningforknowledgeembodiesthefeatureofintelligence,soresearchingonthe modelofreasoningisthethemeofArtificialIntelligence.Thisthesiscutsinwiththeknowledge representationandknowledgereasoning,andgoesdeepintoresearchofintelligenceand intelligencesystems.Thepurposeofthisthesisistoconstructaknowledgereasoningsystemwith intelligencewhichhasthecharactersofintelligence-non-monotonicandauto-epistemic. Atthebeginningofthispaper,wedevotedtoageneraldiscussionofthevariouspointsof viewofAt,andthengetintothemajorobjectofthisthesis,theknowledgerepresentationand knowledgebasesystem Chapter2studiestheformalizationdefinitionofintelligencebasedontheviewpointof SystemTheory.Thisdefinitionwillbetheworkingdefinitioninthispapertoconstructthe knowledgereasoningsystem.IntheChapter3,weprimarilyintroducetheknowledge representationandknowledgebasesystem.One-by-one,thischapterdescribesthemainmethods ofknowledgeandgeneralproblemsofknowledgebasesystem.Inthelastofthischapter enumeratethetypicalapplicationsystemsofknowledge