权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

証明論的意味論に基づく自然言語における主張と前提の統合的分析

基于基于证明的语义的自然语言主张和前提的集成分析

基本信息

批准号：
08J07798
负责人：
峯島宏次
金额：
$ 1.34万
依托单位：
Keio University
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2008
资助国家：
日本
起止时间：
2008 至 2010
项目状态：
已结题

项目摘要

今年度は前年度に引き続いて、現代論理学の観点に基づく自然言語の分析を中心に研究を行った。成果は以下の4点にまとめられる。1.自然言語推論を分析する上で最も基本的部分となる三段論法とその様々な拡張体系を、証明論における自然演繹の手法を用いて形式化し、その論理的性質(完全性、正規化定理)を明らかにする研究を行った。これにより、従来のモデル論的アプローチでは十分に解明されてこなかった、自然言語の量化文による証明構造を分析する形式的基盤が得られた.またこれと平行して、自然言語推論を扱う証明論的枠組みにいわゆる前提を扱うメカニズムを取り込む研究を進めた。特に、前年度までに得られた確定記述句の分析を出発点として、これを前提現象一般へと拡張することを試みた。2.自然言語推論と図形推論の共通性に着目した研究を前年度に引き続き行い、特に自然言語の三段論法とその拡張体系に対応するさまざまな図形推論体系(オイラー図およびヴェン図の推論体系)について、1.と同様の証明論的分析を試みた。また、この研究と平行して、現代論理学と認知科学の統合的観点から、自然言語推論と図形推論を比較する一連の研究を行った。3.自然言語の形式意味論研究における動的アプローチに基づく研究として、特に線形論理および動的論理の観点から研究を進め、日本語と英語の義務および許可を表す様相表現を中心に分析を進めた。特に、従来の古典論理に基づく分析では処理することが難しかったいくつかの問題について、新たな分析が可能であるという洞察を得た。4.関連性理論の枠組みに基づいて自然言語の語用論的推論の研究を進めた。この研究に関して、これまでの研究成果をまとめた英文論文を収録した英文単行本が出版された。

Our annual に lead before はき続いて, modern logic の観に base づく natural speech の analysis を center line に research をった. The following four points are にまとめられる. 1. Natural verbal reasoning を analysis するで on the most basic part ともなる syllogism とその others 々なを company, zhang system, prove that theory における natural deduction の gimmick を with いて formal し, その logical properties (completeness and regularization theorem) を Ming らかにするを line った. これにより, 従のモデル theory アプローチでは very に interpret されてこなかった, natural speech の quantitative による prove that the analysis of tectonic をする form of base plate がられた. またこれと parallel して, natural verbal reasoning を Cha う prove theory 枠 group みにいわゆる premise を Cha うメカニズムを take り込をむ research into めた. に, before the annual までに have られた determine account analysis をのと発 point して, これを premise phenomenon generally へと company, zhang することを try みた. 2. Natural verbal reasoning と図 form inference の convergence に with mesh した research を before annual に lead き続き line い, special natural speech のに syllogism とその company, zhang system に応 seaborne するさまざまな図 type inference system (オイラー図およびヴェン図の inference system) について, 1. と with others の prove theory analysis を try みた. また, この research と parallel して, modern logic と cognitive science の観 point of integration of から, natural verbal reasoning と図 form inference を comparison する line for の research をった. 3. の form natural words mean theory research における moving アプローチに base づく research として, に linear logical および moving logical の観 point から research を into め, Japanese と English の obligation および licensing を table す others in phase performance を center に analysis を into めた. に, 従 to のに classical theories base づく analysis では処 Richard することが difficult しかったいくつかの problem について, new たがな analysis may であるという insight をた. 4. Correlation theory 枠枠 group みに basis づ枠てて natural language <s:1> pragmatics inference <e:1> study を advance to めた. この research に masato して, これまでの research をまとめた English papers を収 recorded した単 line が published in English された.