Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献一覧: 簗 有紀子 (著者)
4件
22
0
0
0
OA
意味論の証明論的転回
著者
戸次 大介
峯島 宏次
金子 貴美
田中 リベカ
谷中 瞳
木下 恵梨子
伊藤 友里菜
簗 有紀子
出版者
一般社団法人 人工知能学会
雑誌
人工知能学会全国大会論文集 第31回全国大会(2017)
巻号頁・発行日
pp.2B3OS07a4, 2017 (Released:2018-07-30)
自然言語の意味論はモンタギュー以来、モデル理論的意味論が主流であったが、ランタらによる証明論的意味論の流れが存在する。特に近年、著者ら自身の研究を含む理論的進展により、証明論的意味論の経験的、計算的優位性が明らかにされつつある。本発表では、証明論的意味論の中心的枠組みの一つである依存型意味論(DTS)を紹介するとともに、その言語学的意義、哲学的位置付け、自然言語処理への応用などについて解説する。
5
0
0
0
OA
意味論の証明論的転回
著者
戸次 大介
峯島 宏次
金子 貴美
田中 リベカ
谷中 瞳
木下 恵梨子
伊藤 友里菜
簗 有紀子
出版者
人工知能学会
雑誌
人工知能学会全国大会論文集
(
ISSN:13479881
)
巻号頁・発行日
vol.31, 2017
自然言語の意味論はモンタギュー以来、モデル理論的意味論が主流であったが、ランタらによる証明論的意味論の流れが存在する。特に近年、著者ら自身の研究を含む理論的進展により、証明論的意味論の経験的、計算的優位性が明らかにされつつある。本発表では、証明論的意味論の中心的枠組みの一つである依存型意味論(DTS)を紹介するとともに、その言語学的意義、哲学的位置付け、自然言語処理への応用などについて解説する。
3
0
0
0
OA
意味解析システムccg2lambdaによる金融ドキュメント処理
著者
外園 康智
長谷川 貴博
渡邉 知樹
馬目 華奈
簗 有紀子
谷中 瞳
田中 リベカ
Mart'ınez-G'omez Pascual
峯島 宏次
戸次 大介
出版者
人工知能学会
雑誌
2018年度人工知能学会全国大会(第32回)
巻号頁・発行日
2018-04-12
本稿では、日本語・英語のテキストを論理式に変換し、自動推論を行う意味解析システムccg2lambdaの基本的な機能を解説し、特にこのシステムを金融ドキュメントの処理へと応用する試みについて紹介する。ccg2lambdaでは、統語・意味解析から推論までの各モジュールが明確に区別されており、統語情報・意味合成・意味表現をCCG導出木としてグラフィカルに表現する機能をサポートしている。このため、処理プロセスのどの部分で解析エラーが起こったのかを容易に同定することが可能である。ccg2lambdaの意味解析と推論システムについて紹介した上で、特に金融ドキュメントを対象とした含意関係認識と矛盾検知について具体例に基づいて説明する。
1
0
0
0
OA
意味解析システムccg2lambdaによる金融ドキュメント処理
著者
外園 康智
長谷川 貴博
渡邉 知樹
馬目 華奈
簗 有紀子
谷中 瞳
田中 リベカ
Mart'ınez-G'omez Pascual
峯島 宏次
戸次 大介
出版者
一般社団法人 人工知能学会
雑誌
人工知能学会全国大会論文集 第32回全国大会(2018)
巻号頁・発行日
pp.3G105, 2018 (Released:2018-07-30)
本稿では、日本語・英語のテキストを論理式に変換し、自動推論を行う意味解析システムccg2lambdaの基本的な機能を解説し、特にこのシステムを金融ドキュメントの処理へと応用する試みについて紹介する。ccg2lambdaでは、統語・意味解析から推論までの各モジュールが明確に区別されており、統語情報・意味合成・意味表現をCCG導出木としてグラフィカルに表現する機能をサポートしている。このため、処理プロセスのどの部分で解析エラーが起こったのかを容易に同定することが可能である。ccg2lambdaの意味解析と推論システムについて紹介した上で、特に金融ドキュメントを対象とした含意関係認識と矛盾検知について具体例に基づいて説明する。