11月25日熊作军报告:A Logic of Arbitrary Multicast-messages in Social Networks

发布时间:2016-11-17 来源:本站原创 作者:本站编辑   浏览次数:

11月25日现代逻辑讨论班


标题:A Logic of Arbitrary Multicast-messages in Social Networks

主讲人:熊作军(University of Bergen)

时间:2016年11月25日(周五)19:00-21:00

地点:第三教学楼3203


Abstract:A social network can be understood as a structure made up of a finite set of agents, and sets of social relations among agents. An agent sending messages (information) to some agents by social relations is called a multicast. We have described a logic of reasoning under two types of multicast (specific, arbitrary) in social networks. Since the logic is not compact, generating the Lindenbaum's Lemma under normal ( finitary ) proof system is impossible. We have built an infinitary proof system for the logic, and proved the strongly completeness, whereas showed the weakly completeness under the finitary proof system.

AML-ZUOJUN.pdf