自然言語のダイナミック・セマンティクス、タイプ理論の研究とその情報学への応用

2003 Fiscal Year Annual Research Report

• Project/Area Number: 15720091
• Research Institution: Osaka University
• Principal Investigator: 緒方 典裕 大阪大学, 言語文化部, 助教授 (10314410)
• Keywords: generic / parameterized Herbrand model / Herbrand model with typed arbitrary objects / dynamic semantics / Private Viewpoint Model / nonmonotonic conditional / cognitive semantics / modal subordination

Research Abstract

いくつかの新たなデータ構造をダイナミック・セマンティクスに導入し、論文として発表した。
「Dynamic Predicate logic with Defeasible Non-Kind Denoting Singuar Generics」ではHerbrand Modelを基本として、typed arbitrary objectを導入し、また非単調条件演算子を導入し、kindをあらわさない総称文のダイナミック・セマンティクスを提案した。
「Dynamic Predicate Logic with Private Viewpoint Models and its Application to the Semantics of Over」ではPrivate Viewpoint Modelとその変更関係を導入し、前置詞overのダイナミック・セマンティクスに認知意味論的な観点を導入し、応用した。
また未発表の研究として、Parameterized Herbrand Modelの導入による依存wh疑問文と答えのダイナミック・セマンティクスの形式化、グラフ変更系の導入によるmodal subordinationのダイナミック・セマンティクスの形式化、高階依存部分型Lambek計算の形式化を行った。

Research Products

• [Publications] Norihiro Ogata: "Dynamic Predicate logic with Defeasible Non-Kind Denoting Singuar Generics"ICosS-4:Inference in Computational Semantics. 2003. 157-170 (2003)
• [Publications] Norihiro Ogata: "Dynamic Predicate Logic with Private Viewpoint Models and its Application to the Semantics of Over"ACL-SIGSEM Workshop on The Linguistic Dimensions of Prepositions and their Use in Computational Linguistics Formalisms and Applications. (未定). (2003)