論文の概要: Where Polanyi Meets Galois: Tacit Knowing as an Algebro-Deterministic Operation, Toward Re-rooting AI-Generated Science
- arxiv url: http://arxiv.org/abs/2610.16102v1
- Date: Mon, 12 Oct 2026 03:12:47 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-15 21:06:15.294583
- Title: Where Polanyi Meets Galois: Tacit Knowing as an Algebro-Deterministic Operation, Toward Re-rooting AI-Generated Science
- Title（参考訳）: PolanyiがGaloisと出会う:AI生成科学の再根絶を目指して、Algebro-Deterministic Operationと呼ばれる暗黙の行動
- Abstract要約: 知識は、ある種の無意味な知識よりも、1つのメモリ基板の操作機構としてモデル化されている。
VaCoAl/PyVaCoAl配向非環状グラフ(DAG)
この監査評価は、暗黙的かつ明示的な知識がはっきりと分けられていないというポラニーの主張と正反対である。
- 参考スコア（独自算出の注目度）: 16.991114385613656
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We argue that tacit knowing is better modelled as an operating regime of one memory substrate than as a kind of content. The substrate is VaCoAl, an algebro-deterministic XOR-and-shift hyperdimensional memory over GF(2), realized as CASRAM (commercial SRAM-CAM) and PyVaCoAl (DRAM-CAM).In VaCoAl/PyVaCoAl a directed acyclic graph (DAG) reads two ways. Repairing every collision (Rescue mode) makes the trace exactly auditable but ranks no path higher; tolerating collisions (Don't Care mode) yields a path-integrated confidence, CR$_2$, that silently favours direct routes. This audit-valuation complementarity is a formal counterpart of Polanyi's claim that tacit and explicit knowledge are not sharply divided. It separates contingent tacitness, which a new query brings out (AlphaGo's game tree), from regime-bound tacitness, statable only in a regime where it is gone (AlphaGo's hunches). (1) Polanyi's from-to structure reads as non-commutative binding, the Identikit as role-filler composition, recognition as majority-vote coincidence. (2) Explicating the valuation destroys it, as attending to his fingers can make Polanyi's pianist falter, yet a closed-form law states it. Polanyi, Nonaka, Tsoukas and Collins each capture part of this but narrowly; even Nonaka and von Krogh's continuum cannot tell contingent from regime-bound tacitness. (3) Collins's three tacit knowledges become strata, one outside the substrate. (4) Our mentor-student DAG is a tacit-transmission graph. (5) Terence Tao's remark that AI-solved problems spawn few follow-ups is diagnosed as rootless explicit knowledge: checkable results whose route no one can follow and that no one yet understands well enough to extend, teach or judge. To re-root them, LLMs generate, VaCoAl/PyVaCoAl keeps an auditable trace with its confidence, and people value, a role virtue epistemology shows cannot be offloaded. Testable predictions follow.
- Abstract（参考訳）: 我々は、暗黙の知識は、一種のコンテンツよりも、一つのメモリ基板の操作機構としてモデル化されていると論じている。
この基板は、GF(2)上のアルゲブロ決定性XOR/シフト超次元メモリであるVaCoAlであり、CASRAM(Commercial SRAM-CAM)およびPyVaCoAl(DRAM-CAM)として実現されている。
VaCoAl/PyVaCoAlでは、有向非巡回グラフ(DAG)は2つの方法を読む。
すべての衝突(救助モード)を修復すると、その痕跡は正確に監査可能であるが、経路は高くない; 許容する衝突(注意モード)は経路統合された信頼(CR$_2$)をもたらす。
この監査評価の相補性は、暗黙的かつ明示的な知識ははっきりと分けられていないというポラニーの主張と正反対である。
新たなクエリ(AlphaGoのゲームツリー)が出てくる連接的暗黙性(AlphaGoのゲームツリー)と、それがなくなったレジーム(AlphaGoのハンチ)にのみ安定している状態(AlphaGoのゲームツリー)とを分離する。
1)Pollanyiのto-to構造は非可換結合、Identikitをロールフィラー組成として読み、多数決の一致として認識する。
2) ポラニーの指を指で突くと、バリュエーションが破壊されるが、クローズドフォームの法則では、ポラニーのピアニスト・ファルター(falter)が破られる。
Polanyi、Nonaka、Tsoukas、Collinsはそれぞれこの部分を取り込むが狭く、Nonakaとvon Kroghの連続体でさえ、体制に縛られた暗黙から入念を識別することはできない。
(3)コリンズの3つの暗黙の知識は、基質の外にある成層体となる。
(4)教官学生DAGは暗黙の伝達グラフである。
(5) テレンス・タオ(Terence Tao)の発言では、AIが解決した問題がほとんど起こらないことは、ルートのない明示的な知識と診断される。
それらを再ルートするために、LLMはVaCoAl/PyVaCoAlの信頼性と人々の価値で監査可能なトレースを保持します。
検証可能な予測が続く。
関連論文リスト
- Aligned Consensus Teaching for Label-Efficient Oriented Object Detection in Weakly-Aligned Visible-Infrared Imagery [69.65321798954088]
Visible-Infrared Object Detection (VIOD)は、対の可視画像と赤外線画像から、向き付けられたバウンディングボックスを持つ物体を検出する。
本研究では, ラベル効率の高いVIODのためのアラインド・コンセンサス・インスツルメンツ(ACT)を提案する。
コードとモデルはGitHubで公開され、今後の作業が容易になる。
論文 参考訳（メタデータ） (2026-09-16T04:59:37Z) - Walking on the DARKSIDE [2.0052993723676895]
本稿では,POLANYI++上でのコヒーレンス監査手法であるDARKSIDEを紹介する。
コースは、談話時間を超えて蓄積された排他物の明示的なデータ構造として定式化される。
我々は、ソフトウェアエンジニアリング、金融、医療、物理学、法律にまたがる高度なナンセンスのコーパスであるBSBench上のGemini 3上でのステアリング層として、Sonnet 4.6を独立裁判官として評価した。
論文 参考訳（メタデータ） (2026-08-24T15:17:58Z) - Toward a Gricean Retreat: Probing LLMs for Knowledge Boundaries and Referent Specificity [1.316161674114921]
我々は、この失敗をGriceanレンズを通してフレーム化し、参照者について不確実な協調話者は、特異性階層を後退させる。
i) 参照が知識境界内にあるかどうかを符号化し、(ii) 参照が生成しようとしている参照の特異性を予測しているか?
両者の答えはYesだが、2つの信号は世代ごとに一致しない。
論文 参考訳（メタデータ） (2026-08-13T17:13:41Z) - How to Build Marcus's Algebraic Mind: From Minsky's Emotion-Machine Viewpoint [18.56157183294801]
The Algebraic Mind』において、マーカスは3つの認知的要素を特定した。
この問題を、GF(2) XOR-and-shift上に構築されたアーキテクチャであるVaCoAlで解決する。
衝突回避スキームはフロンティアサイズ内で正確な回復を保証する。
論文 参考訳（メタデータ） (2026-07-18T03:48:00Z) - How to Build Marcus's Algebraic Mind: From Thagard's Brain--Mind Viewpoint [18.56157183294801]
接続主義的認知の2つの批判は、1つの欠落した能力に収束する。
1つの基質が両方答える。
VaCoAlは1つの原始的 XOR-and-shift over GF(2) 上に構築された超次元アーキテクチャである。
論文 参考訳（メタデータ） (2026-07-18T01:12:54Z) - CANONIC: Governance Is Compilation [0.0]
CANONIC: デジタルアーティファクトを大規模にエビデンス台帳にコンパイルする管理されたインテリジェンス。
CanONICは、コンテントがコーパスに入るかどうかを、コンパイラがプログラムが適切に構成されているかどうかを決定するように管理する。
信頼できないコンテンツと信頼できないコンテンツを確実に分離する散文読解ゲートは存在しない。
論文 参考訳（メタデータ） (2026-06-10T04:48:42Z) - LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization [104.06650149974585]
信頼性の高い研究レベルのLean AutoformalizationのためのマルチエージェントハーネスであるLeanMarathonを紹介します。
4つのコントラクトスコープエージェントがこの青写真を構築し、監査し、証明し、修復する。
我々は4つのErds問題にまたがる最近の2つの研究論文でLeanMarathonを評価した。
論文 参考訳（メタデータ） (2026-06-03T20:09:39Z) - Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1 [51.56484100374058]
システムはマドリブの27の上位領域の戦術的利用分布を抽出する。
zスコアを計算して、ソースエリアで多用されるが、ターゲットエリアで稀または欠落している戦術を特定する。
これは、GPUアクセラレーションされたNPハードアナログを用いて、ソースとターゲットの証明状態と一致する。
論文 参考訳（メタデータ） (2026-04-19T03:27:16Z) - CodaRAG: Connecting the Dots with Associativity Inspired by Complementary Learning [50.98972985136333]
CodaRAGは、受動的検索からアクティブな連想発見へと進化するフレームワークである。
CodaRAGは、検索リコールで7-10%、生成精度で3-11%という絶対的なゲインを達成する。
論文 参考訳（メタデータ） (2026-04-12T02:50:40Z) - AI Knows What's Wrong But Cannot Fix It: Helicoid Dynamics in Frontier LLMs Under High-Stakes Decisions [51.56484100374058]
ヘリコイド力学(Helicoid dynamics)は、その2番目のドメインの特定の障害状態に与えられる名前である。
システムは巧みに働き、エラーに陥り、何がうまくいかなかったかを正確に名付け、さらに高度な技術で同じパターンを再現する。
この先進的な事例シリーズは、7つの主要なシステムにまたがる体制を文書化する。
論文 参考訳（メタデータ） (2026-03-12T05:25:49Z) - Align-GRAG: Reasoning-Guided Dual Alignment for Graph Retrieval-Augmented Generation [79.75818239774952]
大きな言語モデル(LLM)は目覚ましい能力を示しているが、幻覚や時代遅れの情報といった問題に苦戦している。
Retrieval-augmented Generation (RAG) は、情報検索システム(IR)を用いて、外部知識のLLM出力を基底にすることで、これらの問題に対処する。
本稿では、検索後句における新しい推論誘導二重アライメントフレームワークであるAlign-GRAGを提案する。
論文 参考訳（メタデータ） (2025-05-22T05:15:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。