論文の概要: 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言語への足場になることを期待しています。
関連論文リスト
- VisualWebArena: Evaluating Multimodal Agents on Realistic Visual Web
Tasks [96.9727427788202]
VisualWebArenaは、マルチモーダルWebエージェントのパフォーマンスを現実的なタスクで評価するために設計されたベンチマークである。
このベンチマークを実行するには、イメージテキスト入力を正確に処理し、自然言語命令を解釈し、ユーザが定義した目的を達成するためにウェブサイト上でアクションを実行する必要がある。
論文 参考訳(メタデータ) (2024-01-24T18:35:21Z) - Can Large Language Models Understand Real-World Complex Instructions? [54.86632921036983]
大型言語モデル(LLM)は人間の指示を理解することができるが、複雑な命令には耐えられない。
既存のベンチマークでは、LLMが複雑な命令を理解する能力を評価するには不十分である。
複雑な命令を体系的に追従するLSMの能力を評価するためのベンチマークであるCellOを提案する。
論文 参考訳(メタデータ) (2023-09-17T04:18:39Z) - 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) - Pre-Trained Language Models for Interactive Decision-Making [72.77825666035203]
目的と観測を埋め込みのシーケンスとして表現する模倣学習の枠組みを述べる。
このフレームワークは様々な環境にまたがって効果的な一般化を可能にすることを実証する。
新たなゴールや新しいシーンを含むテストタスクでは、言語モデルによる初期化ポリシーはタスク完了率を43.6%改善する。
論文 参考訳(メタデータ) (2022-02-03T18:55:52Z) - Rushing and Strolling among Answer Sets -- Navigation Made Easy [0.0]
本研究では,フェースドブラウジングに類似した回答集合の所望のサブセットに対する対話的ナビゲーションのためのフレームワークを提案する。
提案手法により,あるペースで解のサブスペース内外を意識的にズームアウトすることで,解空間を探索することができる。
論文 参考訳(メタデータ) (2021-12-14T17:50:06Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。