自然言語の統一的理解に向けた量化表現・数表現・複数表現の数理モデル構築

构建量化、数值表达和多重表达的数学模型，以统一理解自然语言

• 批准号: 15J11772
• 负责人: 田中 リベカ
• 金额: $ 1.79万
• 依托单位: Ochanomizu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2015
• 资助国家: 日本
• 起止时间: 2015-04-24 至 2018-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15J11772/
• 关键词: 形式意味論; 量化表現; 数表現; 複数表現; 依存型理論; 含意関係; 推論; 前提; 複数照応

本研究の目的は、英語の量化表現・数表現・複数表現について、依存型理論という数学的枠組みに基づいて、照応・前提現象との相互作用や推論的性質までを考慮した網羅的な分析を与えることである。量化表現・数表現・複数表現といった、自然言語の名詞句の中心部分を扱う表現に着目し、依存型理論という定理証明器による実装とも相性が良い枠組みで分析を与えることで、含意関係を機械で判定するための理論的基盤を得ることを目指す。本年度は、前年に発表した依存型理論に基づく複数照応の分析について、より詳細な内容を論文にとりまとめて発表した。ここで発表した複数照応の分析は、前年度までに行っていた量化表現・数表現・複数表現の分析とも自然に接続するものである。これらの成果を併せると、照応現象の説明までを視野にいれた量化表現・数表現・複数表現の意味記述が得られたと言える。また、この複数照応の分析をさらに発展させ、形式意味論において複雑な照応の例として知られているいわゆるPaycheck文についても、依存型理論の枠組みではその他の照応現象と統一的に分析できることを示した。（この成果は論文にとりまとめ、投稿済みである。）さらに、照応現象の分析に関連して、叙実動詞がもつ前提について論文誌に論文を発表した。前提の計算と文の推論に関する分析を行い、命題を補文にとる場合に加えて、叙実動詞が名詞句を補部にとる場合についても考察を与えた。

The purpose of this study is to consider the quantitative representation of English, the numerical representation of English, the complex representation of English, the theory of dependence, the mathematical foundation, the illumination, the premise phenomenon, the interaction and the nature of inference. Quantification, number, expression, central part of natural speech, expression, theory of dependence, theorem prover, analysis, mechanical determination, theoretical basis, expression, expression This year's report is based on the analysis of multiple photos, and the detailed content of the paper is reported. The analysis of multiple images in the previous year was based on quantitative performance, numerical performance, and analysis of multiple images. The results of this study are described in terms of quantitative performance, numerical performance, and meaning. The analysis of multiple illumination is based on the development of formal implication theory, the analysis of multiple illumination is based on the integration of dependency theory, and the analysis of other illumination phenomena is based on the unification of formal implication theory. (This article is published in English.) In this paper, the author analyzes the relationship between the phenomenon of illumination and the premise of the verb. Premise calculation and inference are related to analysis, proposition, complement, case, addition, description, verb, noun, sentence, complement, case, investigation, etc.

项目成果

Generalized quantifiers in Dependent Type Semantics

依赖类型语义中的广义量词

• 发表时间: 2016
• 作者: Ribeka Tanaka;Koji Mineshima;Daisuke Bekki;Ribeka Tanaka;Ribeka Tanaka
• 通讯作者: Ribeka Tanaka

On the Interpretation of Dependent Plural Anaphora in a Dependently-Typed Setting

论依赖型环境中依赖复数回指的解释

• DOI: 10.1007/978-3-319-61572-1_9
• 发表时间: 2017
• 期刊: Lecture Notes in Computer Science (LNCS)
• 作者: Ribeka Tanaka;Koji Mineshima;Daisuke Bekki
• 通讯作者: Daisuke Bekki

含意関係認識による金融ドキュメントチェックへの取り組み

利用隐含关系识别的财务凭证检查方法

• 发表时间: 2018
• 作者: 馬目 華奈;外園 康智;長谷川 貴博;小西 優祐;渡邉 知樹;簗 有紀子;谷中 瞳;田中 リベカ;峯島 宏次;戸次 大介
• 通讯作者: 戸次 大介

Factivity and Presupposition in Dependent Type Semantics

依存类型语义中的事实和预设

• DOI: 10.15398/jlm.v5i2.153
• 发表时间: 2017
• 期刊: Journal of Language Modelling
• 作者: Ribeka Tanaka;Koji Mineshima;Daisuke Bekki;Ribeka Tanaka， Koji Mineshima， Daisuke Bekk
• 通讯作者: Ribeka Tanaka， Koji Mineshima， Daisuke Bekk

意味解析システムccg2lambdaによる金融ドキュメント処理

使用语义分析系统ccg2lambda处理财务文档

• 发表时间: 2018
• 作者: 外園 康智;長谷川 貴博;渡邉 知樹;馬目 華奈;簗 有紀子;谷中 瞳;田中 リベカ;Martinez-Gomez Pascual;峯島宏次;戸次大介
• 通讯作者: 戸次大介