論文の概要: 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の受容についての検討
関連論文リスト
- 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) - Plug-and-Play Policy Planner for Large Language Model Powered Dialogue
Agents [121.46051697742608]
そこで本稿では,PDPPという言語モデルプラグインを用いて対話問題を整理するための新たな対話ポリシー計画パラダイムを提案する。
具体的には、利用可能な人間の注釈付きデータに対する教師付き微調整を容易にするための新しいトレーニングフレームワークを開発する。
PPDPPは3つの異なるプロアクティブな対話アプリケーションにおいて、既存のアプローチを一貫して、実質的に上回っている。
論文 参考訳(メタデータ) (2023-11-01T03:20:16Z) - 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) - Inverse Online Learning: Understanding Non-Stationary and Reactionary
Policies [79.60322329952453]
エージェントが意思決定を行う方法の解釈可能な表現を開発する方法を示す。
一連の軌跡に基づく意思決定プロセスを理解することにより,このオンライン学習問題に対して,政策推論問題を逆問題とみなした。
本稿では、エージェントがそれらを更新するプロセスと並行して、その影響を遡及的に推定する実用的なアルゴリズムを提案する。
UNOSの臓器提供受諾決定の分析に応用することで、我々のアプローチは意思決定プロセスを管理する要因や時間とともにどのように変化するかに、貴重な洞察をもたらすことができることを実証する。
論文 参考訳(メタデータ) (2022-03-14T17:40:42Z) - Reactive Answer Set Programming [2.7286395031146062]
Logic Production System (LPS)は、リアクティブな振る舞いをモデル化するためのロジックベースのフレームワークである。
本稿では,このフレームワーク(KELPS)のカーネルを解集合プログラム(ASP)に体系的にマッピングする。
論文 参考訳(メタデータ) (2021-09-22T10:10:14Z) - Planning with Incomplete Information in Quantified Answer Set
Programming [1.3501640559999886]
ASP(Answer Set Programming)における不完全な情報を用いた計画手法を提案する。
論理プログラムが状態間の遷移関数を記述する単純な形式主義を用いて計画問題を表現している。
本稿では、量子化された論理プログラムをQBFに変換し、QBFソルバを実行する翻訳ベースのQASPソルバを提案する。
論文 参考訳(メタデータ) (2021-08-13T21:24:47Z) - 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) - Contextualized Perturbation for Textual Adversarial Attack [56.370304308573274]
逆例は自然言語処理(NLP)モデルの脆弱性を明らかにする。
本稿では,フロートおよび文法的出力を生成するContextualized AdversaRial Example生成モデルであるCLAREを提案する。
論文 参考訳(メタデータ) (2020-09-16T06:53:15Z) - Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。
本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
論文 参考訳(メタデータ) (2020-08-07T06:35:56Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。