論文の概要: Constraint Answer Set Programming: Integrational and Translational (or
SMT-based) Approaches
- arxiv url: http://arxiv.org/abs/2107.08252v1
- Date: Sat, 17 Jul 2021 14:58:57 GMT
- ステータス: 処理完了
- システム内更新日: 2021-07-21 06:21:38.388254
- Title: Constraint Answer Set Programming: Integrational and Translational (or
SMT-based) Approaches
- Title(参考訳): Constraint Answer Set Programming: Integrational and Translational (または SMT-based) Approaches
- Authors: Yuliya Lierler
- Abstract要約: 制約応答セットプログラミング(Constraint answer set programming、略称CASP)は、自動推論におけるハイブリッドアプローチである。
これは、解集合プログラミング、制約処理、満足度モジュラー理論など、異なる研究分野の進歩をまとめている。
複雑な列車スケジューリング問題を解くなど、宣言型プログラミングアプリケーションのための新たな地平を開く。
- 参考スコア(独自算出の注目度): 2.0559497209595814
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Constraint answer set programming or CASP, for short, is a hybrid approach in
automated reasoning putting together the advances of distinct research areas
such as answer set programming, constraint processing, and satisfiability
modulo theories. Constraint answer set programming demonstrates promising
results, including the development of a multitude of solvers: acsolver,
clingcon, ezcsp, idp, inca, dingo, mingo, aspmt, clingo[l,dl], and ezsmt. It
opens new horizons for declarative programming applications such as solving
complex train scheduling problems. Systems designed to find solutions to
constraint answer set programs can be grouped according to their construction
into, what we call, integrational or translational approaches. The focus of
this paper is an overview of the key ingredients of the design of constraint
answer set solvers drawing distinctions and parallels between integrational and
translational approaches. The paper also provides a glimpse at the kind of
programs its users develop by utilizing a CASP encoding of Travelling Salesman
problem for illustration. In addition, we place the CASP technology on the map
among its automated reasoning peers as well as discuss future possibilities for
the development of CASP.
- Abstract(参考訳): 制約応答セットプログラミング(英: constraints answer set programming、casp)は、解集合プログラミング、制約処理、充足性モジュラー理論などの異なる研究分野の進歩をまとめる、自動推論におけるハイブリッドアプローチである。
acsolver, clingcon, ezcsp, idp, inca, dingo, mingo, aspmt, clingo[l,dl], ezsmtなど,多数の解決ツールの開発を含む,制約付き回答セットプログラミングは有望な結果を示している。
複雑な列車スケジューリング問題を解くなど、宣言型プログラミングアプリケーションのための新たな地平を開く。
制約応答セットプログラムの解決策を見つけるように設計されたシステムは、私たちが何と呼ぶか、統合的、あるいは翻訳的アプローチに従ってグループ化することができる。
本稿では,統合的アプローチと翻訳的アプローチの区別と並列性を描く制約解集合ソルバの設計の重要な要素について概説する。
また,本論文では,旅行セールスマン問題のCASPエンコーディングを利用して,利用者がどのようなプログラムを開発するかを垣間見る。
さらに、我々はCASP技術を自動化された推論ピアの地図上に配置し、CASPの開発の将来の可能性について議論する。
関連論文リスト
- Automated Process Planning Based on a Semantic Capability Model and SMT [50.76251195257306]
製造システムと自律ロボットの研究において、機械で解釈可能なシステム機能の仕様に「能力」という用語が用いられる。
セマンティック能力モデルから始めて、AI計画問題を自動的に生成するアプローチを提案する。
論文 参考訳(メタデータ) (2023-12-14T10:37:34Z) - Thought Propagation: An Analogical Approach to Complex Reasoning with Large Language Models [62.96551299003463]
大規模言語モデルの複雑な推論能力を高めるために,textbftextitThought Propagation (TP)を提案する。
TP はまず LLM に対して,入力問題に関連する類似問題の集合を提案し,解決するよう促す。
TPは、類似問題の結果を再利用して、新しいソリューションを直接生成したり、スクラッチから得られた初期ソリューションを修正するための知識集約的な実行プランを導出する。
論文 参考訳(メタデータ) (2023-10-06T01:40:09Z) - Compositional Diffusion-Based Continuous Constraint Solvers [98.1702285470628]
本稿では,ロボット推論と計画における連続的制約満足度問題(CCSP)の解法について紹介する。
対照的に、構成拡散連続制約解法(Diffusion-CCSP)は、CCSPに対する大域的な解を導出する。
論文 参考訳(メタデータ) (2023-09-02T15:20:36Z) - Lifted Sequential Planning with Lazy Constraint Generation Solvers [28.405198103927955]
本稿では,Lzy Clause Generation(LCG)に基づく制約プログラミング(CP)へのアプローチを用いて,オープンな可能性について検討する。
本稿では,いわゆるリフト型因果エンコーディングに基づく新しいCPモデルを提案する。
提案手法は,計画手順の少ない計画インスタンスに対して,最適な逐次計画における最先端の手法と非常によく比較可能であることを報告する。
論文 参考訳(メタデータ) (2023-07-17T04:54:58Z) - Conjunctive Query Based Constraint Solving For Feature Model
Configuration [79.14348940034351]
本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。
このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
論文 参考訳(メタデータ) (2023-04-26T10:08:07Z) - Hierarchical Programmatic Reinforcement Learning via Learning to Compose
Programs [58.94569213396991]
プログラムポリシーを作成するための階層型プログラム強化学習フレームワークを提案する。
提案するフレームワークは,プログラム作成の学習を通じて,アウト・オブ・ディストリビュータの複雑な動作を記述するプログラムポリシーを作成することができる。
Karel ドメインの実験結果から,提案するフレームワークがベースラインより優れていることが示された。
論文 参考訳(メタデータ) (2023-01-30T14:50:46Z) - A Model-Oriented Approach for Lifting Symmetries in Answer Set
Programming [0.0]
我々は,小問題インスタンスのSBCを解釈可能な一階制約の集合に引き上げる,新しいモデル指向アンサーセットプログラミングを導入する。
簡単な問題をターゲットにして,先進的な意思決定問題にも適用できるように拡張することを目指している。
論文 参考訳(メタデータ) (2022-08-05T10:50:03Z) - Planning with Incomplete Information in Quantified Answer Set
Programming [1.3501640559999886]
ASP(Answer Set Programming)における不完全な情報を用いた計画手法を提案する。
論理プログラムが状態間の遷移関数を記述する単純な形式主義を用いて計画問題を表現している。
本稿では、量子化された論理プログラムをQBFに変換し、QBFソルバを実行する翻訳ベースのQASPソルバを提案する。
論文 参考訳(メタデータ) (2021-08-13T21:24:47Z) - Constrained Combinatorial Optimization with Reinforcement Learning [0.30938904602244344]
本稿では,RL(Deep Reinforcement Learning)を用いた制約付き最適化問題に対処する枠組みを提案する。
我々は、その定式化における制約に対処するために、Neural Combinatorial Optimization(NCO)理論を拡張した。
その文脈では、ソリューションは環境との相互作用に基づいて反復的に構築されます。
論文 参考訳(メタデータ) (2020-06-22T03:13:07Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳(メタデータ) (2020-06-18T20:09:53Z) - Train Scheduling with Hybrid Answer Set Programming [1.4823899140444556]
ASP(Answer Set Programming)に基づく実世界の列車スケジューリング問題の解法を提案する。
要求される計画とスケジューリングの問題に対処するために、ハイブリッドASPシステムclingo[DL]がどのように使用できるのかを例に示す。
論文 参考訳(メタデータ) (2020-03-19T06:50:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。