論文の概要: Modelling Multi-Agent Epistemic Planning in ASP
- arxiv url: http://arxiv.org/abs/2008.03007v1
- Date: Fri, 7 Aug 2020 06:35:56 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-02 01:19:58.876373
- Title: Modelling Multi-Agent Epistemic Planning in ASP
- Title(参考訳): ASPにおけるマルチエージェントてんかん計画のモデル化
- Authors: Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico
Pontelli
- Abstract要約: 本稿では,マルチショット・アンサー・セット・プログラミング・ベース・プランナの実装について述べる。
本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
- 参考スコア(独自算出の注目度): 66.76082318001976
- License: http://creativecommons.org/publicdomain/zero/1.0/
- Abstract: Designing agents that reason and act upon the world has always been one of
the main objectives of the Artificial Intelligence community. While for
planning in "simple" domains the agents can solely rely on facts about the
world, in several contexts, e.g., economy, security, justice and politics, the
mere knowledge of the world could be insufficient to reach a desired goal. In
these scenarios, epistemic reasoning, i.e., reasoning about agents' beliefs
about themselves and about other agents' beliefs, is essential to design
winning strategies.
This paper addresses the problem of reasoning in multi-agent epistemic
settings exploiting declarative programming techniques. In particular, the
paper presents an actual implementation of a multi-shot Answer Set
Programming-based planner that can reason in multi-agent epistemic settings,
called PLATO (ePistemic muLti-agent Answer seT programming sOlver). The ASP
paradigm enables a concise and elegant design of the planner, w.r.t. other
imperative implementations, facilitating the development of formal verification
of correctness.
The paper shows how the planner, exploiting an ad-hoc epistemic state
representation and the efficiency of ASP solvers, has competitive performance
results on benchmarks collected from the literature. It is under consideration
for acceptance in TPLP.
- Abstract(参考訳): 世界を推論し行動するエージェントを設計することは、人工知能コミュニティの主要な目的の1つでした。
単純な"ドメインでの計画では、エージェントは世界に関する事実のみに頼ることができるが、経済、安全保障、正義、政治といったいくつかの文脈では、世界の知識が望ましい目標に達するには不十分である。
これらのシナリオでは、エージェントの信念と他のエージェントの信念を推論する疫学的推論が、勝利戦略の設計に不可欠である。
本稿では,宣言型プログラミング技術を利用したマルチエージェント・エピステミック・セッティングにおける推論の問題に対処する。
特に,マルチショットAnswer Setベースのプランナの実装について,PLATO (ePistemic muLti-agent Answer seT programming sOlver) と呼ばれるマルチエージェントのエピステミック設定で推論できる。
aspパラダイムは、プランナー、w.r.t.その他の命令的実装の簡潔でエレガントな設計を可能にし、正確性の形式的検証の開発を容易にする。
本稿は, アドホックなエピステミック状態表現とASPソルバの効率を生かしたプランナーが, 文献から収集したベンチマークに対して, 競合的な性能を示すことを示す。
TPLPの受け入れは検討中である。
関連論文リスト
- KnowAgent: Knowledge-Augmented Planning for LLM-Based Agents [54.09074527006576]
大規模言語モデル(LLM)は複雑な推論タスクにおいて大きな可能性を証明していますが、より高度な課題に取り組むには不十分です。
この不適切さは、主に言語エージェントのアクション知識が組み込まれていないことに起因する。
我々は、明示的な行動知識を取り入れることで、LLMの計画能力を高めるために設計された新しいアプローチであるKnowAgentを紹介する。
論文 参考訳(メタデータ) (2024-03-05T16:39:12Z) - VisualWebArena: Evaluating Multimodal Agents on Realistic Visual Web
Tasks [96.9727427788202]
VisualWebArenaは、マルチモーダルWebエージェントのパフォーマンスを現実的なタスクで評価するために設計されたベンチマークである。
このベンチマークを実行するには、イメージテキスト入力を正確に処理し、自然言語命令を解釈し、ユーザが定義した目的を達成するためにウェブサイト上でアクションを実行する必要がある。
論文 参考訳(メタデータ) (2024-01-24T18:35:21Z) - Exploring Large Language Model based Intelligent Agents: Definitions,
Methods, and Prospects [32.91556128291915]
本稿では, シングルエージェントおよびマルチエージェントシステムにおける知的エージェントの詳細な概要を提供するため, 現在の研究状況について調査する。
定義、研究フレームワーク、その構成、認知と計画方法、ツール利用、環境フィードバックに対する反応などの基礎的な構成要素を網羅する。
我々は、AIと自然言語処理の進化の展望を考慮し、LLMベースのエージェントの展望を思い浮かべて結論付ける。
論文 参考訳(メタデータ) (2024-01-07T09:08:24Z) - Pangu-Agent: A Fine-Tunable Generalist Agent with Structured Reasoning [50.47568731994238]
人工知能(AI)エージェント作成の鍵となる方法は強化学習(RL)である
本稿では,構造化推論をAIエージェントのポリシーに統合し,学習するための一般的なフレームワークモデルを提案する。
論文 参考訳(メタデータ) (2023-12-22T17:57:57Z) - The Rise and Potential of Large Language Model Based Agents: A Survey [91.71061158000953]
大規模言語モデル(LLM)は、人工知能(AGI)の潜在的な火花と見なされる
まず、エージェントの概念を哲学的起源からAI開発まで追跡し、LLMがエージェントに適した基盤である理由を説明します。
単一エージェントシナリオ,マルチエージェントシナリオ,ヒューマンエージェント協調の3つの側面において,LLMベースのエージェントの広範な応用について検討する。
論文 参考訳(メタデータ) (2023-09-14T17:12:03Z) - Neuro-Symbolic Causal Language Planning with Commonsense Prompting [67.06667162430118]
言語プランニングは、より単純な低レベルステップに分解することで、複雑な高レベルな目標を実装することを目的としている。
以前の手法では、大規模な言語モデルからそのような能力を得るために、手動の例えか注釈付きプログラムが必要である。
本稿では,LLMからの手続き的知識をコモンセンス・インフュージョン・プロンプトにより引き起こすニューロシンボリック因果言語プランナー(CLAP)を提案する。
論文 参考訳(メタデータ) (2022-06-06T22:09:52Z) - Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested
Belief [27.524600740450126]
我々は, 一つのエージェントの観点から, ネストされた信念, 非同質なエージェント, 共同表現観察, あるいはあるエージェントが別のエージェントであるかのように推論する能力を含む, 目標と行動の可能性を秘めている。
提案手法は,複数エージェントのネストされた信念を含む計画課題に,十分に確立された自動計画分野を適用するための重要なステップである。
論文 参考訳(メタデータ) (2021-10-06T03:24:01Z) - Comprehensive Multi-Agent Epistemic Planning [0.0]
この写本は、MEP(Multi-Adnt Epistemic Planning)として知られる特殊な計画に重点を置いている。
EPは、エージェントが知識/信任状態の空間で理由付けを行い、開始状態から望ましい状態に到達する計画を見つけようとする自動計画環境を指す。
その一般的な形であるMEP問題(英語版)は、世界の状態とエージェント間の情報の流れの両方を推論する必要がある複数のエージェントを含んでいる。
論文 参考訳(メタデータ) (2021-09-17T01:50:18Z) - Conflict-driven Inductive Logic Programming [3.29505746524162]
帰納的論理プログラミング(ILP)の目標は、一連の例を説明するプログラムを学ぶことである。
近年まで、ICPがターゲットとするPrologプログラムの研究がほとんどである。
ILASP システムは代わりに Answer Set Programs (ASP) を学ぶ
論文 参考訳(メタデータ) (2020-12-31T20:24:28Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。