論文の概要: Hybrid Answer Set Programming: Foundations and Applications

• arxiv url: http://arxiv.org/abs/2502.09235v1
• Date: Thu, 13 Feb 2025 11:53:57 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-02-14 13:44:53.561490
• Title: Hybrid Answer Set Programming: Foundations and Applications
• Title（参考訳）: ハイブリッド・アンサー・セット・プログラミング - 基礎と応用
• Authors: Nicolas Rühling,
• Abstract要約: 制約付きHere-and-There論理(HT_c)と非モノトン拡張Equilibrium論理(HT)の拡張として、制約付きHere-and-There論理(HT_c)を導入する。 このアイデアは、HTC(および他の拡張)がハイブリッドASP.NETアプリケーションに類似した役割を担っているというものです。 これらのハイブリッドロジックを形式的に理解することは、適用される(実世界の)問題の本質的な構造をよりよく理解し、ASP.NETでの表現を改善するためにも必要です。
• 参考スコア（独自算出の注目度）: 0.0
• License:
• Abstract: Answer Set Programming (ASP) is a powerful tool for solving real-world problems. However, many problems involve numeric values and complex constraints beyond the capabilities of standard ASP solvers. Hybrid solvers like CLINGCON and CLINGO[DL] address this by using specialized methods for specific constraints. However, these solvers lack a strong theoretical foundation. This issue has first been addressed by introducing the Logic of Here-and-There with constraints (HT_c) as an extension of the Logic of Here-and-There (HT) and its non-monotone extension Equilibrium Logic. Nowadays, HT serves as a logical foundation for ASP and has facilitated a broader understanding of this paradigm. The idea is that HTC (and other extensions) play an analogous role for hybrid ASP. There remain many open questions about these logics regarding their fundamental characteristics as well as their practical use in solvers, ie. how they can guide the implementation. Having a formal understanding of these hybrid logics is also needed to better understand the inherent structure of the (real-world) problems they are applied to and to improve their representations in ASP. As an example of an application of ASP we use product configuration.
• Abstract（参考訳）: Answer Set Programming (ASP)は現実世界の問題を解決する強力なツールです。 しかし、多くの問題は、標準的なASPソルバの能力を超えた数値値と複雑な制約に関係している。 ClingCONやClingO[DL]のようなハイブリッドなソルバは、特定の制約に対して特別なメソッドを使用することでこの問題に対処します。 しかし、これらの解法は強い理論的な基礎を欠いている。 この問題は、制約付きHere-and-There論理(HT_c)と非モノトン拡張Equilibrium Logicの拡張によって最初に解決された。 今日では、HTはASPの論理的な基盤として機能し、このパラダイムのより広範な理解を促進しています。 このアイデアは、HTC(および他の拡張)がハイブリッドASP.NETアプリケーションに類似した役割を担っているというものです。 これらの論理の基本的な特徴や解法における実用性について、多くのオープンな疑問が残されている。 どのように実装を導くかです これらのハイブリッドロジックを形式的に理解することは、適用される(実世界の)問題の本質的な構造をよりよく理解し、ASP.NETでの表現を改善するためにも必要です。 ASPのアプリケーションの例として、私たちは製品構成を使用します。

関連論文リスト

• Quantifying over Optimum Answer Sets [6.390468088226495]
  ASP(Q)はエレガントでコンパクトな方法でモデリングを符号化する方法を欠いている。 本稿では、コンポーネントプログラムが弱い制約を含むことができるASP(Q)の拡張を提案する。 様々なアプリケーションシナリオを通して、新しいフォーマリズムのモデリング機能を紹介します。
  論文  参考訳（メタデータ） (2024-08-14T17:53:13Z)
• Finite Groundings for ASP with Functions: A Journey through Consistency [21.53198582611571]
  関数シンボルによるASPの強化は、基本的な推論問題を極めて決定不能にすることが知られている。 高レベルの不決定性に対する直感を与える縮小を示す。 これらの洞察は、ASP プログラムを "frugal" と "non-proliferous" と特徴づける、よりきめ細かい分析を可能にする。
  論文  参考訳（メタデータ） (2024-05-08T11:50:08Z)
