論文の概要: FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
- arxiv url: http://arxiv.org/abs/2602.09620v1
- Date: Tue, 10 Feb 2026 10:08:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-11 20:17:43.490421
- Title: FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
- Title（参考訳）: FlingO -- 線形整数制約にASP表現性を注入する
- Authors: Jorge Fandinno, Pedro Cabalar, Philipp Wanko, Torsten Schaub,
- Abstract要約: 上述した数値制約に表現性を組み込んだFlingO言語(およびツール)を提案する。
また、新たに導入されたFlingO構文から通常のCASPプログラムへの変換をClingCON入力形式に従って提示する。
- 参考スコア（独自算出の注目度）: 9.402213259706235
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Constraint Answer Set Programming (CASP) is a hybrid paradigm that enriches Answer Set Programming (ASP) with numerical constraint processing, something required in many real-world applications. The usual specification of constraints in most CASP solvers is closer to the numerical back-end expressiveness and semantics, rather than to standard specification in ASP. In the latter, numerical attributes are represented with predicates and this allows declaring default values, leaving the attribute undefined, making non-deterministic assignments with choice rules or using aggregated values. In CASP, most (if not all) of these features are lost once we switch to a constraint-based representation of those same attributes. In this paper, we present the FLINGO language (and tool) that incorporates the aforementioned expressiveness inside the numerical constraints and we illustrate its use with several examples. Based on previous work that established its semantic foundations, we also present a translation from the newly introduced FLINGO syntax to regular CASP programs following the CLINGCON input format.
- Abstract（参考訳）: Constraint Answer Set Programming(CASP)は、Answer Set Programming(ASP)を数値的な制約処理で強化するハイブリッドパラダイムである。
ほとんどのCASPソルバにおける制約の通常の仕様は、ASP.NETの標準仕様よりも、数値的なバックエンド表現とセマンティクスに近い。
後者では、数値属性は述語で表され、デフォルト値の宣言が可能である。
CASPでは、同じ属性の制約ベースの表現に切り替えると、これらの機能のほとんど(すべてではないとしても)が失われます。
本稿では, 上記の数値制約に表現性を組み込んだFlingO言語(およびツール)について述べる。
セマンティック基盤を確立した以前の研究に基づいて、新たに導入されたFlingO構文からClingCON入力形式に続く通常のCASPプログラムへの変換も提示する。
関連論文リスト
- What Makes You Unique? Attribute Prompt Composition for Object Re-Identification [70.67907354506278]
Object Re-IDentificationは、重複しないカメラビューで個人を認識することを目的としている。
単一ドメインモデルはドメイン固有の機能に過度に適合する傾向がありますが、クロスドメインモデルは多種多様な正規化戦略に依存します。
本稿では,テキストのセマンティクスを利用して識別と一般化を協調的に強化する属性プロンプト合成フレームワークを提案する。
論文 参考訳（メタデータ） (2025-09-23T07:03:08Z) - Multi-Attribute Constraint Satisfaction via Language Model Rewriting [67.5778646504987]
マルチ属性制約満足度(英: Multi-Attribute Constraint Satisfaction, MACS)は、言語モデルを微調整して、複数の外部実値属性に対するユーザ指定制約を満たす手法である。
我々の研究は、NLPやバイオインフォマティクスにまたがる多様な応用に影響を及ぼす、一般化および実値多属性制御のための新しい道を開く。
論文 参考訳（メタデータ） (2024-12-26T12:36:39Z) - Learning Multi-Aspect Item Palette: A Semantic Tokenization Framework for Generative Recommendation [55.99632509895994]
マルチアスペクトセマンティックトークン化のための新しいアプローチであるLAMIAを紹介する。
単一の埋め込みを使用するRQ-VAEとは異なり、LAMIAは独立的でセマンティックな並列な埋め込みの集合である「アイテムパレット」を学習する。
その結果,提案手法よりも提案手法の精度が大幅に向上した。
論文 参考訳（メタデータ） (2024-09-11T13:49:48Z) - Quantifying over Optimum Answer Sets [6.390468088226495]
ASP(Q)はエレガントでコンパクトな方法でモデリングを符号化する方法を欠いている。
本稿では、コンポーネントプログラムが弱い制約を含むことができるASP(Q)の拡張を提案する。
様々なアプリケーションシナリオを通して、新しいフォーマリズムのモデリング機能を紹介します。
論文 参考訳（メタデータ） (2024-08-14T17:53:13Z) - 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) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳（メタデータ） (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。