Journal of the Korean Institute of Intelligent Systems (한국지능시스템학회논문지)

Korean Institute of Intelligent Systems (한국지능시스템학회)
권호 표지
DOI QR코드

DOI QR Code

Achieving and Reasoning about Common Beliefs based on Social Networking Services: on the Group Chatting Model of KakaoTalk

소셜 네트워크에서 공통믿음의 형성과 추론: 카카오톡 채팅방을 중심으로

  • Kim, Koono (Global Leadership School, Handong University)
  • 김군오 (한동대학교 글로벌리더십학부)
  • Received : 2017.01.18
  • Accepted : 2017.02.18
  • Published : 2017.02.25
Download PDF
⟨ Previous Next ⟩

Abstract

Theoretically, it is known that common beliefs and/or common knowledge cannot be attained in asynchronously distributed multiagent environments, however, it show that some propositions with deadlines can be attained as common beliefs among a set of fully trusted agents even when they communicate to each other asynchronously. Generally, in the multiagent environment, the attainment of common beliefs is approached as a problem of communication, and for the common beliefs paradox that the common beliefs is not attained on a system without communication time restriction is applied to loose coarser granularity and it prove that forming common beliefs is possible by relaxing necessary requirements through the KakaoTalk chatting model. I also experimented with the reasoning function that confirms the common beliefs by inquiring about the common belief generated by implementing the inference function in each agent of the KakaoTalk chatting model. Through utilizing metalogic programming, a formalization of the presentation and reasoning of common beliefs has been achieved, and the group chatting model of KakaoTalk was adopted in experiments to show that common beliefs can be formed among distributed agents using asynchronous communication.

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

Keywords

References

  1. K.A. Thomas, P. DeScioli, O.S. Haque and S. Pinker, "The Psychology of Coordination and Common Knowledge," Journal of Personality and Social Psychology, Vol. 107, No. 4, pp.657-676, 2014. https://doi.org/10.1037/a0037037
  2. R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.
  3. J.Y. Halpern and Y. Moses, "Knowledge and common knowledge in a distributed environment," in Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing (PODS), 1984, pp. 50-61. A newer version appeared in the Journal of the ACM, vol. 37:3, pp. 549-587, 1990. https://doi.org/10.1145/79147.79161
  4. Ronald Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi. "Common Knowledge Revisited," in knowledge Contributors, springer, pp. 87-104, 2003.
  5. Ronald Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi, "Common Knowledge Revisited," Annals of Pure and Applied Logic 96, pp. 89-105, 1999.
  6. Gizem Korkmaz, Chris J. Kuhlman and Achla Marathe. "Collective Action Through Common Knowledge Using A Facebook Model," Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), May 5-9, pp. 253-260, 2014.
  7. Gizem Korkmaz, Chris J. Kuhlman, S. S. Ravi and Fernando Vega-Redondo, "Approximate Contagion Model of Common Knowledge on Facebook", HT' Proceedings of the 27th ACM Conference on Hypertext and Social Media, July 10-13, pp. 231-236, 2016.
  8. Floor Sietsma and Krzysztof R. Apt, "Common Knowledge in Email Exchanges," ACM Transactions on Computational Logic, vol. 14, no. 3, article 23, 2013.
  9. D.K. Lewis, Convention: A Philosophical Study, Harvard University Press, Cambridge (MA), 1969.
  10. Robert Moore, "A Formal Theory of Knowledge and Belief," in Formal Theories of the Commonsense World (Hobbs J. and Moore R.C., editors), Ablex Pub. Corp., pp. 319-358, 1985.
  11. Hans van Ditmarsch, Jan van Eijck and Rineke Verbrugge, "Common Knowledge and Common Belief," in Discourses on social software, Amsterdam University Press, pp. 99-122, 2009.
  12. Wesley H. Holliday, "Epistemic Logic and Epistemology," in the Handbook of Formal Philosophy, eds. S.O. Hansson and V.F. Hendricks, Springer, 2014.
  13. Chimera Agents, Available:http://www.lpa.co.uk/ chi.htm, 2017, [Accessed: January 12, 2017].
  14. Gil Neiger and Sam Toueg. "Simulating Synchronized Clocks and Common Knowledge in Distributed Systems," Journal of the ACM, Vol 40, No 3, pp. 334-367, April 1993. https://doi.org/10.1145/151261.151267
  15. Kowalski, R. A. and Kim, J. S., "A metalogic programming approach to multi-agent knowledge and belief," in Artificial Intelligence and Mathematical Theory of Computation, edited by V. Lifschitz (NewYork: Academic Press), 1991.
  16. Paolo Mancarella, Alessandra Raffaeta, and Franco Turini, "Knowledge representation with multiple logical theories and time," Journal of Experimental & Theoretical Artificial Intelligence, vol. 11, no. 1, pp. 47-76, 1999. https://doi.org/10.1080/095281399146616
  17. Michael Chwe, "Mark Zuckerberg wants people to understand common knowledge. What's common knowledge?", Available: https://www.washington post.com/blogs/monkey-cage/wp/2015/04/08/mar k-zuckerberg-wants-people-to-understand-common-knowledge-whats-common-knowledge/, 2015, [Accessed: January 12, 2017].
  18. Scott Aaronson, "Common Knowledge and Aumann's Agreement Theorem", Available: http://www.scottaaronson.com/blog/?p=2410, 2015, [Accessed: January 12, 2017]
  19. Ernest Davis and Gary Marcus, "Commonsense reasoning and commonsense knowledge in artificial intelligence," Communications of the ACM, vol. 58, issue 9, pp. 92-103, 2015. https://doi.org/10.1145/2701413
  20. In-Hun Jang and Kwee-Bo Sim, "Multi Agent System (MAS) Framework for Home Network Application," Journal of The Korean Institute of Intelligent Systems, Vol. 17, No. 1, pp. 80-85, 2007. https://doi.org/10.5391/JKIIS.2007.17.1.080
  21. Young Im Cho, "An Intelligent Web based e-Learning Multi Agent System," Journal of The Korean Institute of Intelligent Systems, Vol. 17, No. 1, pp. 39-45, 2007. https://doi.org/10.5391/JKIIS.2007.17.1.039
  22. Myung-Jin Lee and Jin-Sang Kim, "A Negotiation Mechanism for BDI Agents in Distributed Cooperative Environments," Journal of The Korean Institute of Intelligent Systems, Vol. 13, No. 2, pp. 192-199, 2003. https://doi.org/10.5391/JKIIS.2003.13.2.192
  23. Eun Gyung Kim, "An Approach to Generate A Theory of Coordination for Multi-Agent Systems," International Journal of Fuzzy Logic and Intelligent Systems, Vol. 4, No. 3, pp. 277-282, 2004. https://doi.org/10.5391/IJFIS.2004.4.3.277