論文の概要: Contrastive Explanations of Plans Through Model Restrictions
- arxiv url: http://arxiv.org/abs/2103.15575v1
- Date: Mon, 29 Mar 2021 12:47:15 GMT
- ステータス: 処理完了
- システム内更新日: 2021-03-30 15:10:12.788781
- Title: Contrastive Explanations of Plans Through Model Restrictions
- Title(参考訳): モデル制約による計画の対比的説明
- Authors: Benjamin Krarup and Senka Krivic and Daniele Magazzeni and Derek Long
and Michael Cashmore and David E. Smith
- Abstract要約: 計画交渉の問題の文脈で説明可能なAI計画を組み立てます。
本研究は,ユーザが計画について質問すると,その質問とは対照的であることを示す,ユーザ調査の結果を示す。
本研究は,計画交渉中に頻繁に発生するユーザ質問の分類を構築するために,本研究のデータを用いている。
- 参考スコア(独自算出の注目度): 11.259587284318833
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: In automated planning, the need for explanations arises when there is a
mismatch between a proposed plan and the user's expectation. We frame
Explainable AI Planning in the context of the plan negotiation problem, in
which a succession of hypothetical planning problems are generated and solved.
The object of the negotiation is for the user to understand and ultimately
arrive at a satisfactory plan. We present the results of a user study that
demonstrates that when users ask questions about plans, those questions are
contrastive, i.e. "why A rather than B?". We use the data from this study to
construct a taxonomy of user questions that often arise during plan
negotiation. We formally define our approach to plan negotiation through model
restriction as an iterative process. This approach generates hypothetical
problems and contrastive plans by restricting the model through constraints
implied by user questions. We formally define model-based compilations in
PDDL2.1 of each constraint derived from a user question in the taxonomy, and
empirically evaluate the compilations in terms of computational complexity. The
compilations were implemented as part of an explanation framework that employs
iterative model restriction. We demonstrate its benefits in a second user
study.
- Abstract(参考訳): 自動計画では、提案された計画とユーザの期待との間にミスマッチがある場合、説明の必要性が生じる。
我々は,仮説的計画問題の連続発生と解決を行う計画交渉問題の文脈において,説明可能なai計画を作成する。
交渉の対象は、ユーザが理解し、最終的に満足な計画に到達することです。
本研究は,ユーザが計画について質問すると,その質問とは対照的であることを示す,ユーザ調査の結果を示す。
「なぜbよりaなのか?」
本研究のデータを用いて,計画交渉中に頻繁に発生するユーザ質問の分類を構築した。
我々は,モデル制約を反復プロセスとして,計画交渉のアプローチを正式に定義する。
このアプローチは,ユーザの質問に暗示される制約によってモデルを制限することにより,仮説上の問題や対照的な計画を生成する。
分類学におけるユーザ質問から導かれた各制約のPDDL2.1でモデルベースのコンパイルを正式に定義し,計算複雑性の観点から,そのコンパイルを実証的に評価する。
コンパイルは反復モデル制限を用いた説明フレームワークの一部として実装された。
第2のユーザスタディでそのメリットを実演します。
関連論文リスト
- Planning as In-Painting: A Diffusion-Based Embodied Task Planning
Framework for Environments under Uncertainty [56.30846158280031]
具体的AIのためのタスクプランニングは、最も難しい問題の1つだ。
In-paintingとしての計画」というタスク非依存の手法を提案する。
提案するフレームワークは,様々な具体的AIタスクにおいて,有望なパフォーマンスを実現する。
論文 参考訳(メタデータ) (2023-12-02T10:07:17Z) - PlaSma: Making Small Language Models Better Procedural Knowledge Models for (Counterfactual) Planning [77.03847056008598]
PlaSmaは、手続き的な知識と(制約のある)言語計画能力を持つ小さな言語モデルを実現するための、新しい2段階のアプローチである。
我々は,小言語モデルにおけるコモンセンス知識を高めるための記号的手続き的知識蒸留法と,より構造化された正確な推論を容易にする推論時アルゴリズムを開発する。
論文 参考訳(メタデータ) (2023-05-31T00:55:40Z) - Temporal Planning with Incomplete Knowledge and Perceptual Information [0.0]
本稿では,時間的計画枠組み内での緊急計画構築を組み合わせた新しい計画手法を提案する。
本研究では,不完全かつ(ii)知識認識行動をモデル化するために,計画ドメイン定義言語(PDDL)の小さな拡張を提案する。
また,様々な問題に対して優れた性能を示す新しい計画領域も導入した。
論文 参考訳(メタデータ) (2022-07-20T07:26:08Z) - Position Paper: Online Modeling for Offline Planning [2.8326418377665346]
AI計画研究の重要な部分はアクションモデルの表現である。
この分野の成熟にもかかわらず、AI計画技術は研究コミュニティの外ではめったに使われない。
これは、モデリングプロセスが計画プロセスの前に行われ、完了したと仮定されているためである、と我々は主張する。
論文 参考訳(メタデータ) (2022-06-07T14:48:08Z) - On Exploiting Hitting Sets for Model Reconciliation [53.81101846598925]
ヒューマン・アウェア・プランニングにおいて、プランニング・エージェントは、その計画がなぜ最適なのかを人間に説明する必要があるかもしれない。
この手法はモデル和解と呼ばれ、エージェントはモデルと人間のモデルの違いを調和させようとする。
我々は,計画の領域を超えて拡張されたモデル和解のための論理ベースのフレームワークを提案する。
論文 参考訳(メタデータ) (2020-12-16T21:25:53Z) - Iterative Planning with Plan-Space Explanations: A Tool and User Study [5.779503104475269]
計画空間の説明を含む,ヒューマンガイドによる反復計画のためのツールを実装した。
このツールは標準のWebブラウザで動作し、開発者とユーザの両方にシンプルなユーザーインターフェイスを提供する。
本研究は,反復計画における計画固有依存性説明の有用性を示す最初のユーザスタディである。
論文 参考訳(メタデータ) (2020-11-19T08:15:13Z) - Forethought and Hindsight in Credit Assignment [62.05690959741223]
我々は、前向きモデルや後向きモデルによる後向き操作による予測として使われる計画の利益と特異性を理解するために活動する。
本稿では,予測を(再)評価すべき状態の選択に主眼を置いて,計画におけるモデルの利用について検討する。
論文 参考訳(メタデータ) (2020-10-26T16:00:47Z) - A Revised Generative Evaluation of Visual Dialogue [80.17353102854405]
本稿では,VisDialデータセットの改訂評価手法を提案する。
モデルが生成した回答と関連する回答の集合のコンセンサスを測定する。
DenseVisDialとして改訂された評価スキームのこれらのセットとコードをリリースする。
論文 参考訳(メタデータ) (2020-04-20T13:26:45Z) - STRIPS Action Discovery [67.73368413278631]
近年のアプローチでは、すべての中間状態が欠如している場合でも、アクションモデルを合成する古典的な計画が成功している。
アクションシグネチャが不明な場合に,従来のプランナーを用いてSTRIPSアクションモデルを教師なしで合成するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2020-01-30T17:08:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。