論文の概要: Extending Answer Set Programming with Rational Numbers

• arxiv url: http://arxiv.org/abs/2312.04249v1
• Date: Thu, 7 Dec 2023 12:11:25 GMT
• ステータス: 処理完了
• システム内更新日: 2023-12-08 15:07:35.506552
• Title: Extending Answer Set Programming with Rational Numbers
• Title（参考訳）: 有理数による解集合プログラミングの拡張
• Authors: Francesco Pacenza and Jessica Zangari
• Abstract要約: 本稿では,非整数を有理数に近似し,完全な付与と宣言性を持つASPの拡張を提案する。 我々は、有理数で拡張されたASP-Core-2標準のための明確に定義されたセマンティクスとその実装を提供する。
• 参考スコア（独自算出の注目度）: 0.6526824510982802
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Answer Set Programming (ASP) is a widely used declarative programming paradigm that has shown great potential in solving complex computational problems. However, the inability to natively support non-integer arithmetic has been highlighted as a major drawback in real-world applications. This feature is crucial to accurately model and manage real-world data and information as emerged in various contexts, such as the smooth movement of video game characters, the 3D movement of mechanical arms, and data streamed by sensors. Nevertheless, extending ASP in this direction, without affecting its declarative nature and its well-defined semantics, poses non-trivial challenges; thus, no ASP system is able to reason natively with non-integer domains. Indeed, the widespread floating-point arithmetic is not applicable to the ASP case, as the reproducibility of results cannot be guaranteed and the semantics of an ASP program would not be uniquely and declaratively determined, regardless of the employed machine or solver. To overcome such limitations and in the realm of pure ASP, this paper proposes an extension of ASP in which non-integers are approximated to rational numbers, fully granting reproducibility and declarativity. We provide a well-defined semantics for the ASP-Core-2 standard extended with rational numbers and an implementation thereof. We hope this work could serve as a stepping stone towards a more expressive and versatile ASP language that can handle a broader range of real-world problems.
• Abstract（参考訳）: Answer Set Programming (ASP)は、複雑な計算問題を解く大きな可能性を示した宣言型プログラミングパラダイムである。 しかし、非整数演算をネイティブにサポートできないことは、実世界のアプリケーションにおける大きな欠点として強調されている。 この機能は、ビデオゲームキャラクタのスムーズな動き、メカニカルアームの3D動き、センサーによってストリームされるデータなど、さまざまな文脈で現れる現実世界のデータや情報を正確にモデル化し、管理するために重要である。 それでも、宣言的な性質と明確に定義されたセマンティクスに影響を与えることなく、この方向にASPを拡張することは、非整数ドメインとネイティブに推論できるASPシステムは存在しない。 実際、広範囲にわたる浮動小数点演算は、結果の再現性が保証されず、aspプログラムの意味が、使用機械や解法者に関係なく一意かつ宣言的に決定されないため、aspケースには適用できない。 このような制限を克服し、純粋なASPの領域において、非インテグレータを有理数に近似し、再現性と宣言性を完全に付与するASPの拡張を提案する。 有理数で拡張された asp-core-2 標準のよく定義された意味論とその実装を提供する。 この作業が、より広い範囲の現実世界の問題を扱うことができる、より表現力があり、多用途なasp言語への足場になることを期待しています。

関連論文リスト

• Embodied-RAG: General Non-parametric Embodied Memory for Retrieval and Generation [65.23793829741014]
  Embodied-RAGは、非パラメトリックメモリシステムによるエンボディエージェントのモデルを強化するフレームワークである。 コアとなるEmbodied-RAGのメモリはセマンティックフォレストとして構成され、言語記述を様々なレベルで詳細に保存する。 Embodied-RAGがRAGをロボット領域に効果的にブリッジし、200以上の説明とナビゲーションクエリをうまく処理できることを実証する。
  論文  参考訳（メタデータ） (2024-09-26T21:44:11Z)
• Finite Groundings for ASP with Functions: A Journey through Consistency [21.53198582611571]
  関数シンボルによるASPの強化は、基本的な推論問題を極めて決定不能にすることが知られている。 高レベルの不決定性に対する直感を与える縮小を示す。 これらの洞察は、ASP プログラムを "frugal" と "non-proliferous" と特徴づける、よりきめ細かい分析を可能にする。
  論文  参考訳（メタデータ） (2024-05-08T11:50:08Z)
