内涵时态逻辑的语义解释系统.pdfVIP

内涵时态逻辑的语义解释系统 陈玉泉 陈宣 陆汝占 上海交通大学计算抓系，上海.200030 E-mail:ygchen⑩ ail.sjtu.odu.cn 幼共:语义的表示与解释是自然语言理解研究中的一个核心问瓜，内涵逻辑和时态逻辑是目前广泛使 用的形式化语义描述语言。本文借鉴Cresswell可能世界语义学的思想，扩展了墓本时态退辑系统，使之能 够更有效地描述自然语言的语义。在此基础上，设计与实现了一个时志逻辑自动语义解释系统。 关.字.时态逻辑 内涵逻辑 语义解释 自然语言理解 AnAutomaticSemanticInterpretationSystem BasedonIntensionalTemporalLogic ChenYuquan ChenXuan LuRuzhan DepartmnetofComputerScineceandE娜eamg 4 沙aiAsoTongUniversity,Sham如i,M0030 E-maily:q由州珍画L幼w.e.cn AbsorsckSemanticdescription.间in回阿刘枷nakernel脚比痴 intheresearch.NaturalLanguage Unrnnagddet.si Intersionallogicandtemporallogicarekindsofformalizedsemanticdesrciption灿脚乎Basedon 阮 thoughtofCraswellspossibleworldsemantics,thispaperextnedsbasictemporallogic,makesitmoreefficient innaturallanguagesemanticsdescriptionanddevelops明automaticsemanticinterpretationsystem. Keywords:TemporalLogic,IntensionalLogic,SemanticInterpretation,NaturalLan如ageUnderstanding 1.引言 语言所表达的意义包含两方面内容，一方面是跟民族、社会密切相关的文化背景;另一 方面是逻辑语义，表达了最基本的逻辑关系。理解语言的语义，最基本的是理解语言的逻辑 语义I[ntatror，这不仅是当前计算机理解自然语言的根本所在，也是计算语言学中的带有根本性 的理论基础和应用技术的关键。求解自然语言的逻辑语义分为两个步蕊:对于自然语言语句 S，首先求5对应的内涵逻辑表达式△，然后在具有可能世界的模型下对△进行语义解释。 在描述自然语言语义的步骤中，需要使用一套合适的语义描述语言。这样的语义描述语 言必须具有形式化、无歧义、描述能力强等特点。内涵逻辑和墓本的时态、棋态逻辑是目前 最常用的语义描述语言，Montage语法[[0),GPSG0[1等经典的语言理论都是在这样逻辑框架 的茎础上，建立了一套合适的语义描述体系。然而，墓本的时态、模态逻辑在描述自然语言 中带有复杂的时间指标的语句时，其能力仍显不足。本文借鉴cresswell可能世界语义学,n 的思想，扩展了基本时态逻辑系统，使之能够更有效的描述自然语言的语义。 语义解释步骤的任务是解释逻辑公式A所表示的愈义.根据棋型论的观点，用M:.D,F 表示模型，其中D表示个体论域，F表示非逻辑常2的指派函数，用g表示变盘赋值函数， 用W表示可能世界集合(或用I表示时间指标集合)，这样在给定M,g,W之后，即可求 公式。的语义IAI)x`.而根据内汤逻辑的模型论解释，给定M,g后，可将。的语义解释 (记 为V(A))定义为使其值为真的可能世界的集合，即V(A)=(WI协价uT=r)e.` 2.内汤时态逻辑及其扩展 2.1羞本时态逻辑描述能力的不足 时态逻辑是对一阶谓词逻辑的扩展，弓}入了时态算子F(将来算子)、P(过去算子)用 于描述依软于时态指标的自然语言语义。时态算子F与P的语义规则为: (1)tV(PA) 存在某个t(tt),使得tV(A)