• 한국지능시스템학회논문지
• /
• 제27권1호
• /
• pp.7-14
• /
• 2017

이론적으로 분산 비동기 통신 환경에서 공통믿음 또는 공통지식의 형성은 불가능하다고 받아들여져 왔으나, 서로 신뢰하는 에이전트 그룹에서는 비동기 통신을 사용하더라도 데드라인이 있는 명제들은 공통믿음이 될 수 있고 이를 바탕으로 한 추론이 가능함을 보여준다. 일반적으로 멀티에이전트 환경에서 공통믿음의 형성은 통신의 문제로 접근하며 통신 시간의 제약이 없는 시스템 상에서는 공통믿음이 형성되지 않는다는 공통믿음 역설 문제를 느슨한 정밀도를 적용하고 필요한 요구조건을 완화시켜 공통믿음을 형성 할 수 있음을 카카오톡 채팅방 모델을 통해 확인한다. 또한 카카오톡 채팅방 모델의 각 에이전트에 추론 기능을 구현하여 생성된 공통믿음을 알고 있는지에 관한 질의를 통해 공통믿음임을 확인하는 추론 기능을 실험하였다. 분산 멀티에이전트 환경에서 공통믿음의 표현과 추론을 메타논리 프로그래밍으로 형식화하였으며, 카카오톡 채팅방 모델을 통해 비동기 통신을 사용하는 분산 에이전트 그룹이 공통믿음을 형성할 수 있음을 실험적으로 보였다.