論文の概要: A class of distributed automata that contains the modal mu-fragment

• arxiv url: http://arxiv.org/abs/2505.07816v1
• Date: Mon, 12 May 2025 17:59:22 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-05-13 20:21:49.539233
• Title: A class of distributed automata that contains the modal mu-fragment
• Title（参考訳）: Modal mu-fragmentを含む分散オートマトンのクラス
• Authors: Veeti Ahvonen, Damian Heiman, Antti Kuusisto,
• Abstract要約: リカレントグラフニューラルネットは、実数と次数に代えて、論理的単項二階述語論理MSOに制限された同じ表現力を持つ。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: This paper gives a translation from the $\mu$-fragment of the graded modal $\mu$-calculus to a class of distributed message-passing automata. As a corollary, we obtain an alternative proof for a theorem from \cite{ahvonen_neurips} stating that recurrent graph neural networks working with reals and graded modal substitution calculus have the same expressive power in restriction to the logic monadic second-order logic MSO.
• Abstract（参考訳）: 本稿では,分散メッセージパッシングオートマチックのクラスへのグレード付きモーダル$\mu$-calculusの$\mu$-fragmentの変換について述べる。 結論として、実数および次数修飾代入計算を扱う反復グラフニューラルネットワークが、論理モナディック二階述語論理 MSO に制限された同じ表現力を持つという定理の代替的証明を得る。

関連論文リスト

• $p$-Adic Polynomial Regression as Alternative to Neural Network for Approximating $p$-Adic Functions of Many Variables [55.2480439325792]
  任意の精度で連続関数を近似できる回帰モデルを構築している。 提案モデルは、ニューラルネットワークアーキテクチャに基づく$p$-adicモデルの簡単な代替と見なすことができる。
  論文  参考訳（メタデータ） (2025-03-30T15:42:08Z)
• On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning [87.73401758641089]
  CoT推論による現代言語モデル(LM)の性能向上 LMは弦上の分布の族を確率的チューリングマシンと同一に表現できることを示す。
  論文  参考訳（メタデータ） (2024-06-20T10:59:02Z)
• Hierarchical Phrase-based Sequence-to-Sequence Learning [94.10257313923478]
  本稿では、学習中の帰納バイアスの源として階層的フレーズを取り入れ、推論中の明示的な制約として、標準的なシーケンス・ツー・シーケンス(seq2seq)モデルの柔軟性を維持するニューラルトランスデューサについて述べる。 本手法では,木が原文と対象句を階層的に整列するブラケット文法に基づく識別的導出法と,整列した句を1対1で翻訳するニューラルネットワークセク2セックモデルという2つのモデルを訓練する。
  論文  参考訳（メタデータ） (2022-11-15T05:22:40Z)
• Self-consistent Reasoning For Solving Math Word Problems [27.584325149744444]
  数学語問題(英: Math word problem、MWP)は、テキスト中の数学問題から解表現を自動的に導き出すタスクである。 これまでの研究では、入力テキストと出力表現の間に急激な相関関係があった。 本稿では,出力分布シフトの補正にプルーニング戦略を採用するSCRという自己整合推論フレームワークを提案する。
  論文  参考訳（メタデータ） (2022-10-27T12:34:31Z)
• Covariant-Contravariant Refinement Modal $\mu$-calculus [0.0]
  本稿では,CC-refinement modal $mu$-calculus (CCRML$mu$)を紹介する。 CCRML$mu$は、リアクティブおよび生成的アクションを参照するシステムの特性を記述するための仕様言語と見なすことができる。
  論文  参考訳（メタデータ） (2022-08-05T05:24:30Z)
• Constrained Training of Neural Networks via Theorem Proving [0.2578242050187029]
  有限トレース上の線形時間論理の深い埋め込み(LTL$_f$)を定式化する。 次に、損失関数 $mathcalL$ を形式化し、その関数 $dmathcalL$ に微分可能であることを正式に証明する。 本研究では,動的運動のための既存のディープラーニングフレームワークのトレーニングに使用する場合,共通の運動仕様パターンに対する予測結果が得られたことを示す。
  論文  参考訳（メタデータ） (2022-07-08T13:13:51Z)
• Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics [0.0]
  Diproche システムは、Koepke や Schr"oder 、 Cramer などによる Naproche システムに似た初心者学生の運動の文脈に特化している。 本稿では,このようなアンチATPの概念を簡潔に解説し,その実装における基本技術について解説する。
  論文  参考訳（メタデータ） (2020-02-12T16:36:59Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。