論文の概要: Value-based Practical Reasoning: Modal Logic + Argumentation

• arxiv url: http://arxiv.org/abs/2204.04938v1
• Date: Mon, 11 Apr 2022 08:29:45 GMT
• ステータス: 処理完了
• システム内更新日: 2022-04-12 15:42:53.112424
• Title: Value-based Practical Reasoning: Modal Logic + Argumentation
• Title（参考訳）: 価値に基づく実践的推論 - Modal Logic + Argumentation
• Authors: Jieting Luo, Beishui Liao and Dov Gabbay
• Abstract要約: 我々は,価値に基づく実践的推論を計画と組み合わせた論理ベースのフレームワークを開発した。 モーダル論理は、エージェントの目標を達成するために、その局所的な価値促進や減退といった特性を持つ計画の表現と検証を行う技術として用いられる。 そこで我々は,エージェントが検証結果を用いて計画の支援や異議を唱える形で,自分の計画について推論できる議論に基づくアプローチを提案する。
• 参考スコア（独自算出の注目度）: 0.3867363075280543
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Autonomous agents are supposed to be able to finish tasks or achieve goals that are assigned by their users through performing a sequence of actions. Since there might exist multiple plans that an agent can follow and each plan might promote or demote different values along each action, the agent should be able to resolve the conflicts between them and evaluate which plan he should follow. In this paper, we develop a logic-based framework that combines modal logic and argumentation for value-based practical reasoning with plans. Modal logic is used as a technique to represent and verify whether a plan with its local properties of value promotion or demotion can be followed to achieve an agent's goal. We then propose an argumentation-based approach that allows an agent to reason about his plans in the form of supporting or objecting to a plan using the verification results.
• Abstract（参考訳）: 自律エージェントは、一連のアクションを実行することによって、タスクを完了したり、ユーザが割り当てる目標を達成することができる。 エージェントが従うことのできる複数の計画が存在し、各計画がそれぞれのアクションに沿って異なる価値を推進または分解する可能性があるため、エージェントはエージェント間の紛争を解決し、どの計画に従うべきかを評価することができるべきである。 本稿では,価値に基づく実践的推論と計画のための様相論理と議論を組み合わせた論理ベースのフレームワークを開発した。 モーダル論理は、エージェントの目標を達成するために、その局所的な価値促進や減退といった特性を持つ計画の表現と検証を行う技術として用いられる。 そこで我々は,エージェントが検証結果を用いて計画の支援や異議を唱える形で,自分の計画について推論できる議論に基づくアプローチを提案する。

関連論文リスト

• LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language Models [87.49676980090555]
  大規模言語モデル(LLM)は、様々なタスクにまたがる顕著な能力を示し、複雑な問題解決能力を示している。 LLMの包括的なルール理解、実行、計画能力を評価するために設計された新しいベンチマークであるLogicGameを紹介する。
  論文  参考訳（メタデータ） (2024-08-28T13:16:41Z)
• Ask-before-Plan: Proactive Language Agents for Real-World Planning [68.08024918064503]
  プロアクティブエージェントプランニングでは、ユーザエージェントの会話とエージェント環境のインタラクションに基づいて、言語エージェントが明確化のニーズを予測する必要がある。 本稿では,明確化,実行,計画の3つのエージェントからなる新しいマルチエージェントフレームワーク,Clarification-Execution-Planning(textttCEP)を提案する。
  論文  参考訳（メタデータ） (2024-06-18T14:07:28Z)
• Learning adaptive planning representations with natural language guidance [90.24449752926866]
  本稿では,タスク固有の計画表現を自動構築するフレームワークであるAdaについて述べる。 Adaは、プランナー互換の高レベルアクション抽象化と、特定の計画タスク領域に適応した低レベルコントローラのライブラリを対話的に学習する。
  論文  参考訳（メタデータ） (2023-12-13T23:35:31Z)
• Code Models are Zero-shot Precondition Reasoners [83.8561159080672]
  シーケンシャルな意思決定タスクのために、コード表現を使ってアクションの前提条件を推論します。 本稿では,政策によって予測される行動が前提条件と一致していることを保証する事前条件対応行動サンプリング戦略を提案する。
  論文  参考訳（メタデータ） (2023-11-16T06:19:27Z)
• Adaptation and Communication in Human-Robot Teaming to Handle Discrepancies in Agents' Beliefs about Plans [13.637799815698559]
  我々はモンテカルロ木探索に基づくオンライン実行アルゴリズムを提案し,その動作を計画する。 私たちのエージェントは、共有されたメンタルモデルを保証することなく、チームで作業するための装備がより優れていることを示しています。
  論文  参考訳（メタデータ） (2023-07-07T03:05:34Z)
• Abstraction of Nondeterministic Situation Calculus Action Theories -- Extended Version [23.24285208243607]
  非決定論的領域で動作するエージェントの動作を抽象化するための一般的なフレームワークを開発する。 我々は抽象的かつ具体的な非決定論的基本作用論を持っていると仮定する。 エージェントが目標/完了タスクを抽象レベルで達成するための(強いFOND)計画/戦略を持っている場合、具体レベルでは非決定論的抽象アクションを常に実行可能であることを示す。
  論文  参考訳（メタデータ） (2023-05-20T05:42:38Z)
• Logic-Based Ethical Planning [9.741889240149337]
  我々は、線形時間論理と語彙的嗜好モデリングを組み合わせた倫理計画のためのコンパクトだが表現性の高い言語を提唱した。 我々は,計画タスクの計算複雑性の研究を開始し,ロボット工学への応用の可能性について論じる。
  論文  参考訳（メタデータ） (2022-06-01T16:07:53Z)
• A Logic for Conditional Local Strategic Reasoning [0.0]
  個人的および集団的目的の追求において行動し、相互作用する合理的エージェントのシステムを考える。 我々は、条件付き戦略的推論の新しい3つのモーダル作用素でパウリの対合論理を拡張した。
  論文  参考訳（メタデータ） (2021-02-11T17:45:36Z)
• On Exploiting Hitting Sets for Model Reconciliation [53.81101846598925]
  ヒューマン・アウェア・プランニングにおいて、プランニング・エージェントは、その計画がなぜ最適なのかを人間に説明する必要があるかもしれない。 この手法はモデル和解と呼ばれ、エージェントはモデルと人間のモデルの違いを調和させようとする。 我々は,計画の領域を超えて拡張されたモデル和解のための論理ベースのフレームワークを提案する。
  論文  参考訳（メタデータ） (2020-12-16T21:25:53Z)
• An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals [1.1744028458220426]
  インテリジェントエージェントは複数のパース可能なゴールを生成し、それら間で互換性がない可能性がある。 本稿では,これらの非互換性の定義,識別,解決に焦点をあてる。
  論文  参考訳（メタデータ） (2020-09-11T01:01:34Z)
• Modelling Multi-Agent Epistemic Planning in ASP [66.76082318001976]
  本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。 本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
  論文  参考訳（メタデータ） (2020-08-07T06:35:56Z)

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

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