論文の概要: Modular Constraint Solver Cooperation via Abstract Interpretation
- arxiv url: http://arxiv.org/abs/2008.01415v2
- Date: Mon, 14 Sep 2020 10:01:14 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-03 00:13:19.371618
- Title: Modular Constraint Solver Cooperation via Abstract Interpretation
- Title(参考訳): 抽象解釈によるモジュラ制約解の協調
- Authors: Pierre Talbot, \'Eric Monfroy and Charlotte Truchet
- Abstract要約: 本稿では,解決と協調の仕組みをシームレスに追加・組み合わせ可能なモジュラー・フレームワークを提案する。
我々は、(i)抽象ドメイン間の制約を交換できる区間プロパゲータ、(ii)抽象ドメイン間の制約の過度な近似を交換する遅延積の2つの新しい協調スキームに寄与する。
- 参考スコア(独自算出の注目度): 1.160208922584163
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Cooperation among constraint solvers is difficult because different solving
paradigms have different theoretical foundations. Recent works have shown that
abstract interpretation can provide a unifying theory for various constraint
solvers. In particular, it relies on abstract domains which capture constraint
languages as ordered structures. The key insight of this paper is viewing
cooperation schemes as abstract domains combinations. We propose a modular
framework in which solvers and cooperation schemes can be seamlessly added and
combined. This differs from existing approaches such as SMT where the
cooperation scheme is usually fixed (e.g., Nelson-Oppen). We contribute to two
new cooperation schemes: (i) interval propagators completion that allows
abstract domains to exchange bound constraints, and (ii) delayed product which
exchanges over-approximations of constraints between two abstract domains.
Moreover, the delayed product is based on delayed goal of logic programming,
and it shows that abstract domains can also capture control aspects of
constraint solving. Finally, to achieve modularity, we propose the shared
product to combine abstract domains and cooperation schemes. Our approach has
been fully implemented, and we provide various examples on the flexible job
shop scheduling problem. Under consideration for acceptance in TPLP.
- Abstract(参考訳): 異なる解法パラダイムは異なる理論的基礎を持つため、制約解法間の協調は困難である。
近年の研究では、抽象解釈は様々な制約解法に対して統一理論を提供できることが示されている。
特に、制約言語を順序構造としてキャプチャする抽象ドメインに依存している。
この論文の重要な洞察は、協調スキームを抽象ドメインの組み合わせとして見ることである。
本稿では,解法と協調スキームをシームレスに追加・組み合わせ可能なモジュラーフレームワークを提案する。
これは、通常、協調スキームが固定されるSMT(例えば、ネルソン=オッペン)のような既存のアプローチとは異なる。
我々は2つの新しい協力計画に貢献する。
i) 抽象ドメインが制限付き制約を交換できるようにする区間プロパゲータ補完
(ii)2つの抽象領域間の制約の超過を交換する遅延積。
さらに、遅延製品は論理プログラミングの遅延目標に基づいており、抽象ドメインは制約解決の制御的な側面も捉えることができることを示している。
最後に,モジュール性を実現するために,抽象ドメインと協調スキームを組み合わせた共有製品を提案する。
当社のアプローチは完全に実装されており,フレキシブルなジョブショップスケジューリング問題に関するさまざまな例を提供している。
TPLPの受容についての検討
関連論文リスト
- Athanor: Local Search over Abstract Constraint Specifications [2.3383199519492455]
本稿では,制約モデルとして受け入れる汎用ローカルサーチソルバに着目した。
ここで説明するAthanorソルバは、抽象制約仕様言語Essenceにおける問題の仕様から始まります。
論文 参考訳(メタデータ) (2024-10-08T11:41:38Z) - Composable Part-Based Manipulation [61.48634521323737]
本稿では,ロボット操作スキルの学習と一般化を改善するために,構成可能な部品ベース操作(CPM)を提案する。
CPMは構成可能な拡散モデルの集合で構成され、各モデルは異なるオブジェクト間の対応をキャプチャする。
シミュレーションおよび実世界のシナリオにおいて、我々のアプローチを検証し、ロバストかつ一般化された操作能力を達成する上での有効性を実証する。
論文 参考訳(メタデータ) (2024-05-09T16:04:14Z) - Compositional Diffusion-Based Continuous Constraint Solvers [98.1702285470628]
本稿では,ロボット推論と計画における連続的制約満足度問題(CCSP)の解法について紹介する。
対照的に、構成拡散連続制約解法(Diffusion-CCSP)は、CCSPに対する大域的な解を導出する。
論文 参考訳(メタデータ) (2023-09-02T15:20:36Z) - Multi-Grained Multimodal Interaction Network for Entity Linking [65.30260033700338]
マルチモーダルエンティティリンクタスクは、マルチモーダル知識グラフへの曖昧な言及を解決することを目的としている。
MELタスクを解決するための新しいMulti-Grained Multimodal InteraCtion Network $textbf(MIMIC)$ frameworkを提案する。
論文 参考訳(メタデータ) (2023-07-19T02:11:19Z) - Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context
Reasoning with Language Models [58.41943058963672]
我々はRecursion of Thought (RoT)と呼ばれる新しい推論フレームワークを提案する。
RoTはいくつかの特別なトークンを導入し、モデルが出力してコンテキスト関連の操作をトリガーする。
GPT-3を含む複数のアーキテクチャの実験により、RoTは問題を解くためにLMの推論能力を劇的に改善した。
論文 参考訳(メタデータ) (2023-06-12T06:34:16Z) - Multipartite entanglement theory with entanglement-nonincreasing
operations [91.3755431537592]
我々は、局所的な操作や古典的なコミュニケーションの標準的な枠組みを超えて、マルチパーティシステムにおける絡み合いの資源理論を拡張した。
この調整された枠組みでは、多粒子状態間の変換速度は、それぞれの量子状態の二粒子エンタングルメントエントロピーによって決定される。
論文 参考訳(メタデータ) (2023-05-30T12:53:56Z) - Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes [5.471640959988549]
まず、部分的に観測可能なマルコフ決定過程に対する最適制御理論を導入する。
累積報酬を最大化するポリシを合成するための構造化手法を提供する。
次に、論理的に制約されたマルチエージェント設定のための最適制御フレームワークを設計するために、このアプローチを構築します。
論文 参考訳(メタデータ) (2023-05-24T05:15:36Z) - Jointly Learning Consistent Causal Abstractions Over Multiple
Interventional Distributions [8.767175335575386]
抽象化は、同じシステムを表す2つの構造因果モデルを異なる解像度で関連付けるために使用できる。
リシェルが最近提案した抽象化の形式化に基づく,SCM間の因果的抽象化学習のための第1のフレームワークを紹介する。
論文 参考訳(メタデータ) (2023-01-14T11:22:16Z) - UNIFY: a Unified Policy Designing Framework for Solving Constrained
Optimization Problems with Machine Learning [18.183339583346005]
複雑な意思決定問題に対するソリューションポリシーを設計するための統一的な枠組みを提案する。
我々のアプローチは、制約のないMLモデルとCO問題という2つの段階におけるポリシーの巧妙な分解に依存している。
本手法の有効性を,エネルギー管理システムと包括的要件付き集合マルチカバーの2つの実践的問題に対して示す。
論文 参考訳(メタデータ) (2022-10-25T14:09:24Z) - Constraint Answer Set Programming: Integrational and Translational (or
SMT-based) Approaches [2.0559497209595814]
制約応答セットプログラミング(Constraint answer set programming、略称CASP)は、自動推論におけるハイブリッドアプローチである。
これは、解集合プログラミング、制約処理、満足度モジュラー理論など、異なる研究分野の進歩をまとめている。
複雑な列車スケジューリング問題を解くなど、宣言型プログラミングアプリケーションのための新たな地平を開く。
論文 参考訳(メタデータ) (2021-07-17T14:58:57Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳(メタデータ) (2020-06-18T20:09:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。