無重力論理
| 分野 | 数理論理学・宇宙工学・意思決定理論 |
|---|---|
| 提唱時期 | 1988年（学会内の非公開草案）→1991年（公刊扱い） |
| 中心概念 | 「重力の欠落」を条件付け演算として扱う |
| 主な適用領域 | 自律制御、契約合意プロトコル、計画言語 |
| 関連語 | 微小慣性条件、浮遊推論 |
| 論争点 | 整合性証明の“優先度”が恣意的と指摘される |
無重力論理（むじゅうりょく ろんり、英: Zero-Gravity Logic）は、物理学的な「無重力」を、推論規則としてモデル化する架空の論理体系である。1980年代後半に周辺で提唱され、以後は工学的意思決定や表現技法へ波及したとされる[1]。
概要[編集]
は、観測上の重力成分が「ゼロとして扱える領域」において成立する推論規則を記述する体系である。具体的には、通常の推論では前提に含めるはずの加速度項が、ある閾値以下では“情報量が失われる”として演算から除去される、とされる[2]。
体系の目的は、物理に縛られずに「環境が情報を奪う」ことを論理式の形で表す点にある。たとえば、衛星の姿勢推定では微小な重力勾配がノイズとして扱われるが、そのノイズを「論理的に無効な枝」とみなして枝刈りする発想が導入されたと説明されている[3]。一方で、その“無効”の基準が実装ごとに微妙に変わるため、研究会では「論理というより運用の都合ではないか」とも揶揄されたという記録がある[4]。
歴史[編集]
起源：重力データ欠損の学習規則[編集]
無重力論理の起源は、に拠点を置く民間研究部門が、軌道上の重力データ欠損を埋めるために作った“推論用穴埋め”にあるとされる[5]。当時のプロジェクトはの委託研究として走っており、計測は同研究所の「第3地上局（品川系）」から送られる設計だった。しかし実際には、1990年春の伝送障害で重力勾配の時系列が一日あたり平均3.17%欠落したと報告された[6]。
欠落が増えると統計的推定が崩れるため、開発チームは「欠落を確率でごまかすのではなく、欠落を前提として推論を再構成する」方針を採ったとされる。その際に、欠落区間を囲む“推論枠”として提案されたのが、後にと呼ばれる規則群である。とくに「閾値T以下では重力項を論理的に参照不能にする」というルールが核となった[7]。なお、閾値Tはセンチメートル毎秒の二乗で計測され、ある内部メモではT=1.2×10^-6 cm/s^2、別の年次報告書ではT=0.999×10^-6 cm/s^2と、桁の読み替えが混在していたとも言及されている[8]。
発展：自律制御と“浮遊推論”の合流[編集]
1991年頃、初期の草案はの関連セミナーで“浮遊推論”という別名で口頭紹介された。参加者の一人である渡辺精一郎は、無重力論理を「制御のための論理的観測欠損処理」と位置づけ、制御器の条件分岐を論理式へ落とし込む実験を行ったとされる[9]。ここで重要なのは、無重力論理が単なる理論ではなく、実装上の“枝刈り戦略”として使われた点である。
また同時期、系の研究分科会が、衛星運用の意思決定手続きを“合意可能な推論”として定式化する方向に舵を切ったとされる。契約や運用手順は当事者ごとに異なる前提を持つため、「どの前提が論理的に参照できるか」を明示しないと議論が破綻する。そこで、無重力論理の「参照不能化」の考え方が、運用合意プロトコルへ転用された[10]。
この転用を後押ししたのが、の補助を受けた観測衛星の運用訓練である。訓練は“誤差の論理化”をテーマに据えられ、同省提出資料では、無重力論理を使うチームの合意到達時間が平均44分短縮したと記載された[11]。ただし、その44分が「初回合意」なのか「最終承認」なのかで解釈が割れ、後年の追記では“短縮幅の統計母数が少なかった可能性”が注記されたという[12]。
内容[編集]
無重力論理の基本は、通常の前提集合に加え「無重力ラベル（Gラベル）」を付与する点にある。Gラベルは、対象となる変数（重力勾配、加速度推定値、あるいはその代理特徴）が“観測上の情報不足”に該当する場合に付けられると説明される[13]。
次に、推論規則では“重力ラベル付きの前提”が、結論への導線から切り離される。形式的には、重力ラベルを含む前提の一部は、含意関係の計算から除外されるか、あるいは弱い形（例えば暫定結論）としてしか利用されない、とされる。研究ノートでは、暫定結論の採用は「0/1ではなく 0.7 の確度」相当として扱う、と妙に具体的な記述が残っている[14]。
この「0.7」の扱いについては、数理論理学者からは“確率と論理を混ぜすぎではないか”と批判された。一方で工学側は、0.7は実際には工学判断の閾値に対応していた（乗り換え基準が0.7kg相当）と反論したとされる[15]。このように、無重力論理は厳密さと運用の現実のあいだで揺れながら発展したと見る向きもある。
社会における影響[編集]
無重力論理は、直接的な物理研究というより、社会の意思決定を“論理の形”で整える試みとして受け止められた。とくに、複数組織が関わる宇宙ミッションでは、現場の観測が部分的に欠けるのが常態であり、無重力論理はその欠損を前提として会議手順へ持ち込んだとされる[16]。
また、物流・防災など地上の現場にも応用されたという逸話がある。たとえば、の自治体連携訓練で、地盤センサーの欠測を“無重力ラベル”に置き換える運用が試されたとされる。資料では、欠測率が最大で日次3.8%に達したときでも、避難方針の合意が翌日午前10時までに形成されたと記録されている[17]。
こうした取り扱いの広がりにより、無重力論理は「論理学の皮をかぶった運用学」と見なされる場面も増えた。ただし、そのラベルが定着するのは学会の否定的評価からではなく、むしろ現場が“わかりやすい道具”として使ったことに由来する、とする記事もある[18]。
批判と論争[編集]
批判の中心は整合性の検証手順にある。無重力論理では、無重力ラベルの付与基準（閾値T）を、論理的には一定として扱う必要がある。しかし実務では、衛星系統・センサー種類・運用フェーズで閾値が変更されがちである。このため、「理論が論理として成立しているのか、運用変数が論理に混入しているのか」が争点とされた[19]。
さらに、無重力論理の代表的な“証明スケッチ”は、学会の非公開講義メモとして流通し、後に公表されたという経緯がある。その講義メモでは、主要補題の途中に「ここは省略してよい（誤差は±0.01相当）」とだけ書かれており、出典注が“議論の場で確認された”という形式で省略されている[20]。この書き方が、要出典タグが付くべき箇所だと指摘された結果、編集者が訂正文を別紙にまとめた経緯があるとされる。
一方で肯定側は、無重力論理がそもそも「宇宙の現場で成立した運用論理」である以上、厳密な一律性を求めるのが間違いだと反論している。もっとも、反論の中にも“なぜ0.7なのか”の説明が十分でない部分があり、論争は完全には終息していないとされる[21]。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎「無重力ラベルによる参照不能化の規則体系」『数理制御学年報』第12巻第3号, 1991年, pp. 41-67.
- ^ Margaret A. Thornton「Zero-Gravity Logic and Operational Consistency」『Journal of Space Systems Reasoning』Vol. 5, No. 2, 1996年, pp. 113-145.
- ^ 佐伯涼子「暫定結論係数0.7の工学的意味—無重力論理の適用記録」『計算機会報』第22号, 1999年, pp. 88-102.
- ^ 田中康平「衛星運用合意への論理的欠損処理」『宇宙運用工学論集』第7巻第1号, 2002年, pp. 9-33.
- ^ Krzysztof Nowak「Threshold T as a Logic Parameter: A Debate」『Logic in Engineering Quarterly』Vol. 14, No. 4, 2004年, pp. 201-225.
- ^ 青木昌平「無重力論理の社会実装：訓練データからの推定」『公共技術レビュー』第3巻第2号, 2008年, pp. 55-80.
- ^ 高橋みどり「“省略は誤差±0.01”を正当化する方法」『理論と現場のあいだ』第1巻第1号, 2011年, pp. 1-24.
- ^ 宇宙政策研究所編集委員会『無重力論理：附属資料と講義メモ集』宇宙政策研究所, 2013年, pp. 203-260.
- ^ （書名が一部誤植とされる）E. Martin『Zero-Gravity Logik: An Unstable Proof Outline』Spring Harbor Press, 2007年, pp. 77-99.
外部リンク
- 無重力論理アーカイブ
- 浮遊推論ワークショップ記録
- 宇宙運用合意プロトコル図書室
- 観測欠損論理研究会