論文の概要: Meta-Programming for Linear-time Temporal Answer Set Programming

• arxiv url: http://arxiv.org/abs/2605.29965v1
• Date: Thu, 28 May 2026 14:06:12 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-05-30 02:45:56.377814
• Title: Meta-Programming for Linear-time Temporal Answer Set Programming
• Title（参考訳）: 線形時間時間仮解集合計画のためのメタプログラミング
• Authors: Susana Hahn, Amade Nems, Javier Romero, Torsten Schaub,
• Abstract要約: 本稿では,多種多様な時間論理のセマンティクスを統一的・宣言的フレームワークを通じて操作する,柔軟なメタプログラミングフレームワークを提案する。 我々のアプローチは、clingoの理論文法を形式的な型仕様とネスト機能で拡張することで、標準的なASPメタプログラミングを拡張します。 DELにおけるMELの間隔制約とFischer-Ladner閉包を管理するための重要な特徴を概説する。
• 参考スコア（独自算出の注目度）: 0.8740155342129587
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: The development of temporal extensions of Answer Set Programming (ASP) has led to the emergence of non-monotonic linear-time (TEL), dynamic (DEL), and metric (MEL) temporal equilibrium logics. However, the inherent rigidity of highly optimized ASP systems often hinders the rapid exploration and implementation of alternative logical designs. In this work, we propose a flexible meta-programming framework that operationalizes the semantics of varied temporal logics through a unified, declarative framework. Our approach extends standard ASP meta-programming by augmenting clingo's theory grammar with formal type specifications and nesting capabilities. To ensure semantic correctness, we introduce a transformation pipeline that protects nested modalities from stable-model-based simplifications during grounding. We demonstrate the extensibility of our framework by implementing meta-encodings for TEL, MEL, and DEL. We provide a comprehensive account of TEL and highlight the key features for managing the interval constraints of MEL and the Fischer-Ladner closure in DEL. Finally, we introduce the metasp system, a versatile tool that encapsulates this workflow.
• Abstract（参考訳）: ASP(Answer Set Programming)の時間拡張の開発は、非単調線形時間(TEL)、動的時間(DEL)、計量的時間平衡論理(MEL)の出現につながった。 しかし、高度に最適化されたASPシステムの固有の剛性は、しばしば代替論理設計の迅速な探索と実装を妨げる。 本研究では,多種多様な時相論理のセマンティクスを統一的・宣言的フレームワークを通じて操作する,柔軟なメタプログラミングフレームワークを提案する。 我々のアプローチは、clingoの理論文法を形式的な型仕様とネスト機能で拡張することで、標準的なASPメタプログラミングを拡張します。 セマンティックな正当性を確保するために,安定なモデルに基づく単純化からネストしたモダリティを保護するトランスフォーメーションパイプラインを導入する。 TEL, MEL, DELのメタエンコーディングを実装することで, フレームワークの拡張性を示す。 DELにおけるMELの間隔制約とFischer-Ladner閉包を管理するための重要な特徴を概説する。 最後に、このワークフローをカプセル化する汎用ツールであるMetaspシステムを紹介します。

関連論文リスト

• DynaSchedBench: Calibrated Dynamic Scheduling Benchmarks and Observability Paradox in LLM-based Scheduling Agents [11.212756680882444]
  textbfDynaSchedBenchはDFJSPの診断フレームワークで、インスタンス生成プロセスを厳格に制御する。 パラメータサンプリングに頼る代わりに、新しいスケジュールストレス指標(SSI)を計算し、難易度でインスタンスを階層化するSequential Event-Space Calibrator(SESC)を用いる。
  論文  参考訳（メタデータ） (2026-05-26T18:36:54Z)
• Dystruct: Dynamically Structured Diffusion Language Model Decoding via Bayesian Inference [51.12849550784653]
  拡散言語モデル (DLM) は自己回帰モデルに代わる有望な代替品として登場した。 ほとんどの既存のDLMはデコードに先立って指定された固定生成長に依存しており、現実世界のアプリケーションでは柔軟性が制限されている。 本稿では,動的構造推論問題としてフレキシブル長生成を定式化する,非学習型ベイズ構造復号化フレームワークを提案する。
  論文  参考訳（メタデータ） (2026-05-10T23:51:14Z)
