学术活动 | 北大哲学系一周学术活动一览(9.2—9.8)

文摘   2024-09-01 20:06   北京  

2024.9.2—9.8

学术活动

一览


1

2024.9.2


Two Talks on Multi-agent 
Epistemic Logics

系列    逻辑前沿问题讨论班


主讲人Thomas Studer (伯尔尼大学);

                   Jieting Luo (浙江大学)


时间     2024.9.2    09:30

——方式        线下


地点        李兆基人文学苑2号楼206


简介      


Title of the Talk by Thomas Studer:

Simplicial Models for Epistemic Logic

Abstract of the Talk by Thomas Studer:
Distributed knowledge of a group is often modeled as the knowledge that the group would have if the agents shared all their individual knowledge. However, this interpretation does not account for relations between agents. In this talk, we propose the notion of synergistic knowledge, which makes it possible to model different relationships between agents, e.g., groups of agents having access to shared objects. As an example, we discuss the problem of dining cryptographers. We will also introduce simplicial models for epistemic logic, as the semantics for synergistic knowledge is based on semi-simplicial sets.

Title of the Talk by Jieting Luo:
Providing Personalized Explanations: a Conversational Approach

Abstract of the Talk by Jieting Luo:
The increasing applications of AI systems require personalized explanations for their behaviors to various stakeholders since the stakeholders may have various backgrounds. In general, a conversation between explainers and explainees not only allows explainers to obtain the explainees' background, but also allows explainees to better understand the explanations. In this paper, we propose an approach for an explainer to communicate personalized explanations to an explainee through having consecutive conversations with the explainee. We prove that the conversation terminates due to the explainee's justification of the initial claim as long as there exists an explanation for the initial claim that the explainee understands and the explainer is aware of.




供稿 | 各教研室

排版 | 刘枫林

审核 | 王彦晶

发布 | 刘枫林


北京大学哲学系宗教学系
北京大学哲学系宗教学系的官方公众号。负责发布北京大学哲学系宗教学系的新闻、通知以及相关文章。
 最新文章