[논문 리뷰] Facebook and the Epistemic Logic of Friendship

Jeremy Seligman, Fenrong Liu외 1명|arXiv (Cornell University)|2013. 10. 24.

Logic, Reasoning, and Knowledge참고 문헌 14인용 수 24

한 줄 요약

이 논문은 Facebook과 같은 플랫폼에서의 지식과 우정 관계를 모델링하기 위해 일반 동적 동적 논리(GDDL)를 사용하는 이차원 동적 지식론적 논리 프레임워크를 제안한다. '나는 너의 친구다'와 같은 인덱시컬 문장과 '내 친구들이 위험에 빠졌어'와 같은 그룹 기반 지식을 형식화하여 대칭적 우정 네트워크에서 사회적 지식 동역학을 추론하기 위한 정밀한 논리 언어를 제공한다.

ABSTRACT

This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric 'friendship' relation, providing a precise language for exploring 'logic in the community' [11]. Agents are placed in the model, allowing us to express such indexical facts as 'I am your friend' and 'You, my friends, are in danger'. The technical framework for this work is general dynamic dynamic logic (GDDL) [4], which provides a general method for extending modal logics with dynamic operators for reasoning about a wide range of model-transformations, starting with those definable in propositional dynamic logic (PDL) and extended to allow for the more subtle operators involved in, for example, private communication, as represented in dynamic epistemic logic (DEL) and related systems. We provide a hands-on introduction to GDDL, introducing elements of the formalism as we go, but leave the reader to consult [4] for technical details. Instead, the purpose of this paper is to investigate a number of conceptual issues that arise when considering communication between agents in such networks, both from one agent to another, and broadcasts to socially-defined groups of agents, such as the group of my friends.

연구 동기 및 목표

• 대칭적 우정 네트워크에서 지식과 사회적 관계를 추론하기 위한 형식적 논리를 개발하기 위해.
• 소셜 미디어 환경에서 인덱시컬 및 그룹 기반 지식 표현을 모델링하는 데 도전하는 데 대해.
• 동적 논리를 지식론적 논리와 통합하여 네트워크 내에서 변화하는 사회적 지식을 모델링하기 위해.
• 사회 네트워크 추론의 기초가 되는 '공동체의 논리'를 위한 개념적 및 기술적 프레임워크를 제공하기 위해.
• 소통과 관계 변화가 소셜 네트워크에서 집단적 및 개인적 지식에 어떻게 영향을 미치는지 탐구하기 위해.

제안 방법

• 논문은 동적 연산자를 갖춘 모odal 논리를 확장하기 위한 기초 프레임워크로 일반 동적 동적 논리(GDDL)를 사용한다.
• Kripke 스타일의 관계적 구조 내에서 에이전트와 그들의 대칭적 우정 관계를 모델링한다.
• 동적 연산자를 사용하여 시간에 따라 우정 관계와 지식 상태의 변화를 표현한다.
• 에이전트 중심의 시각을 모델에 통합함으로써 '나는 너의 친구다'와 같은 인덱시컬 표현을 지원한다.
• 특정 그룹(예: '내 친구들')에 대한 브로드캐스트 통신을 그룹 전용 동적 행동을 사용하여 통합한다.
• 네트워크 변화 이후 개인 및 집단 지식에 대한 추론을 가능하게 하는 형식적 체계를 제공한다.

실험 결과

연구 질문

• RQ1 어떻게 소셜 네트워크 환경에서 '나는 너의 친구다'와 같은 인덱시컬 지식 문장을 공식적으로 표현할 수 있는가?
• RQ2 대칭 네트워크에서 우정 관계가 업데이트될 때 지식과 신념은 어떻게 변화하는가?
• RQ3 사용자 친구들에게 브로드캐스트하는 것과 같은 그룹 기반 통신을 모델링하기 위해 필요한 논리적 메커니즘은 무엇인가?
• RQ4 대칭적 관계를 갖는 소셜 네트워크 구조를 다룰 수 있도록 동적 지식론적 논리를 어떻게 확장할 수 있는가?
• RQ5 소셜 네트워크 내에서 '공동체의 논리'를 모델링할 때 개념적 및 형식적 과제는 무엇인가?

주요 결과

• 제안된 GDDL 기반 프레임워크는 우정 관계의 동적 변화와 그 지식론적 결과를 성공적으로 모델링한다.
• 이중 차원 모델에서 인덱시컬 연산자를 통해 '나는 너의 친구다'와 같은 에이전트 중심의 문장을 표현할 수 있다.
• 그룹 기반 동적 행동을 모델링함으로써 '내 친구들이 위험에 빠졌어'와 같은 집단 지식에 대한 추론이 가능해진다.
• 논문은 GDDL가 지식론적 논리를 소셜 네트워크 동역학으로 확장하는 데 있어 민첩하고 일반적인 방법을 제공함을 보여준다.
• 이 접근법은 대칭적 관계와 브로드캐스트 통신을 포함하는 맥락에서 소셜 지식을 분석하기 위한 형식적 언어를 제공한다.