[논문 리뷰] Interactions as Social Practices: towards a formalization

Frank Dignum|arXiv (Cornell University)|2018. 09. 24.

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은 역할, φ는 맥락, γ는 행동이다.
• 최소한 하나의 실행 가능한 경로가 있고 전략을 통해 역할 간 행동 순서가 규제되는 사회적 관행를 '유용한' 것으로 정의한다.

실험 결과

연구 질문

• RQ1 어떻게 복잡하고 맥락 민감한 상호작용에서 에이전트 계획을 지원하기 위해 사회적 관행를 형식적으로 표현할 수 있는가?
• RQ2 공동 사회적 맥락에서 역할, 규범, 능력, 예상 행동을 인코딩하기 위해 필요한 논리적 구성 요소는 무엇인가?
• RQ3 다양하고 이질적인 환경에서 에이전트 간의 명시적 조율이 줄어들 수 있도록 사회적 관행는 어떻게 활용될 수 있는가?
• RQ4 사회적 관행가 실행 가능하고 결과가 예측 가능하도록 보장하기 위한 조건은 무엇인가?
• RQ5 에이전트는 완전한 반응적 재계획 없이 사회적 관행를 어떻게 활용하여 사고 과정을 이끌 수 있는가?

주요 결과

• 사회적 관행를 위한 형식 논리 프레임워크는 에이전트가 공유된 고수준의 사회적 규범과 역할에 기반하여 예상 행동을 추론하고 행동 계획을 수립할 수 있도록 한다.
• ADICO 문법의 사용은 사회적 관행 내에서 규범, 전략, 규칙를 정밀하게 사양할 수 있게 하여, 구조적이고 예측 가능한 에이전트 행동을 지원한다.
• 랜드마크와 모달 논리는 계획에서 추상화를 가능하게 하여 모든 저수준 행동을 명시적으로 표현할 필요를 줄인다.
• '유용한' 사회적 관행는 최소한 하나의 실행 가능한 경로를 보장하고 내장된 전략을 통해 역할 간 상호작용 순서를 규제함으로써 보장된다.
• 에이전트는 역할 기반 기대에 기반하여 예상 결과를 유추하고 명시적 조율 없이도 적절히 반응(예: 질문하기)할 수 있다.
• 이 프레임워크는 고정된 프로토콜이 불가능한 분야, 예를 들어 인간-로봇 협업 및 동반 로봇과 같은 맥락에서 맥락 인식 및 유연한 상호작용을 지원한다.