[論文レビュー] Interactions as Social Practices: towards a formalization

Frank Dignum|arXiv (Cornell University)|Sep 24, 2018

Multi-Agent Systems and Negotiation参考文献 20被引用数 9

ひとこと要約

本稿は、複雑でマルチエージェントの相互作用において、エージェント行動をガイドする高水準で文脈に配慮した規定として社会的慣習を形式的論理に基づいてモデル化するフレームワークを提案する。役割、規範、能力、戦略をモーダル論理とADICO文法を用いて符号化することで、エージェントは明示的な調整なしに期待される行動を推論し、効率的に行動計画を立てることができ、動的で変化しやすい社会的状況における意思決定のオーバーヘッドを顕著に低減する。

ABSTRACT

Multi-agent models are a suitable starting point to model complex social interactions. However, as the complexity of the systems increase, we argue that novel modeling approaches are needed that can deal with inter-dependencies at different levels of society, where many heterogeneous parties (software agents, robots, humans) are interacting and reacting to each other. In this paper, we present a formalization of a social framework for agents based in the concept of Social Practices as high level specifications of normal (expected) behavior in a given social context. We argue that social practices facilitate the practical reasoning of agents in standard social interactions.

研究の動機と目的

• 固定されたプロトコルでは不十分な、多様なエージェント（人間、ロボット、ソフトウェアエージェント）間における複雑で文脈依存の社会的相互作用をモデル化する課題に対処すること。
• エージェントの認知的・計算的負担を軽減するため、社会的慣習を高水準で共有される行動のテンプレートとして用いること。
• モーダル論理とADICO文法を用いて社会的慣習を形式化し、役割、規範、能力、戦略を明確に指定すること。
• 共有される期待に基づいて期待される行動を推論し、行動計画を立てる能力をエージェントに与え、明示的な調整の必要を最小限に抑えること。
• 有用な社会的慣習が、互換性のある能力と規制された相互作用の順序によって、実行の保証が得られることを示すこと。

提案手法

• モーダル論理に基づく形式的フレームワークを用いて社会的慣習を形式化し、道徳的および動的モーダルを備えた「エージェント組織の論理（LAO）」を拡張する。
• 社会的慣習を、役割、行動、規範、戦略、文脈、能力を含む構造的オペレータとして定義する。
• ADICO文法（属性、道徳的、意図、条件、さもなければ）を用いて規範（ADIC）、戦略（AIC）、ルール（ADICO）を指定する。
• 計画における達成すべき重要なポイント（ランドマーク）を導入し、計画の抽象化と複雑さの低減を可能にする。
• モーダルを用いて期待を符号化する：O(r,φ,γ) は義務を表し、F(r,φ,γ) は禁止を表す。ここで r は役割、φ は文脈、γ は行動を表す。
• 「有用な」社会的慣習を、少なくとも1つの実行可能な経路を有し、戦略によって規制された役割間の行動順序を備えたものとして定義する。

実験結果

リサーチクエスチョン

• RQ1 複雑で文脈に敏感な相互作用において、エージェント計画を支援するための社会的慣習をどのように形式的に表現できるか？
• RQ2 共有される社会的文脈において、役割、規範、能力、期待される行動を符号化するために必要な論理的構成要素は何か？
• RQ3 動的で多様な環境において、エージェント間の明示的調整の必要をどのように社会的慣習が低減できるか？
• RQ4 社会的慣習が実行可能でかつ結果が予測可能であるための条件は何か？
• RQ5 エージェントは、完全な再計画なしに、社会的慣習をどのように用いて意思決定をガイドできるか？

主な発見

• 社会的慣習の形式的論理フレームワークにより、エージェントは共有された高水準の社会的規範と役割に基づいて、期待される行動を推論し、行動計画を立てる能力が得られる。
• ADICO文法の使用により、社会的慣習内での規範、戦略、ルールの正確な指定が可能となり、構造的かつ予測可能なエージェント行動を支援する。
• ランドマークとモーダル論理により計画における抽象化が可能になり、低水準の行動をすべて明示的に表現する必要がなくなる。
• 「有用な」社会的慣習は、少なくとも1つの実行可能な経路を保証し、埋め込まれた戦略によって役割間の行動順序を規制する。
• エージェントは役割固有の期待に基づいて、期待される結果を推論し、明示的な調整なしに適切に対応（例：質問を投げかける）できる。
• このフレームワークは、固定されたプロトコルが不適切な分野、例えば人間-ロボット協働やコンpanionロボットにおいて、文脈に配慮した柔軟な相互作用をサポートする。