論文の概要: Parametric Modular Answer Set Programs Made Declarative
- arxiv url: http://arxiv.org/abs/2605.22716v1
- Date: Thu, 21 May 2026 16:52:18 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-22 20:14:18.609535
- Title: Parametric Modular Answer Set Programs Made Declarative
- Title（参考訳）: パラメトリックモジュラーアンサーセットプログラムの宣言
- Authors: Jorge Fandinno, Yuliya Lierler, Torsten Schaub,
- Abstract要約: 我々はパラメトリックなモジュラー論理プログラムと呼ばれる新しい形式を導入し、パラメータとインテンシティーステートメントでサブプログラムを定義する。
サブプログラムの構造化とインスタンス化を可能にする機能である集合制御によるクリンゴプログラムのセマンティクスを,この形式がどのように捉えるかを示す。
- 参考スコア（独自算出の注目度）: 11.52099227565185
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this paper, we explore the concept of modularity in first-order answer set programming (ASP). We introduce a new formalism called parametric modular logic programs, which allows defining subprograms with parameters and intensionality statements. We demonstrate how this formalism can capture the semantics of clingo-programs with collective control, a feature that enables structuring and instantiating subprograms. We provide theoretical foundations for modular ASP, illustrate its usefulness, and connect to traditional non-modular ASP.
- Abstract（参考訳）: 本稿では,一階解集合プログラミング(ASP)におけるモジュラリティの概念について考察する。
我々はパラメトリックなモジュラー論理プログラムと呼ばれる新しい形式を導入し、パラメータとインテンシティーステートメントでサブプログラムを定義する。
サブプログラムの構造化とインスタンス化を可能にする機能である集合制御によるクリンゴプログラムのセマンティクスを,この形式がどのように捉えるかを示す。
モジュラーASPの理論的基盤を提供し、その有用性を説明し、従来のモジュラーではないASPに接続する。
関連論文リスト
- Functional Stable Model Semantics and Answer Set Programming Modulo Theories [2.294331241389926]
インテンショナル関数(Intensional function)は、他の関数や述語によって値を記述することができる関数である。
ASPMTのフレームワークにおいて,機能的安定モデルセマンティクスが重要な役割を果たすことを示す。
論文 参考訳（メタデータ） (2026-05-10T13:19:32Z) - SITA: A Framework for Structure-to-Instance Theorem Autoformalization [20.941850622174236]
我々は、SITA(Structure-to-instance theorem autoformalization)の枠組みを開発する。
SITAは抽象数学的理論と、リーン証明アシスタントにおける具体的な応用のギャップを埋める。
対応するリーンの定義とインスタンス宣言を生成し、それらをリーンのタイプクラスメカニズムを使って統合し、構造的な仮定をチェックして検証済みの定理を構築します。
論文 参考訳（メタデータ） (2025-11-13T14:33:51Z) - A framework for Conditional Reasoning in Answer Set Programming [1.228936170812787]
我々は、条件付き解集合プログラミング(ASP)の条件付き拡張を定義するための条件付き解集合プログラミングフレームワーク(Conditional ASP)を紹介する。
このアプローチは、典型的な条件付き論理と、条件付き知識ベースとASPプログラムの組み合わせに基づいて構築され、プログラムの応答セットに対する条件付き推論を可能にする。
論文 参考訳（メタデータ） (2025-06-04T14:25:34Z) - CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules [51.82044734879657]
我々は,自己修正の連鎖を通じてモジュール化されたコード生成を誘発する,新しい推論フレームワークであるCodeChainを提案する。
CodeChainは、生成したソリューションのモジュール性と正確性の両方を大幅に向上させ、APPSで35%、CodeContestsで76%の相対パス@1の改善を実現しています。
論文 参考訳（メタデータ） (2023-10-13T10:17:48Z) - ModuleFormer: Modularity Emerges from Mixture-of-Experts [60.6148988099284]
本稿では,大規模言語モデルの効率性と柔軟性を向上させるために,新しいニューラルネットワークアーキテクチャであるModuleFormerを提案する。
以前のSMoEベースのモジュラー言語モデルとは異なり、ModuleFormerは未処理のデータからモジュラリティを誘導することができる。
論文 参考訳（メタデータ） (2023-06-07T17:59:57Z) - Modular Deep Learning [120.36599591042908]
トランスファーラーニングは近年、機械学習の主要なパラダイムとなっている。
負の干渉を伴わずに複数のタスクを専門とするモデルを開発する方法はまだ不明である。
これらの課題に対する有望な解決策として、モジュール型ディープラーニングが登場した。
論文 参考訳（メタデータ） (2023-02-22T18:11:25Z) - Disentangling Reasoning Capabilities from Language Models with
Compositional Reasoning Transformers [72.04044221898059]
ReasonFormerは、人間のモジュール的および構成的推論プロセスを反映するための統一的な推論フレームワークである。
表現モジュール(自動思考)と推論モジュール(制御思考)は、異なるレベルの認知を捉えるために切り離される。
統一された推論フレームワークは、単一のモデルで複数のタスクを解決し、エンドツーエンドでトレーニングされ、推論される。
論文 参考訳（メタデータ） (2022-10-20T13:39:55Z) - On modularity in reactive control architectures, with an application to
formal verification [0.0]
決定構造と呼ぶグラフ構造制御アーキテクチャを提案する。
グラフ理論における加群の定義に触発され、決定構造における加群を定義する。
それぞれの決定構造がその加群への正準分解を持つことを示す。
論文 参考訳（メタデータ） (2020-08-28T07:25:38Z) - Modular Answer Set Programming as a Formal Specification Language [8.823761706435814]
ASP(Answer Set Programming)の形式検証問題について検討する。
与えられた(非基底)論理プログラムPの解集合が、問題インスタンスに関係なく、Pによって符号化された問題の解に正しく対応していることを示す公式な証明を得る。
論文 参考訳（メタデータ） (2020-08-05T09:25:51Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。