논리프로그래밍을 이용한 카카오톡 채팅방 모델에서 공통지식 형성과 확산 (Common Knowledge Attainment and Diffusion in Group Chatting Model of KakaoTalk Using Logic Programming)

서지정보

· 발행기관 : 한국지능시스템학회
· 수록지 정보 : 한국지능시스템학회 논문지 / 28권 / 3호 / 294 ~ 303페이지
· 저자명 : 김군오

초록

분산 시스템에서 공통지식의 형성은 이론적으로 불가능하다고 증명되어왔다. 그러나 현실적인 가정을 전제로 한 에이전트그룹에서 시간적 제약이 없는 명제이거나 우호적이고 협동적인 에이전트들의 경우 카카오톡과 같은 채팅 환경에서에이전트들의 공통지식이 형성될 수 있음을 보인다. 각 에이전트는 논리 프로그래밍으로 표현한 규칙의 집합으로 추상화한다. 그리고 지식이나 믿음과 같은 인식론적 개념은 정리증명을 통한 메타논리로 형식화 한다. 공통지식을 나타내기위해 메타논리 프로그래밍으로 확장하고 몇 가지 사례를 통해 그 타당성을 보인다. 멀티 에이전트의 공통지식 형성을위해 우호적, 협동적, 그리고 신의 있는 에이전트라는 세 가지 특징을 정의하고 이에 관한 성질들을 증명한다. 카카오톡모델에서 공통지식이 한 그룹 채팅방에서 다른 그룹 채팅방으로 확산될 수 있음을 확인한다. 명제가 공통지식일 때 대응하는방향그래프는 완전 그래프임도 증명한다. 사례 중 하나를 구현하여 본 연구의 형식론적 접근의 실용적 가능성을 보인.다

영어초록

The attainment of common knowledge in distributed systems has proven to be theoretically impossible. however, common knowledge of agents in chatting environment such as KakaoTalk can be attain when a group of agents assuming some realistic assumption has a proposition without a time constraint in common or agents are all friendly and cooperative. Each agent abstracts into a set of rules expressed in logic programming. and epistemological concepts such as knowledge and belief are represented as meta-logical predicates through proofs of theorem. It expands to meta-logic programming to formalize common knowledge and validates it through a few examples. We define three characteristics of congenial, cooperative, and faithful agents for the formation of common knowledge of multiagents and prove their properties. In the KakaoTalk model, we confirm that common knowledge can be diffusion from one group chat room to another. We also prove that a common knowledge can be represented as directed complete graph. One of the examples is implemented to show thper actical possibility of the formal approach of this study.

참고자료

· 없음