自然语言理解中的语义形式化的研究.pdf

摘要 自然语言理解是人工智巍懿棱，玉谍题之一，其本质是瓣语言闷遂筋方方葱蔼 在计算机当中的形式化研究。其中摄突出的问题就是语义的形式化问题，它成为 捌缝离然语言理解发展的瓶颈褥遂。本文麴研究重点裁是将语义润霪戮数学鹃方 法在语言学上加以形式他。由于图是最接近人类思维结构的一种数学形式，因此， 我辩以知识图理谂和概念图理论隽平台，来研究语义韵形式讫瓣藤。本文黛崧滔 义表示的形式化舻和“语义推理的形式化舻两个方面对自然语言语义理解技术进 李擎了研究，并在讨论具体的形式能方法之翦，对麴然语富《语义》捆关酾人类谈 知过程进行了讨论。由于谮言的阀题不可避免的涉及到人类的总维，因此对于自 然语言懿语义理勰来说，谈知科学鲍觋究是菲常荧毽和必簧的，甚至哥以说是决 定性的。 酋先，本文将认翘科学中的髂惑趣王理论秘，汝理摸燮理论融龠在一起，建立 模型”讨论了与语言和语义期关的哲学话题、逻辑学话题藕心理学话题，舞具体 盼语义形式化方法提供了指导。 然后，基于辩识图理论，本文研究了搿语义袭示形式纯的闯题”。一个基本 观点是：入们在意识中有一种结构化的表遮，鞠心理模型，语义就是语言所代表 的心理模型，它是盘概念构建的一种结构。随后，本文以汉语为平台，具体扶概 念、结构、词与概念昀对应关系，语法与缩构酶对瘴关系遮四个方面进行了知识 图影式化的研究。 最君，基予概念蓬理论，本文研究了群语义摧理形式纯的润蘧静。从形式演 绎和模型理论两个方面讨论了概念图的语义推理机制。随履，针对封闭世界模型 下瓣概念瞄推理道程提磷≯一种基予耩弈褥的求解算法，镶簿法蔚戳实瑰对封闭 世界模型下任一个概念图蛾概念图集“真馕的识别。 美键词；麴然语畜理解，语义影载佬，，§理模型，概念，概念结掬，躲识圈， 概念内涵，概念外延，语法，概念图，世界模型，博弈树 Abstract core inartificial Natural isoneofthe subjects languageunderstanding intelligenee． researchworkrelated辆theformalizationfor 髓撼essential is牺dothe part搽it various of in critical these，the aspectslanguage computer．Among problem problems isthesemantic is越mostdifficultforthe of formalization,whichpart development thenatural m洳researchthisthesisistO languageunderstanding，Thepo谳for thesemantic Oil formalize based problems linguistic the methods．Forthereasonthat onemathematic mostsimilar graph,as form,is way tOhuman buiMa based