論文の概要: 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への多項式サイズ、モジュラー、忠実な翻訳を導入する。
関連論文リスト
- Strong Equivalence in Answer Set Programming with Constraints [8.096489007229774]
規則の2つのグループは、非公式に言えば、どのような文脈でも同じ意味を持つならば、強く等価であると考えられる。
強い同値性は、制約のあるヘテロ・アンド・ザールの論理におけるそれらの同値性によって正確に特徴づけられることを示す。
本稿では,制約を扱う複数のクリンゴベースの解集合の言語からHere-and-There言語への制約を制約付きで翻訳する。
論文 参考訳（メタデータ） (2025-02-06T18:43:59Z) - Multi-Attribute Constraint Satisfaction via Language Model Rewriting [67.5778646504987]
マルチ属性制約満足度(英: Multi-Attribute Constraint Satisfaction, MACS)は、言語モデルを微調整して、複数の外部実値属性に対するユーザ指定制約を満たす手法である。
我々の研究は、NLPやバイオインフォマティクスにまたがる多様な応用に影響を及ぼす、一般化および実値多属性制御のための新しい道を開く。
論文 参考訳（メタデータ） (2024-12-26T12:36:39Z) - 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) - COLD Decoding: Energy-based Constrained Text Generation with Langevin
Dynamics [69.8062252611486]
コールドデコーディングは、既製の左から右の言語モデルに直接適用可能なフレキシブルなフレームワークである。
制約付き生成タスクの実験は、自動評価と人的評価の両方の観点から、我々のアプローチの有効性を示している。
論文 参考訳（メタデータ） (2022-02-23T18:59:27Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。