論文の概要: System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers

• arxiv url: http://arxiv.org/abs/2506.10708v1
• Date: Thu, 12 Jun 2025 13:59:15 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-13 15:37:22.760895
• Title: System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
• Title（参考訳）: System ASPMT2SMT:SMTソルバーによるASPMT理論の計算
• Authors: Michael Bartholomew, Joohyung Lee,
• Abstract要約: ASPMTは、解集合プログラミングと満足度モジュロ理論を組み合わせるためのアプローチである。 ASPMTプログラムのきつく断片をSMTインスタンスに変換することができる。 本研究では,連続的な変化を推論するために,実数計算を効果的に処理できることを実証する。
• 参考スコア（独自算出の注目度）: 3.677571687801579
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Answer Set Programming Modulo Theories (ASPMT) is an approach to combining answer set programming and satisfiability modulo theories based on the functional stable model semantics. It is shown that the tight fragment of ASPMT programs can be turned into SMT instances, thereby allowing SMT solvers to compute stable models of ASPMT programs. In this paper we present a compiler called {\sc aspsmt2smt}, which implements this translation. The system uses ASP grounder {\sc gringo} and SMT solver {\sc z3}. {\sc gringo} partially grounds input programs while leaving some variables to be processed by {\sc z3}. We demonstrate that the system can effectively handle real number computations for reasoning about continuous changes.
• Abstract（参考訳）: Answer Set Programming Modulo Theories (ASPMT) は、関数的安定モデル意味論に基づく解集合プログラミングと満足度モジュラー理論を組み合わせるためのアプローチである。 ASPMTプログラムのきつく断片をSMTインスタンスに変換することで、SMTソルバがASPMTプログラムの安定モデルを計算することができる。 本稿では,この翻訳を実装したコンパイラ {\sc aspsmt2smt} を提案する。 このシステムは ASP grounder {\sc gringo} と SMT solver {\sc z3} を使用する。 {\sc gringo} は入力プログラムの一部を接地し、いくつかの変数を {\sc z3} で処理する。 本研究では,連続的な変化を推論するために,実数計算を効果的に処理できることを実証する。

関連論文リスト

• Towards Zero-Shot Multimodal Machine Translation [64.9141931372384]
  本稿では,マルチモーダル機械翻訳システムの学習において,完全教師付きデータの必要性を回避する手法を提案する。 我々の手法はZeroMMTと呼ばれ、2つの目的の混合で学習することで、強いテキストのみの機械翻訳(MT)モデルを適応させることである。 本手法が完全に教師付きトレーニングデータを持たない言語に一般化されることを証明するため,CoMMuTE評価データセットをアラビア語,ロシア語,中国語の3言語に拡張した。
  論文  参考訳（メタデータ） (2024-07-18T15:20:31Z)
• Self-Modifying State Modeling for Simultaneous Machine Translation [25.11963998838586]
  同時機械翻訳(SiMT)は、ストリームソース入力を受信しながらターゲット出力を生成する。 既存のSiMT手法は、様々な意思決定経路を探索することでポリシーを学習し、固有の制約に直面している。 我々は、SiMTタスクのための新しいトレーニングパラダイムであるtextbfSelf-textbfModifying textbfState textbfModeling (SM$2$)を提案する。
  論文  参考訳（メタデータ） (2024-06-04T11:57:58Z)
• Guess & Sketch: Language Model Guided Transpilation [59.02147255276078]
  学習されたトランスパイレーションは、手作業による書き直しやエンジニアリングの取り組みに代わるものだ。 確率的ニューラルネットワークモデル(LM)は、入力毎に可塑性出力を生成するが、正確性を保証するコストがかかる。 Guess & Sketch は LM の特徴からアライメントと信頼性情報を抽出し、意味的等価性を解決するためにシンボリック・ソルバに渡す。
  論文  参考訳（メタデータ） (2023-09-25T15:42:18Z)
• First-Order Stable Model Semantics with Intensional Functions [2.1955512452222696]
  我々は、フェラーリス、リー、リフシッツによる一階安定モデル意味論を拡張して、インテンショナル函数を許容する。 ASPMT(Answer Set Programming Modulo Theories)の定義基盤としてこの拡張を使用します。 ASPMTは実数を含む領域に適用でき、基底問題を軽減することができる。
  論文  参考訳（メタデータ） (2023-07-15T06:03:35Z)
• Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks [108.4568236569645]
  CoT(Chain-of-thinkts prompting)は、これらのタスクに対する最先端の手法である。 本稿では、言語モデルを用いて推論過程をプログラムとして表現する「思考プログラム(PoT)」を提案する。 PoTは、評価されたすべてのデータセットに対して、CoTに対する平均的なパフォーマンス向上を約12%示すことができる。
  論文  参考訳（メタデータ） (2022-11-22T21:06:00Z)
• Modeling Dual Read/Write Paths for Simultaneous Machine Translation [21.03142288187605]
  本稿では、読み書きパスを誘導する双対制約を導入するDual Path SiMTを提案する。 En-ViタスクとDe-En SiMTタスクの実験により、我々の手法は全てのレイテンシで強いベースラインを上回ります。
  論文  参考訳（メタデータ） (2022-03-17T08:35:36Z)

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

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