RESEARCH PROJECT / STRUCTURE ABSTRACTION

違う分野の問題を、
同じ「構造」で解く。

具体的な名前を外して、役割と関係だけを取り出す。
すると、まったく別の分野で確かめられてきた知識が、
目の前の問題を考える手がかりになります。

構造抽象化とは ↓
ONE STRUCTUREMANY FIELDS
電気回路水のタンク部屋の温度
STRUCTURE差が流れを生み、
抵抗が妨げ、容量がためる。
τ = R × C
見た目の違う三つの現象が、同じ形の関係で書ける。

LMRが自社の計算基盤で進めている研究課題です。

01 / CONCEPT構造抽象化とは

構造抽象化名前を外し、役割と関係を残す。

構造抽象化は、ある事例から具体的な名前を外し、それぞれが果たしている「役割」と、役割どうしの「関係」、その関係が成り立つ「条件」だけを取り出す処理です。取り出した構造は、分野をまたいで比べることができます。

取り出すもの
役割(流れを妨げる要素、ためる要素など)、関係(何が増えると何が増えるか)、条件(どの範囲で成り立つか)。
それだけでは足りないこと
分類のタグを付ける、文章を短く要約する、文章をベクトルに変える。どれも助けにはなりますが、問いに答えるのに必要な関係と条件が残っていなければ、構造抽象化にはなりません。
土台の理論
類推を「関係の構造を写すこと」ととらえる認知科学の構造写像理論と、電気・熱・流体を共通の量で表す定性物理・ボンドグラフ。
類推構造写像定性推論
FOUR LAYERS情報を四つの層に分けて残す
層例(電気回路)残す理由
具体事実抵抗2、容量3、入力を段階的に変える引用し、確かめ直す基準
役割と関係流れを妨げる要素、ためる要素、応答の遅れ異なる分野と比べる中心
条件部品の値は一定、変化は指数関数的に落ち着く写しても成り立つ範囲
予測抵抗だけ2倍なら、時定数も2倍正しいかを試験する
比べるのは「役割と関係」。事実・条件・予測も一緒に残す。値は考え方を説明するための例です。
KEY IDEA

似ているのは、見た目ではなく関係の形。

02 / EXAMPLE電気回路と水のタンク

同じ構造回路の知識で、水位を予測する。

コンデンサに電気がたまる回路と、底に排水口のあるタンクに水がたまる様子は、見た目はまったく違います。ところが構造を取り出すと、「差が流れを生み、抵抗が流れを妨げ、容量がためる」という同じ形になります。

対応
電圧の差と水位の差、電流と流量、電気の抵抗と排水の通りにくさ、コンデンサとタンクの容量が、それぞれ同じ役割を果たします。
写せる知識
回路で確かめられてきた「時定数 τ = R × C」が、タンクの水位が落ち着くまでの速さをそのまま表します。
予測と試験
「抵抗だけ2倍なら、時定数も2倍」という回路の予測は、タンクでは「排水の通りにくさが2倍なら、落ち着くまでの時間も2倍」になります。これを計算で確かめます。
役割の対応式の写像予測の検査
MAPPING役割で対応づける
電気回路構造(役割)水のタンク
電圧の差流れを生む差水位の差
電流流れ流量
抵抗流れを妨げる排水の通りにくさ
コンデンサためるタンクの容量
時定数 R × C応答の遅れ水位が落ち着く速さ
役割で対応づけると、回路の式をタンクへ写せる。部屋の温め方(温度差・熱の流れ・断熱・熱容量)も同じ構造です。
KEY IDEA

一つの分野で確かめた式が、別の分野の予測になる。

03 / LENSES構造を取り出す八つの観点

八つの観点見落としを防ぐための問い。

文章から構造を取り出すときは、次の八つの観点で問いを立てます。どれにも当てはまらない関係は「枠外」として拾い、根拠のない観点を無理に埋めることはしません。

  1. 構成・依存何が欠けると、全体が成り立たないか。
  2. 因果・作用何を変えると、何が変わるか。それは事実か、仮定か。
  3. 流れ・蓄積何が入り、出ていき、たまり、滞るか。
  4. 時間・変化遅れ、順序、周期、寿命がどう効くか。
  5. 情報・観測何が見えず、誰に伝わっていないか。
  6. 制御・フィードバック目標、測定、修正がどう結びつくか。
  7. 制約・トレードオフ何が選択肢を狭めているか。
  8. 主体・目的・利害誰が何を求め、何に反応するか。
  9. 枠外八つの観点では表せない関係は何か。
