Browse > Article
http://dx.doi.org/10.5391/JKIIS.2017.27.1.007

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)
Publication Information
Journal of the Korean Institute of Intelligent Systems / v.27, no.1, 2017 , pp. 7-14 More about this Journal
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
Common Beliefs; Metalogic Programming; Asynchronous Communication; Multiagent System; KakaoTalk chatting;
Citations & Related Records
Times Cited By KSCI : 3  (Citation Analysis)
연도 인용수 순위
1 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.
2 Floor Sietsma and Krzysztof R. Apt, "Common Knowledge in Email Exchanges," ACM Transactions on Computational Logic, vol. 14, no. 3, article 23, 2013.
3 D.K. Lewis, Convention: A Philosophical Study, Harvard University Press, Cambridge (MA), 1969.
4 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.   DOI
5 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.   DOI
6 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.   DOI
7 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.   DOI
8 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.   DOI
9 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.
10 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.
11 Wesley H. Holliday, "Epistemic Logic and Epistemology," in the Handbook of Formal Philosophy, eds. S.O. Hansson and V.F. Hendricks, Springer, 2014.
12 Chimera Agents, Available:http://www.lpa.co.uk/ chi.htm, 2017, [Accessed: January 12, 2017].
13 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.   DOI
14 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.
15 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.   DOI
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.   DOI
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 R. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.
20 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.   DOI
21 Ronald Fagin, Joseph Y. Halpern, Yoram Moses and Moshe Y. Vardi. "Common Knowledge Revisited," in knowledge Contributors, springer, pp. 87-104, 2003.
22 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.
23 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.