• Revisiting Semantic Role Labeling: Efficient Structured Inference with Dependency-Informed Analysis [3.5111161561666084]
  我々はSRLモデリングを再考し、推論を10倍速くし、明示的な述語論構造を保ちつつ、拡張エンコーダベースのフレームワークを導入する。 BERTベースのモデルでは、同じ予測性能が得られ、RoBERTaとDeBERTaは、同じフレームワーク内のF1パフォーマンスをさらに改善する。
  論文  参考訳（メタデータ） (2026-05-04T11:57:58Z)
• TDD Governance for Multi-Agent Code Generation via Prompt Engineering [2.013170973610094]
  大規模言語モデル(LLM)はソフトウェア開発を加速するが、不安定性、非決定性、制約のない状況下での開発の規律への弱い固執を示すことが多い。 我々は、古典的なTDD原則を構造化されたプロンプトレベルおよびワークフローレベルのガバナンスメカニズムとして運用する、AIネイティブなTDDフレームワークを提案する。
  論文  参考訳（メタデータ） (2026-04-29T12:43:22Z)
• VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation [52.43796056267479]
  高品質なベリログコード生成のためのPPA対応ツール統合マルチエージェントフレームワークを提案する。 当社のフレームワークでは,EDAツールをtextitProgrammer Agent, textitCorrectness Agent, textitPPA Agentで構成されるクローズドループワークフローに明示的に組み込んでいる。 モデル再トレーニングなしに継続的な改善をサポートするために,構造化メモリノードに最適化エクスペリエンスを外部化するtextitEvolved Memory Mechanismを導入する。
  論文  参考訳（メタデータ） (2026-03-18T11:25:40Z)
• The Meta-Prompting Protocol: Orchestrating LLMs via Adversarial Feedback Loops [0.6345523830122167]
  Meta-Prompt Protocolは、プログラム可能な自己最適化システムとして、大規模言語モデルのオーケストレーションを形式化する。 自然言語命令を意味グラフ内の微分可能な変数として扱い、テキストの批判を勾配として利用することにより、幻覚を緩和し、モデル崩壊を防ぐ。
  論文  参考訳（メタデータ） (2025-12-17T03:32:21Z)
• A Fuzzy Logic Prompting Framework for Large Language Models in Adaptive and Uncertain Tasks [2.1756081703276]
  動的でユーザ中心のタスクにまたがる大規模言語モデル(LLM)のより安全で適応的な利用をサポートするモジュール型プロンプトフレームワークを導入する。 本手法は,ファジィな足場論理と適応規則を符号化した制御スキーマと,自然言語境界プロンプトを組み合わせる。 シミュレーションされたインテリジェントなチューター設定では、このフレームワークは、複数のモデル間の足場品質、適応性、命令的アライメントを改善し、標準のベースラインを上回ります。
  論文  参考訳（メタデータ） (2025-08-08T23:50:48Z)
• Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams [54.528185120850274]
  本稿では,API2Depという新しいステップバイステップコード生成フレームワークを提案する。 まず、サービス指向アーキテクチャに適した拡張Unified Modeling Language (UML) APIダイアグラムを紹介します。 次に、データフローの重要な役割を認識し、専用のデータ依存推論タスクを導入する。
  論文  参考訳（メタデータ） (2025-08-05T12:28:23Z)
• Entropy-Regularized Token-Level Policy Optimization for Language Agent Reinforcement [67.1393112206885]
  大規模言語モデル(LLM)は、対話的な意思決定タスクにおいてインテリジェントなエージェントとして期待されている。 本稿では,トークンレベルでのLLMの最適化に適したエントロピー拡張RL法である,エントロピー正規化トークンレベル最適化(ETPO)を導入する。 我々は,データサイエンスコード生成を多段階対話型タスクのシリーズとしてモデル化したシミュレーション環境におけるETPOの有効性を評価する。
  論文  参考訳（メタデータ） (2024-02-09T07:45:26Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。