04 / HOW IT WORKS取り出し、対応づけ、確かめる

五つの段階もっともらしさではなく、確かめられる予測を。

  1. 01取り出す

    事例や論文の記述から、八つの観点で役割・関係・条件を取り出します。AIはこの読み取りを担当します。

  2. 02対応づける

    解きたい問題と、蓄積した事例を、関係の構造で照合します。関係が対応すれば、その要素どうしも一対一で対応させます。

  3. 03仮説を作る

    対応した事例の式を、対応関係に従って置き換え、問題側の予測式を機械的に作ります。AIに式を書かせることはしません。

  4. 04試験する

    単位のつじつまや数値で、予測を独立した計算として確かめます。

  5. 05記録する

    どの事例、どの事実、どの対応から予測を作ったかを、根拠として残します。

MODE 01

判断

新しい問題に、既知のどの法則が当てはまるかを判定します。与えられた事実だけでは決めきれないときは判断を保留し、見分けるための質問や観測を返します。

MODE 02

提案

数値の表と説明から、当てはまりそうな仕組みの候補(飽和、べき乗則、待ち行列など)を、式と当てはまりの根拠つきで挙げます。候補どうしを見分けるための観測も示します。

05 / WHY IT MATTERS何に役立つのか

役立つこと別の分野の知恵を、目の前の問題へ。

01

異分野の知見を借りる

新しい問題でも、構造が同じなら、別の分野で長年確かめられてきたモデルを当てはめられます。ゼロから仮説を立てるより早く、確かな出発点が得られます。

02

データから仕組みの候補を挙げる

実験や運用で集めた数値の表から、背後にありそうな仕組みを式つきで提案します。どの候補かを見分けるために、次に何を測ればよいかも示します。

03

分からないときは、分からないと言う

与えられた事実で決めきれない問題に、無理に答えを出しません。判断を保留して見分けるための質問を返し、誤った当てはめを防ぎます。

04

根拠をたどれる

予測には、使った事例・事実・対応が記録されています。もっともらしい文章ではなく、計算で確かめられる仮説として扱えます。

活用を考えている場面

  • 研究開発での仮説づくりと、次の実験の計画
  • 製品や設備のふるまいの原因の見立て
  • 調査データや運用データに潜む仕組みの読み解き
  • 社内に蓄積した事例・知識の再利用

想定している場面の例であり、導入実績を示すものではありません。

06 / STATUSいまの到達点

研究の現在地確かめながら、一歩ずつ。

構造抽象化は、LMRが自社の計算基盤で進めている研究課題です。結果は、判定の基準を先に決めてから実験する方法で確かめています。

確かめたこと
既知の法則を当てはめる「判断」は、検証用に用意した問題で、判断の正しさと、決めきれない問題を保留できることを確かめています。
進めていること
実際の研究データを使った「提案」の検証と、蓄積する事例の拡充。
計算基盤
自社のGPUサーバーとMac Studioで、ローカルのAIモデルと埋め込みモデルを動かしています。

REFERENCES

  • D. Gentner (1983) Structure-mapping: A theoretical framework for analogy
  • B. Falkenhainer, K. D. Forbus, D. Gentner (1989) The Structure-Mapping Engine
  • K. D. Forbus (1984) Qualitative process theory
  • H. M. Paynter (1961) Analysis and Design of Engineering Systems
THE NEXT STEP関連するページ

LET’S THINK IT THROUGH.

その問題、別の分野では
もう解かれているかもしれません。

研究データや現場の課題について、お気軽にご相談ください。

開発の相談をする ↗
ABOUT THIS PROJECT

研究段階の取り組みです。紹介している例は考え方を説明するためのもので、製品・サービスの提供や成果を約束するものではありません。