論文の概要: Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming

• arxiv url: http://arxiv.org/abs/2108.05428v1
• Date: Wed, 11 Aug 2021 20:00:34 GMT
• ステータス: 処理完了
• システム内更新日: 2021-08-14 03:55:14.714409
• Title: Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming
• Title（参考訳）: 回答セットと認識論理プログラミングを用いたSTRIPSの動作可逆性決定
• Authors: Wolfgang Faber, Michael Morak, and Luk\'a\v{s} Chrpa
• Abstract要約: 我々は、他のアクションを適用して元の状態に戻ることで、その効果を逆戻りできるアクションを呼び出します。 本稿では,動作の可逆性を決定する計算問題に対するいくつかの解を提案する。
• 参考スコア（独自算出の注目度）: 8.585348089298133
• License: http://creativecommons.org/licenses/by-sa/4.0/
• Abstract: In the context of planning and reasoning about actions and change, we call an action reversible when its effects can be reverted by applying other actions, returning to the original state. Renewed interest in this area has led to several results in the context of the PDDL language, widely used for describing planning tasks. In this paper, we propose several solutions to the computational problem of deciding the reversibility of an action. In particular, we leverage an existing translation from PDDL to Answer Set Programming (ASP), and then use several different encodings to tackle the problem of action reversibility for the STRIPS fragment of PDDL. For these, we use ASP, as well as Epistemic Logic Programming (ELP), an extension of ASP with epistemic operators, and compare and contrast their strengths and weaknesses. Under consideration for acceptance in TPLP.
• Abstract（参考訳）: 行動と変化に関する計画と推論の文脈では、他のアクションを適用して元の状態に戻ることで、その効果が逆転できる場合、アクションを可逆的に呼びます。 この領域に対する関心は、計画タスクの記述に広く使われているPDDL言語の文脈において、いくつかの結果をもたらしている。 本稿では,動作の可逆性を決定する計算問題に対するいくつかの解を提案する。 特に、pddlからの既存の変換を利用して集合プログラミング(asp)に答え、pddlのストリップフラグメントに対するアクション可逆性の問題に取り組むためにいくつかの異なるエンコーディングを使用する。 これらのために、私たちはaspと、aspと認識演算子の拡張である認識論理プログラミング(elp)を使い、それらの長所と短所を比較して比較します。 TPLPの受容についての検討

関連論文リスト

• Interactive and Expressive Code-Augmented Planning with Large Language Models [62.799579304821826]
  大きな言語モデル(LLM)は、常識的推論と対話的な意思決定において強力な能力を示す。 近年,制御フローなどのコード・アジャセント技術を用いてLCM出力を構造化し,計画性能を向上させる技術が提案されている。 完全コード表現で動的なLEM計画手法であるREPL-Planを提案する。
  論文  参考訳（メタデータ） (2024-11-21T04:23:17Z)
• Embodied Agent Interface: Benchmarking LLMs for Embodied Decision Making [85.24399869971236]
  我々は,大規模言語モデル(LLM)を具体的意思決定のために評価することを目指している。 既存の評価は最終的な成功率にのみ依存する傾向がある。 本稿では,様々なタスクの形式化を支援する汎用インタフェース (Embodied Agent Interface) を提案する。
  論文  参考訳（メタデータ） (2024-10-09T17:59:00Z)
• Planning with OWL-DL Ontologies (Extended Version) [6.767885381740952]
  フルパワー表現型DLをサポートするブラックボックスを提案する。 主要なアルゴリズムは、OWLによるPDDLへの計画仕様の書き直しに依存している。 いくつかのドメインからのベンチマークセットの実装を評価した。
  論文  参考訳（メタデータ） (2024-08-14T13:27:02Z)
• Compromising Embodied Agents with Contextual Backdoor Attacks [69.71630408822767]
  大型言語モデル(LLM)は、エンボディドインテリジェンスの発展に変化をもたらした。 本稿では,このプロセスにおけるバックドアセキュリティの重大な脅威を明らかにする。 ほんの少しの文脈的デモンストレーションを毒殺しただけで、攻撃者はブラックボックスLDMの文脈的環境を隠蔽することができる。
  論文  参考訳（メタデータ） (2024-08-06T01:20:12Z)
• Fine-Tuning Large Vision-Language Models as Decision-Making Agents via Reinforcement Learning [79.38140606606126]
  強化学習(RL)を用いた視覚言語モデル(VLM)を微調整するアルゴリズムフレームワークを提案する。 我々のフレームワークはタスク記述を提供し、次にVLMにチェーン・オブ・シント(CoT)推論を生成するよう促す。 提案手法は,VLMエージェントの様々なタスクにおける意思決定能力を向上させる。
  論文  参考訳（メタデータ） (2024-05-16T17:50:19Z)
• Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach [57.788675205519986]
  我々は任意の解法によって生成されるPOMDP実行から高品質なトレースを学習する。 我々は、データと時間効率のIndu Logic Programming(ILP)を利用して、解釈可能な信念に基づくポリシー仕様を生成する。 ASP(Answer Set Programming)で表現された学習は、ニューラルネットワークよりも優れた性能を示し、より少ない計算時間で最適な手作りタスクに類似していることを示す。
  論文  参考訳（メタデータ） (2024-02-29T15:36:01Z)
• DisasterResponseGPT: Large Language Models for Accelerated Plan of Action Development in Disaster Response Scenarios [3.42658286826597]
  本研究では,Large Language Models (LLMs) を利用して有効な行動計画を生成するアルゴリズムであるDerma ResponseGPTを提案する。 提案手法は数秒で複数のプランを生成し,ユーザのフィードバックに従ってさらに改良することができる。 予備的な結果は,災害対応GPTによって開発された行動計画が人為的な行動に匹敵するものであるとともに,リアルタイムな修正が容易であることを示している。
  論文  参考訳（メタデータ） (2023-06-29T19:24:19Z)
• Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation [1.5469452301122177]
  仮定に基づく議論(ABA)は、中心的な構造化された議論形式である。 近年のASPの進歩により、ABAのNPハード推論タスクを効率的に解けるようになった。
  論文  参考訳（メタデータ） (2021-08-09T17:34:05Z)
• SML: a new Semantic Embedding Alignment Transformer for efficient cross-lingual Natural Language Inference [71.57324258813674]
  トランスフォーマーが質問応答、自然言語推論(NLI)、要約といった様々なタスクを精度良く実行できることは、現在この種のタスクに対処するための最良のパラダイムの1つとしてランク付けすることができる。 nliは、複雑な文を理解するための知識が必要であり、仮説と前提の関係を確立するため、これらのアーキテクチャをテストする最良のシナリオの1つである。 本稿では,自然言語推論のための多言語組込みを効率的にアライメントするための新しいアーキテクチャ siamese multilingual transformer を提案する。
  論文  参考訳（メタデータ） (2021-03-17T13:23:53Z)
• selp: A Single-Shot Epistemic Logic Program Solver [19.562205966997947]
  Epistemic Logic Programs (ELP) は Answer Set Programming (ASP) の拡張である また, 有界アリティを持つ非地上ASPへの ELP からの直接変換が存在することを示す。 次に、この符号化手法を、最近提案された大規模かつ非地上的なASPルールを扱う手法を用いて、プロトタイプのELP解決システム「セルプ」に実装する。
  論文  参考訳（メタデータ） (2020-01-04T15:36:31Z)

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

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