哲学动态
哲學動態
철학동태
Philosophical Trends
2010年
9期
83~89
,共null页
谓词逻辑 动态 蒙太格语法 组合原则 逻辑语言 语义解释 语义理论 信息处理
謂詞邏輯 動態 矇太格語法 組閤原則 邏輯語言 語義解釋 語義理論 信息處理
위사라집 동태 몽태격어법 조합원칙 라집어언 어의해석 어의이론 신식처리
为了使坎普（H．Kamp）和海姆（I．R．Heim）的话语表现理论符合蒙太格语法的组合原则，胡能迪克（J．Groenendijk）与斯托克霍夫（M．Stikhof）于1991年提出了动态谓词逻辑（dynamic predicate logic），其目的是“把一阶谓词逻辑语言看做是朝着一个组合的，而非表现的话语语义理论方向发展的动态语义解释”。可以说，在对自然语言进行信息处理时，组合性原则是考虑问题的出发点。
為瞭使坎普（H．Kamp）和海姆（I．R．Heim）的話語錶現理論符閤矇太格語法的組閤原則，鬍能迪剋（J．Groenendijk）與斯託剋霍伕（M．Stikhof）于1991年提齣瞭動態謂詞邏輯（dynamic predicate logic），其目的是“把一階謂詞邏輯語言看做是朝著一箇組閤的，而非錶現的話語語義理論方嚮髮展的動態語義解釋”。可以說，在對自然語言進行信息處理時，組閤性原則是攷慮問題的齣髮點。
위료사감보（H．Kamp）화해모（I．R．Heim）적화어표현이론부합몽태격어법적조합원칙，호능적극（J．Groenendijk）여사탁극곽부（M．Stikhof）우1991년제출료동태위사라집（dynamic predicate logic），기목적시“파일계위사라집어언간주시조착일개조합적，이비표현적화어어의이론방향발전적동태어의해석”。가이설，재대자연어언진행신식처리시，조합성원칙시고필문제적출발점。