• Unified Language-driven Zero-shot Domain Adaptation [55.64088594551629]
  Unified Language-driven Zero-shot Domain Adaptation (ULDA)は、新しいタスクセットである。 これにより、ドメインIDの知識を明示することなく、単一のモデルを多様なターゲットドメインに適応させることができる。
  論文  参考訳（メタデータ） (2024-04-10T16:44:11Z)
• VisualWebArena: Evaluating Multimodal Agents on Realistic Visual Web Tasks [93.85005277463802]
  VisualWebArenaは、マルチモーダルWebエージェントのパフォーマンスを現実的なタスクで評価するために設計されたベンチマークである。 このベンチマークを実行するには、イメージテキスト入力を正確に処理し、自然言語命令を解釈し、ユーザが定義した目的を達成するためにウェブサイト上でアクションを実行する必要がある。
  論文  参考訳（メタデータ） (2024-01-24T18:35:21Z)
• Explainable Answer-set Programming [0.0]
  プロジェクトはこれらのギャップのいくつかを埋めることを目的としており、ASP.NET ASP.NET MVCにおける技術の現状に貢献することを目的としている。 我々は、既存のアプローチの言語サポートを拡張するだけでなく、新しい説明形式を発達させることによって、この問題に対処する。
  論文  参考訳（メタデータ） (2023-08-30T09:09:57Z)
• Inductive Learning of Declarative Domain-Specific Heuristics for ASP [1.0904219197219578]
  本稿では,ドメイン固有性の自動学習に対する新しいアプローチを提案する。 Inductive Logic Programming(ILP)を使用して、小さなが代表的な問題インスタンスの(ほぼ)回答セットから生じる例からドメイン固有性を学ぶ。 実験結果から,同じ問題の大規模で難しいインスタンスを解く際に,学習者が性能とソリューションの品質を向上できることが示唆された。
  論文  参考訳（メタデータ） (2023-08-30T08:55:17Z)
• On Robustness of Prompt-based Semantic Parsing with Large Pre-trained Language Model: An Empirical Study on Codex [48.588772371355816]
  本稿では,大規模なプロンプトベース言語モデルであるコーデックスの対角的ロバスト性に関する最初の実証的研究について述べる。 この結果から, 最先端の言語モデル(SOTA)は, 慎重に構築された敵の例に対して脆弱であることが示された。
  論文  参考訳（メタデータ） (2023-01-30T13:21:00Z)
• Tools and Methodologies for Verifying Answer Set Programs [0.0]
  ASP.NETは強力な宣言型プログラミングパラダイムで、検索と最適化の課題を解決するのによく使われます。 知識表現と推論へのアプローチとして、ASPはその単純さ、簡潔さ、厳密に定義されたセマンティクスから恩恵を受ける。 私の研究は、ASPプロガムの検証をサポートする理論とツールの拡張に関するものです。
  論文  参考訳（メタデータ） (2022-08-05T10:50:21Z)
• Aggregate Semantics for Propositional Answer Set Programs [14.135212040150389]
  提案するASPプログラムに対して提案された主要な集合的セマンティクスを提示し、比較する。 計算複雑性や表現力などの重要な特性を強調し、異なるアプローチの能力と限界を概説する。
  論文  参考訳（メタデータ） (2021-09-17T17:38:55Z)
• Neural Abstructions: Abstractions that Support Construction for Grounded Language Learning [69.1137074774244]
  言語の相互作用を効果的に活用するには、言語基底に対する2つの最も一般的なアプローチの制限に対処する必要がある。 本稿では,ラベル条件付き生成モデルの推論手順に対する制約のセットであるニューラル・アブストラクションの考え方を紹介する。 この手法により,マインクラフトにおけるオープンエンドハウスタスクのセマンティックな変更をユーザ人口が構築できることが示される。
  論文  参考訳（メタデータ） (2021-07-20T07:01:15Z)
• Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
  本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。 本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
  論文  参考訳（メタデータ） (2020-08-07T06:35:56Z)

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

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