Fugu-MT 論文翻訳(概要): NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic

論文の概要: NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic

arxiv url: http://arxiv.org/abs/2603.01366v1
Date: Mon, 02 Mar 2026 01:52:59 GMT
ステータス: 翻訳完了
システム内更新日: 2026-03-03 19:50:56.647864
Title: NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic
Title（参考訳）: NM-DEKL$^3_\infty$:依存型論理を進化させる3層非モノトン
Authors: Peng Chen,
Abstract要約: 我々は新しい依存型システムNM-DEKL$3_infty$(Non-Monotone Dependent Knowledge-Enhanced Logic)を提案する。このシステムは、計算層、構築的知識層、命題的知識層を分離する3層アーキテクチャを使用する。
参考スコア（独自算出の注目度）: 3.848983210046659
License: http://creativecommons.org/licenses/by-nc-nd/4.0/
Abstract: We present a new dependent type system, NM-DEKL$^3_\infty$ (Non-Monotone Dependent Knowledge-Enhanced Logic), for formalising evolving knowledge in dynamic environments. The system uses a three-layer architecture separating a computational layer, a constructive knowledge layer, and a propositional knowledge layer. We define its syntax and semantics and establish Soundness and Equational Completeness; we construct a syntactic model and prove that it is initial in the category of models, from which equational completeness follows. We also give an embedding into the $μ$-calculus and a strict expressiveness inclusion (including the expressibility of non-bisimulation-invariant properties).
Abstract（参考訳）: 動的環境における進化的知識を定式化するための新しい依存型システム NM-DEKL$^3_\infty$ (Non-Monotone Dependent Knowledge-Enhanced Logic) を提案する。このシステムは、計算層、構築的知識層、命題的知識層を分離する3層アーキテクチャを使用する。我々は、その構文と意味を定義し、音性と等式完全性を確立する。我々は、構文モデルを構築し、方程式完全性が従うモデルのカテゴリにおいて、それが初期であることを証明する。また、$μ$-計算に埋め込み、厳密な表現性を含む(非ビシミュレーション不変性質の表現性を含む)。

関連論文リスト

