[논문 리뷰] Social Practices: a Complete Formalization

Frank Dignum|arXiv (Cornell University)|2022. 05. 22.

Multi-Agent Systems and Negotiation인용 수 4

한 줄 요약

이 논문은 다중 에이전트 시스템에서 사회적 관행을 고수준의, 맥락 인식 가능한 행동 명세로 모델링하기 위한 형식적 논리 기반 프레임워크를 제시한다. 기대, 역할, 규범, 맥락을 모달 논리로 표현함으로써, 에이전트는 사전 정의된 프로토콜 없이도 복잡한 사회적 상호작용을 추론하고 적응할 수 있으며, 동적인 환경에서 인간과 유사한 의사결정을 유연하게 수행할 수 있도록 한다.

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 on 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. Thus they can support deliberations for complex situations just like conventions and norms. However, they also come with a social context that gives handles for social planning and deliberation in top of the normal functional deliberation. The main goal of this paper is to give a formalization of social practices that can be used as a basis for implementations and defining precise structures within which social learning can take place.

연구 동기 및 목표

• 사회적, 규범적, 맥락적 차원을 모두 포괄하는 형식적이고 논리 기반의 사회적 관행 모델을 개발하는 것.
• 고정된 프로토콜이 아닌 고수준의 행동 패tern을 기반으로 에이전트가 사회적 상호작용을 추론할 수 있도록 하는 것.
• 인간과 유사한 유연성을 필요로 하는 복잡하고 동적인 환경에서 실용적 추론을 지원하는 것.
• 에이전트, 로봇, 인간-컴퓨터 시스템에서 사회지능을 위한 정확하고 구현 가능한 기반을 제공하는 것.
• 에이전트 계획에 직접적으로 사회적 맥락을 통합함으로써 사회적 학습과 논의를 체계화하는 것.

제안 방법

• 기대, 능력, 역할, 규범, 맥락에 대한 조건을 포함한 형식적 논리 프레임워크를 사용하여 사회적 관행을 표현한다.
• 사회적 관행을 역할, 행동, 규범, 맥락적 제약의 구조적 조합으로 정의한다.
• 에이전트의 의도, 사회적 기대, 환경적 맥락 간의 상호작용을 포착하기 위해 모달 논리에 기반한 형식적 의미 이론을 도입한다.
• 에이전트가 상황 인식과 능력 매칭에 기반해 상황에 맞게 구현할 수 있는 추상적 계획으로 사회적 관행을 모델링한다.
• 에이전트가 자신의 목표와 능력을 활용해 관행의 '공백'을 메울 수 있도록 함으로써 논의를 지원한다.
• 간단함을 위해 사회적 관행을 고정된 것으로 간주하지만, 향후 동적 부상 및 학습을 지원하기 위한 확장 가능성을 제안한다.

실험 결과

연구 질문

• RQ1 어떻게 복잡하고 맥락에 민감한 상호작용에서 에이전트의 논의를 지원할 수 있는 방식으로 사회적 관행을 형식화할 수 있는가?
• RQ2 사회적 관행 내에서 역할, 기대, 규범, 맥락적 의존성을 인코딩하기 위해 필요한 논리적 구성 요소는 무엇인가?
• RQ3 어떻게 사회적 관행을 사용하여 고정된 프로토콜이나 완전한 반응적 계획에 의존하지 않고 행동을 유도할 수 있는가?
• RQ4 기존의 규범이나 관례와 비교했을 때, 사회적 관행은 인간-에이전트 상호작용을 더 자연스럽고 적응적으로 만들 수 있는가?
• RQ5 사회적 관행는 어떻게 인지 아키텍처에 통합되어 사회적 학습과 장기적 상호작용을 지원할 수 있는가?

주요 결과

• 형식화는 인지 아키텍처에 구현 가능한 정확한 논리 기반의 사회적 관행 사양을 제공한다.
• 사회적 관행는 규범적 기대와 상황 적응 사이의 균형을 유지하면서 사회적 맥락 내에서 에이전트가 민첩하게 추론할 수 있도록 한다.
• 에이전트가 자신의 능력과 의도에 기반해 추상적 관행를 구현할 수 있도록 함으로써 실용적 추론을 지원한다.
• 저수준의 행동 시퀀스에서 벗어나 사회적 일관성을 유지하면서도 상호작용 모델링의 복잡성을 줄인다.
• 예를 들어 상점에서 판매원을 찾는 것처럼, 사회적 관행에 연결된 기대를 유도함으로써 인지 및 주의 집중을 촉진한다.
• 반복적인 관행 사례에서의 적응과 학습을 모델링하기 위해 확률적 구성 요소를 추가로 확장할 수 있다.