著者

戸次 大介

雑誌

情報処理学会研究報告自然言語処理(NL)

巻号頁・発行日

vol.2002, no.66(2002-NL-150), pp.69-76, 2002-07-15

---

型付き動的論理(TDL)[2]は、動的述語論理[8]と複数形論理[5]の両方の利点を備えた論理言語である.本論文では、TDLを日本語の形式意味論に応用し 量化子の分配/累積読み 照応子の変項束縛/Eタイプ読みなどの分析における 他の意味論への優位性を示す.