KOS-TL (Knowledge Operation System Type Logic) [3.848983210046659]
本稿では,KOS-TL(Knowledge Operation System Type Logic)を紹介する。ダビッドソンの事象セマンティクスとMartin-Lf型理論を統合することで、KOS-TLは、知識ベースにおける全ての状態変化にその妥当性の正式な証人が伴う「防空的知識」の構築を可能にする。この結果から,KOS-TLは次世代の知的オペレーティングシステムに対して,堅牢で形式的に検証可能な基盤を提供する可能性が示唆された。
論文参考訳（メタデータ） (2026-01-03T10:15:48Z)
Modal Logical Neural Networks [0.15229257192293197]
本稿では、ディープラーニングとモーダル論理の形式的意味論を統合するニューロシンボリック・フレームワークである、モーダル論理ニューラルネットワーク(MLNN)を提案する。本稿では,アクセシビリティの強化や学習が,基礎となるタスクアーキテクチャを変更することなく,論理的一貫性と解釈可能性を高める方法を示す。
論文参考訳（メタデータ） (2025-12-03T06:38:29Z)
Hierarchical Neural Semantic Representation for 3D Semantic Correspondence [72.8101601086805]
階層型ニューラルセマンティック表現(HNSR)を設計し,高次構造と多分解能局所幾何学的特徴を捉える。第2に,グローバルなセマンティック特徴を用いた粗いセマンティック対応を確立する,プログレッシブなグローバル-ローカルマッチング戦略を設計する。第3に,本フレームワークはトレーニングフリーで,様々なトレーニング済みの3D生成バックボーンと広範囲に互換性があり,多様な形状カテゴリにまたがる強力な一般化が示されている。
論文参考訳（メタデータ） (2025-09-22T07:23:07Z)
Neurosymbolic Graph Enrichment for Grounded World Models [47.92947508449361]
複雑な問題に対処するために, LLM の反応性を向上し, 活用するための新しいアプローチを提案する。我々は,大規模言語モデルの強みと構造的意味表現を組み合わせた,多モーダルで知識を付加した意味の形式表現を作成する。非構造化言語モデルと形式的意味構造とのギャップを埋めることで、自然言語理解と推論における複雑な問題に対処するための新たな道を開く。
論文参考訳（メタデータ） (2024-11-19T17:23:55Z)
A Neural Rewriting System to Solve Algorithmic Problems [47.129504708849446]
ネストされた数学的公式を解くための一般的な手順を学習するために設計されたモジュラーアーキテクチャを提案する。シンボリック人工知能の古典的なフレームワークである書き換えシステムに触発され、アーキテクチャには3つの専門的で対話的なモジュールが含まれます。我々は、系統的な一般化に特化した最近のモデルであるNeural Data Routerと、先進的なプロンプト戦略で探索された最先端の大規模言語モデル(GPT-4)とを比較した。
論文参考訳（メタデータ） (2024-02-27T10:57:07Z)
Discrete, compositional, and symbolic representations through attractor dynamics [51.20712945239422]
我々は,思考の確率的言語(PLoT)に似た認知過程をモデル化するために,アトラクタダイナミクスを記号表現と統合した新しいニューラルシステムモデルを導入する。我々のモデルは、連続表現空間を、事前定義されたプリミティブに頼るのではなく、教師なし学習を通じて、記号系の意味性と構成性の特徴を反映する、記号列に対応する引き付け状態を持つ離散盆地に分割する。このアプローチは、認知操作の複雑な双対性を反映したより包括的なモデルを提供する、AIにおける表現力の証明された神経弁別可能な基質であるニューラルダイナミクスを通じて、シンボル処理とサブシンボル処理の両方を統合する統一的なフレームワークを確立する。
論文参考訳（メタデータ） (2023-10-03T05:40:56Z)
A Recursive Bateson-Inspired Model for the Generation of Semantic Formal Concepts from Spatial Sensory Data [77.34726150561087]
本稿では,複雑な感覚データから階層構造を生成するための記号のみの手法を提案する。このアプローチは、概念や概念の創始の鍵としてのバテソンの差異の概念に基づいている。このモデルは、トレーニングなしでかなりリッチだが人間に読まれる概念表現を生成することができる。
論文参考訳（メタデータ） (2023-07-16T15:59:13Z)
Dual Box Embeddings for the Description Logic EL++ [16.70961576041243]
知識グラフ(KG)と同様に、知識グラフはしばしば不完全であり、それらの維持と構築は困難であることが証明された。 KGsと同様に、有望なアプローチは、潜在ベクトル空間への埋め込みを学習し、基礎となるDLのセマンティクスに固執することである。そこで本研究では,概念と役割をボックスとして表現した,DL EL++用のBox$2$ELという新しいオントロジー埋め込み手法を提案する。
論文参考訳（メタデータ） (2023-01-26T14:13:37Z)
MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning [50.40151403246205]
巨大な言語モデル(LM)は、自然言語ベースの知識タスクのゲートウェイとして機能する、AIの新しい時代を支えている。離散的な知識と推論モジュールによって補完される、複数のニューラルモデルによる柔軟なアーキテクチャを定義する。本稿では,MRKL(Modular Reasoning, Knowledge and Language)システムと呼ばれる,このニューロシンボリックアーキテクチャについて述べる。
論文参考訳（メタデータ） (2022-05-01T11:01:28Z)
elBERto: Self-supervised Commonsense Learning for Question Answering [131.51059870970616]
本稿では、市販QAモデルアーキテクチャと互換性のあるコモンセンスフレームワークの自己教師型双方向表現学習を提案する。このフレームワークは5つの自己教師型タスクから構成されており、リッチコモンセンスを含むコンテキストから追加のトレーニング信号を完全に活用するようモデルに強制する。 elBERtoは、単純な語彙的類似性比較が役に立たないような、アウト・オブ・パラグラフや非エフェクトな問題に対して、大幅に改善されている。
論文参考訳（メタデータ） (2022-03-17T16:23:45Z)
Towards the One Learning Algorithm Hypothesis: A System-theoretic Approach [0.0]
人間の認知における普遍的な学習アーキテクチャの存在は、神経科学の実験的な発見によって支持される広範囲にわたる推測である。 i) マルチレゾリューション分析プリプロセッサ, (ii) グループ不変の特徴抽出器, (iii) プログレッシブ知識に基づく学習モジュールの3つの主成分からなる閉ループシステムを開発した。複数の解像度で徐々に成長する知識表現を構成する新しい学習アルゴリズムを提案する。
論文参考訳（メタデータ） (2021-12-04T05:54:33Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。