論文の概要: An ASP semantics for Constraints involving Conditional Aggregates
- arxiv url: http://arxiv.org/abs/2002.06911v2
- Date: Sat, 22 Feb 2020 15:37:28 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-31 13:02:25.071509
- Title: An ASP semantics for Constraints involving Conditional Aggregates
- Title(参考訳): 条件付き集約を含む制約に対するaspセマンティクス
- Authors: Pedro Cabalar and Jorge Fandinno and Torsten Schaub and Philipp Wanko
- Abstract要約: ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
- 参考スコア(独自算出の注目度): 9.289905977910378
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We elaborate upon the formal foundations of hybrid Answer Set Programming
(ASP) and extend its underlying logical framework with aggregate functions over
constraint values and variables. This is achieved by introducing the construct
of conditional expressions, which allow for considering two alternatives while
evaluating constraints. Which alternative is considered is
interpretation-dependent and chosen according to an associated condition. We
put some emphasis on logic programs with linear constraints and show how common
ASP aggregates can be regarded as particular cases of so-called conditional
linear constraints. Finally, we introduce a polynomial-size, modular and
faithful translation from our framework into regular (condition-free)
Constraint ASP, outlining an implementation of conditional aggregates on top of
existing hybrid ASP solvers.
- Abstract(参考訳): 我々は,ハイブリッド解集合プログラミング(asp)の形式的基礎を詳述し,制約値や変数よりも集約関数を基盤とする論理フレームワークを拡張した。
これは条件式の構築によって実現され、制約を評価しながら2つの代替案を検討することができる。
どちらの選択肢も解釈に依存し、関連する条件に従って選択される。
我々は線形制約を持つ論理プログラムに注目し,asp集約が条件付き線形制約の特定の場合としてどのように考えられるかを示す。
最後に、既存のハイブリッドaspソルバ上に条件付き集約の実装を概説し、このフレームワークから正規(条件なし)制約aspへの多項式サイズ、モジュラー、忠実な翻訳を導入する。
関連論文リスト
- From Instructions to Constraints: Language Model Alignment with
Automatic Constraint Verification [70.08146540745877]
NLPタスクの共通制約を調査し、それらの引数の型に基づいて、それらを3つのクラスに分類する。
本稿では,ACT(ConsTraintsのアラインメント)という統合フレームワークを提案し,制約に適応したユーザアライメントのための監視信号を自動的に生成する。
論文 参考訳(メタデータ) (2024-03-10T22:14:54Z) - Using Integer Constraint Solving in Reuse Based Requirements Engineering [0.0]
製品ライン(PL)は、再利用ベースの構成に対する効果的なアプローチを証明した。
現在、製品は制約満足度問題と見なせることが広く認識されている。
制約プログラミングをPLの制約を指定するための第一選択候補として考えるのは当然である。
本稿では,PL制約の指定に整数制約プログラミングを用いることについて,さらに検討する。
論文 参考訳(メタデータ) (2023-09-28T09:20:07Z) - Toward Unified Controllable Text Generation via Regular Expression
Instruction [56.68753672187368]
本稿では,正規表現の利点をフル活用し,多様な制約を一様にモデル化する命令ベース機構を用いた正規表現指導(REI)を提案する。
提案手法では,中規模言語モデルの微調整や,大規模言語モデルでの少数ショット・インコンテクスト学習のみを要し,各種制約の組み合わせに適用した場合のさらなる調整は不要である。
論文 参考訳(メタデータ) (2023-09-19T09:05:14Z) - Generalizing Level Ranking Constraints for Monotone and Convex
Aggregates [0.0]
解集合プログラミング(ASP)では、解集合は興味のある探索問題の解をキャプチャする。
1つの実行可能な実装戦略は、翻訳ベースのASP.NETアプリケーションである。
我々は、ASP.NETの集約ベースの拡張をカバーするための一般化を目指して、レベルランキングの制約を再考する。
論文 参考訳(メタデータ) (2023-08-30T09:04:39Z) - Conjunctive Query Based Constraint Solving For Feature Model
Configuration [79.14348940034351]
本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。
このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
論文 参考訳(メタデータ) (2023-04-26T10:08:07Z) - SaFormer: A Conditional Sequence Modeling Approach to Offline Safe
Reinforcement Learning [64.33956692265419]
オフラインセーフなRLは、現実世界のアプリケーションにエージェントをデプロイする上で、非常に実用的な関連性を持っています。
そこで我々は,SaFormerと呼ばれる新しいオフラインセーフなRLアプローチを提案する。
論文 参考訳(メタデータ) (2023-01-28T13:57:01Z) - COLD Decoding: Energy-based Constrained Text Generation with Langevin
Dynamics [69.8062252611486]
コールドデコーディングは、既製の左から右の言語モデルに直接適用可能なフレキシブルなフレームワークである。
制約付き生成タスクの実験は、自動評価と人的評価の両方の観点から、我々のアプローチの有効性を示している。
論文 参考訳(メタデータ) (2022-02-23T18:59:27Z) - Reasoning on Multi-Relational Contextual Hierarchies via Answer Set
Programming with Algebraic Measures [13.245718532835864]
コンテキスト化知識リポジトリ(CKR)は記述論理に根ざしているが、論理プログラムに強く関連している。
本稿では、複数の文脈関係に対するCKR階層の一般化と、デフェイザブルな公理と選好の解釈について述べる。
複数のコンテキスト関係を持つCKR階層の関連する断片に対して、クエリ応答は一般的なasprinフレームワークで実現可能であることを示す。
論文 参考訳(メタデータ) (2021-08-06T13:06:45Z) - Analyzing Semantics of Aggregate Answer Set Programming Using
Approximation Fixpoint Theory [1.295566630218982]
三項満足関係の概念を導入し、その観点から安定した意味論を定義する。
3次満足度関係は,標準ゲルフォンド・リフシッツレダクトと,AFTの枠組みで定義された安定意味論のギャップを橋渡しすることを示す。
論文 参考訳(メタデータ) (2021-04-30T07:06:27Z) - An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。
ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
論文 参考訳(メタデータ) (2021-02-17T19:55:42Z) - ASP(AC): Answer Set Programming with Algebraic Constraints [20.559497209595822]
本稿では、半順序値と重み付け式評価を比較する制約を含むような、代数制約付き解集合プログラミング(ASP(AC))を紹介する。
この研究は論理プログラミングの理論と実践の受け入れを検討中である。
論文 参考訳(メタデータ) (2020-08-10T10:20:49Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。