CAJ | 학술논문

组合性是对自然语言进行信息处理时考虑问题的出发点。动态谓词逻辑主要是从语言信息的可计算性和组合语义的角度，使用标准一阶谓词逻辑的正统句法，通过对话语表现理论等逻辑理论进行改进而得到的。动态谓词逻辑的提出本质上是为了处理两类问题：跨语句的指代消解和表示语句内部约束关系的“驴子句”中的指代消解。动态谓词逻辑的核心思想是使用逐渐递增信息的动态方法对句子或者句子序列进行分析，并对于变项的指派进行扩展，或者对作为模型参照物的状态进行流动更新。
조합성시대자연어언진행신식처리시고필문제적출발점。동태위사라집주요시종어언신식적가계산성화조합어의적각도，사용표준일계위사라집적정통구법，통과대화어표현이론등라집이론진행개진이득도적。동태위사라집적제출본질상시위료처리량류문제：과어구적지대소해화표시어구내부약속관계적“려자구”중적지대소해。동태위사라집적핵심사상시사용축점체증신식적동태방법대구자혹자구자서렬진행분석，병대우변항적지파진행확전，혹자대작위모형삼조물적상태진행류동경신。