【ビッグデータ】ビッグデータで得た経験則を自動推論で結び付けよう

2019年10月24日

埼玉大学大学院理工学研究科数理電子情報部門　情報領域後藤祐一准教授

キーワード

人工知能　自動推論　論理学　知識表現

研究概要

「暑い日は冷たいビールがうまい」という経験則と「今日は真夏日」という事実から「今日は冷たいビールがうまい」という結論を導出する行為を推論と言います。どのような推論が良い推論なのかを研究している分野が論理学です。私は論理学に基づき、計算機に推論を自動的に行わせる自動推論とその応用を研究しています。

論理学に基づく自動推論は、機械学習（深層学習含む）に比べると、同じ人工知能の分野でも古い研究分野です。機械学習は、大量の観察データから頻出するパターンを計算機に見つけさせる技術です。このようにして得られたパターンは経験則（あるいは経験則候補）と考えることができます。

人間が扱いきれないような量のデータ（ビッグデータ）から機械学習によって大量の経験則が得られても、経験則同士が関連づけられていなければ何の役にも立ちません。私は経験則同士を関連付けて利用する道具として自動推論が役に立つと考えています。

産業界へのアピールポイント

・ビッグデータを用いたデータマイニングが一般的になった時の次の課題「得られた多くの経験則をどう組み合わせて使うのか」（情報マイニング）に役立ちます。

・自動推論を基礎づける論理として準無矛盾論理の一つである強相関論理を採用しています。このため、非完全情報下における推論を行っても無意味な推論になりません。

実用化例・応用事例・活用例

・汎用前向き推論エンジンFreeEnCalを共同開発（同領域所属の程京徳教授と）

お役立ちコンテンツ

弁理士の著作権情報室

著作権など知的財産権の専門家である弁理士が、ビジネスや生活に役立つ、様々な著作権に関する情報をお伝えします。
産学連携情報

企業と大学の連携を推進する支援機関：一般社団法人産学連携推進協会が、産学連携に関する情報をお伝えします。
コンサルタント経営ノウハウ

コーチ・コンサルタント起業して成功するノウハウのほか、テクニック、マインド、ナレッジなどを、3～5分間程度のTikTok動画でまとめています。
補助金活用Q&A

ものづくり補助金、事業再構築補助金、IT導入補助金、小規模事業者持続化補助金及び事業承継・引継ぎ補助金に関する内容を前提として回答しています。
M&Aに関するQ&A

M&Aを専門とする株式会社M&Aコンサルティング（イノベーションズアイ支援機関）が、M&Aについての基本的な内容をQ&A形式でお答えします。