• LaRS: Latent Reasoning Skills for Chain-of-Thought Reasoning [61.7853049843921]
  Chain-of-Thoughting(CoT)プロンプトは、大規模言語モデル(LLM)のための一般的なコンテキスト内学習手法である。 本稿では、教師なし学習を用いて有理数の潜在空間表現を生成するLaRS(Lalatnt Reasoning Skills)という新しいアプローチを提案する。
  論文  参考訳（メタデータ） (2023-12-07T20:36:10Z)
• When Do Program-of-Thoughts Work for Reasoning? [51.2699797837818]
  本稿では,コードと推論能力の相関性を測定するために,複雑性に富んだ推論スコア(CIRS)を提案する。 具体的には、抽象構文木を用いて構造情報をエンコードし、論理的複雑性を計算する。 コードはhttps://github.com/zjunlp/EasyInstructのEasyInstructフレームワークに統合される。
  論文  参考訳（メタデータ） (2023-08-29T17:22:39Z)
• Complex Query Answering on Eventuality Knowledge Graph with Implicit Logical Constraints [48.831178420807646]
  我々は、EVentuality中心のKGに基づいて、ニューラルネットワークを利用して複雑な論理的クエリに応答する新しいフレームワークを提案する。 複合事象性クエリ・アンサーリング(CEQA)は、時間的順序と事象の発生を規定する暗黙の論理的制約を考察する。 また、CEQAタスク上での最先端のニューラルクエリエンコーダの性能を大幅に向上させるメモリ拡張クエリ(MEQE)を提案する。
  論文  参考訳（メタデータ） (2023-05-30T14:29:24Z)
• Faith and Fate: Limits of Transformers on Compositionality [109.79516190693415]
  3つの代表的構成課題にまたがる変圧器大言語モデルの限界について検討する。 これらのタスクは、問題をサブステップに分割し、これらのステップを正確な答えに合成する必要があります。 実験結果から,多段階合成推論を線形化部分グラフマッチングに還元することにより,トランスフォーマーLLMが構成課題を解くことが示唆された。
  論文  参考訳（メタデータ） (2023-05-29T23:24:14Z)
• Conjunctive Query Based Constraint Solving For Feature Model Configuration [79.14348940034351]
  本稿では、制約満足度問題を解決するために共役クエリーを適用する方法を示す。 このアプローチは、構成タスクを解決するために、広範囲のデータベース技術の応用を可能にする。
  論文  参考訳（メタデータ） (2023-04-26T10:08:07Z)
• FOLASP: FO(.) as Input Language for Answer Ser Solvers [0.8946655323517091]
  本稿では, FO(.) 仕様を ASP-Core-2 に変換するツールを提案する。 FO()で定式化された問題の解法として,我々の翻訳と既製のASPソルバの組み合わせがIDPシステムと競合することを示す実験結果を示す。
  論文  参考訳（メタデータ） (2021-08-09T13:20:26Z)
• Dual Reader-Parser on Hybrid Textual and Tabular Evidence for Open Domain Question Answering [78.9863753810787]
  世界の知識は構造化データベースに保存されている。 クエリ言語は、複雑な推論を必要とする質問に答えるだけでなく、完全な説明可能性を提供することができる。
  論文  参考訳（メタデータ） (2021-08-05T22:04:13Z)
• LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories [0.0]
  本稿では、ASPプログラムを擬似ブール理論に変換する新しいツールLP2PBを提案する。 従来のASPベンチマークで、当社のツールと、ASPに対するカットプレーンベースの問題解決の可能性を評価します。
  論文  参考訳（メタデータ） (2020-09-22T00:50:17Z)
• ASP(AC): Answer Set Programming with Algebraic Constraints [20.559497209595822]
  本稿では、半順序値と重み付け式評価を比較する制約を含むような、代数制約付き解集合プログラミング(ASP(AC))を紹介する。 この研究は論理プログラミングの理論と実践の受け入れを検討中である。
  論文  参考訳（メタデータ） (2020-08-10T10:20:49Z)

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

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