第五回マルレク 「人工知能と意味の形式的理論」

来年早々になりますが、1月8日に、マルレク第五回を、富士ソフトさんのアキバプラザで開催します。テーマは、「人工知能と意味の形式的理論」です。

告知ページ・募集要項は、近日中に公開します。
募集期間が、年末・年始の時期に重なっているため、いつもより募集時期を若干早めたいと考えています。ご注意ください。

【講演概要】

人工知能研究の大きな課題の一つに、意味の理解をどのように機械上で実現するかという問題があります。

講演では、まず、この分野で、現時点で一定の成功を収めている三つのアプローチを紹介します。

第一は、Amazon Alexa, Google Home 等のボイスアシスタント・システムで多く利用されている、ヒューリスティックなアプローチです。そこでは、チューリング・テストをパスすることを意識した、意味のプラグマティックで「操作主義的」理解が中心にあります。

第二は、Google等の大規模な検索エンジンやDiffbot等が利用している。Knowledge Graph的なアプオーチです。グラフの規模の大小はあるのですが、そこで中心的な役割を果たしているのは、「エンティティ・モデル」です。

第三は、Googleニューラル機械翻訳の成功に刺激を受けた、「機械翻訳技術」の発展と普及を背景としたアプローチです。そこでは、大規模なパラレル・コーパスを大規模なハードウェアを利用して「学習」が行われます。

講演の後半は、現在の実装技術の紹介を目的とした前半と切り口が異なります。「意味の理解」は、「意味」についても「理解」についても、新しい枠組みが必要だというように、丸山は考えています。また、そうした理論は形式的なシステムで記述できるとも考えています。

次のような話をします。

・文法の構造と意味の構造の対応、あるいは二つの構造の「二重化」の必要について。
・理論とモデル。数学での意味の扱いに学ぶ。
・ローヴェールのFunctor Semantics
・新しい「型の理論」