[論文レビュー] Signifiers as a First-class Abstraction in Hypermedia Multi-Agent Systems

Danai Vachtsevanou, Andrei Ciortea+2 more|arXiv (Cornell University)|Feb 14, 2023

Multi-Agent Systems and Negotiation被引用数 4

ひとこと要約

本稿では、ハイパーキューブマルチエージェントシステムにおける自律的エージェントがWeb上のアフォーダンスについて推論し、能動的に活用できるようにするため、サインファイアを一等級の抽象化として導入する。文脈に応じたメカニズムを通じて、エージェントの推論能力（例：BDIやSTRIPS計画）に適合した動的な機械可読サインファイアを公開することで、開かれたかつ進化する環境における効果的かつ効率的な相互作用が向上し、プロトタイプのロボットワークステーションで実証された。

ABSTRACT

Hypermedia APIs enable the design of reusable hypermedia clients that discover and exploit affordances on the Web. However, the reusability of such clients remains limited since they cannot plan and reason about interaction. This paper provides a conceptual bridge between hypermedia-driven affordance exploitation on the Web and methods for representing and reasoning about actions that have been extensively explored for Multi-Agent Systems (MAS) and, more broadly, Artificial Intelligence. We build on concepts and methods from Affordance Theory and Human-Computer Interaction that support interaction efficiency in open and evolvable environments to introduce signifiers as a first-class abstraction in Web-based MAS: Signifiers are designed with respect to the agent-environment context of their usage and enable agents with heterogeneous abilities to act and to reason about action. We define a formal model for the contextual exposure of signifiers in hypermedia environments that aims to drive affordance exploitation. We demonstrate our approach with a prototypical Web-based MAS where two agents with different reasoning abilities proactively discover how to interact with their environment by perceiving only the signifiers that fit their abilities. We show that signifier exposure can be inherently managed based on the dynamic agent-environment context towards facilitating effective and efficient interactions on the Web.

研究の動機と目的

• 現在のハイパーキューブクライアントの再利用性が限定的であるという問題に取り組む。これは、HATEOASに従ったアフォーダンス発見が可能であっても、計画や推論能力に欠けているためである。
• サインファイアを概念的かつ形式的な抽象化として導入することで、ハイパーキューブ駆動の相互作用とAI計画・推論手法を統合する。
• 異種の推論能力（例：BDI、STRIPS）を持つエージェントが、自らの能力に適合したサインファイアのみを動的に認識・活用できるようにする。
• エージェントと環境の文脈に応じて適応的に変化する、文脈的サインファイア公開の形式的メカニズムを形式化し、相互作用の効率性と有効性を向上させる。
• ロボットアームを搭載したプロトタイプのハイパーキューブベースマルチエージェントシステムを用いて、本アプローチの実現可能性と利点を実世界で示す。

提案手法

• アフォーダンスに関する高レベルの意味的ヒントを符号化する一等級の抽象化としてサインファイアを提案し、エージェントが解釈可能かつ発見可能であるように設計する。
• エージェントの能力と環境的文脈に基づく、サインファイアの文脈的公開の形式的モデルを定義し、関連するサインファイアのみが認識されるように保証する。
• HATEOASの原則とサインファイア公開を統合し、状態保持的かつ動的な方法でハイパーキューブリンクを通じてアフォーダンスを発見・活用できるようにする。
• 推論能力（例：PRSやSTRIPSに類似した計画）を含むエージェントプロファイルに基づき、サインファイアを中継・フィルタリングするためのセマンティック公開モジュール（SEM）を採用する。
• エージェント実装にはJaCaMoを用い、ロボットアームのモデル化とそのアフォーダンスを機械可読かつハイパーキューブ準拠の形式で記述するためのThing Descriptionsを活用する。
• BDI最適化、STRIPS最適化、および一般型の3種類のサインファイアを設計し、異なるエージェントの推論能力に適合させ、カスタマイズされた相互作用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてサインファイアをハイパーキューブベースマルチエージェントシステムにおける推論と行動計画を支援する一等級の抽象化として形式化できるか？
• RQ2 エージェントと環境の文脈に応じてサインファイア公開を動的に適応させることで、相互作用の効率性と有効性をどのように向上させられるか？
• RQ3 異なる推論能力（例：BDI対STRIPS）を持つエージェントが、共有でオープンな環境においてアフォーダンスをどのように発見・活用できるか？
• RQ4 サインファイアは、ハイパーキューブ駆動の自律的エージェントにおいて、行動論理と実装詳細をどの程度分離可能にするか？
• RQ5 文脈に応じたサインファイア公開メカニズムは、豊富なアフォーダンスを有するWeb環境において、能動的かつ目的指向の相互作用発見を支援できるか？

主な発見

• BDI推論能力を持つエージェントは、手続き的推論システム（PRS）に適合したサインファイアのみを効果的に発見・活用し、低レベルの制御知識なしにピックアンドプレースタスクを実行できた。
• STRIPSに類似した計画器を搭載したエージェントは、事前条件と効果を明示するアクション仕様を備えたサインファイアのみを認識し、それらを用いて新しいピックアンドプレース計画を合成した。
• セマンティック公開モジュール（SEM）は、エージェントプロファイルに基づき、文脈的に関連するサインファイアのみを効果的にフィルタリング・公開した。これは、能力に応じた動的で文脈に適応したサインファイア公開の実現を示している。
• 本システムにより、異なる推論能力を持つ2つのエージェントが、干渉や不要な情報の過剰公開が生じることなく、同じハイパーキューブ環境で効果的に共存・相互作用できた。
• 文脈的サインファイア公開の形式的モデルは、実世界のロボットワークステーションで妥当性が確認され、サインファイアが開かれたかつ進化するシステムにおけるエージェント-環境相互作用を効果的に仲介できることを示した。
• 本アプローチにより、サインファイアが、異種エージェントがWebベースのMASにおいて動的にアフォーダンスを発見・活用できるようにするスケーラブルかつ再利用可能な抽象化レイヤーとして機能することが実証された。