言語の機械処理の前提となる理論言語学の研究

Research Project

Project/Area Number	61120007
Research Category	Grant-in-Aid for Special Project Research
Allocation Type	Single-year Grants
Research Institution	Osaka University of Foreign Studies
Principal Investigator	杉本孝司阪外大, 外国語学部, 助教授 (20030182)
Co-Investigator(Kenkyū-buntansha)	西光義弘神戸大学, 教養部, 助教授 (10031361)
Project Period (FY)	1986
Project Status	Completed (Fiscal Year 1986)
Budget Amount *help	¥1,500,000 (Direct Cost: ¥1,500,000) Fiscal Year 1986: ¥1,500,000 (Direct Cost: ¥1,500,000)
Keywords	IL-HST / タイプ転位 / 内包論理 / 個体化 / タイプ理論 / メタファー / 形式意味論 / モンタギュー文法
Research Abstract	標準的タイプ理論を自然言語の記述に組込むと様々な問題が生じる。その解決策としてHomogeneous Stratified Types(HST)を組込み内包論理とも合わせた論理(IL-HST)を用いることを検討した。IL-HSTはタイプ理論が持つ欠陥を克服するのみならず、自然言語に見られる統語的特徴を意味論的にもっとも自然に反映できる論理言語の一つであることもわかった。日・英両語の検討からタイプ転位が生じる代表的な構造を示せば 1 be動詞補語 2 他動詞目的語 3 前置詞目的語 4 ハダカ名詞 5 時制節・非時制節の関係等であるが、いずれの場合においても、IL-HSTが予測する(自然言語が持つべき)三層のタイプという観点から、これらの構造に現れる表現は、いかなる場合においても同一種類のタイプ(個体もしくは属性の個体化としての個体のレベル)として捉えることができ、日・英共通してIL-HSTが有効かつ強力な記述手段であることがわかった。しかしIL-HSTが待つ問題点も明らかになった。例えば三層のタイプの定義によって、一見して自然言語と対応しない意味タイプも予測されていること(例えば〈〈e,p〉,p〉等、副詞の中には3階以上の高階位のレベルのものもあり、これらの取扱いが恣意的である、等があげられる。今後はこれらの修正をも含めてIL-HSTをより妥当な自然言語の記述手段としていく方向で研究を進める必要がある。と同時に自然言語特有のメタファー表現をIL-HSTの「個体化」という枠組みでどのように一般的に捉えていくかという重要な課題も残されている。