热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
王彦晶
2023-05-05 16:31
  • 王彦晶
  • 王彦晶 - 副教授-北京大学-哲学系-个人资料

近期热点

资料介绍

个人简历


个人简历:
王彦晶,男,1982年3月北京生人。2004年本科毕业于北京大学哲学系逻辑学专业,2006年获得荷兰阿姆斯特丹大学逻辑硕士学位(Cum Laude),2010年获得阿姆斯特丹大学逻辑学博士学位(博士研究在荷兰数学与计算机研究所CWI完成)。入选国家“万人计划”之青年拔尖人才支持计划。
已开设课程:《高级模态逻辑》、《动态逻辑》、《知识逻辑》、《哲学数学计算机中的逻辑》等。
希望自己能做到:Kp → KKp(知之为知之),~Kp → K~Kp(不知为不知),K∃xPx → ∃xKPx(知其然亦知其所以然)
长期的工作目标:反思与应用推动学科发展,真诚与务实促进制度创新
学术研究近况请见网站:
http://wangyanjing.com
一些正在做的工作的基本想法:
1 超越“知道如是”的知识逻辑:传统的知识逻辑主要关心“知道如是”(knowing that),而我们将“知道是否”、“知道是什么”、“知道如何”、“知道为何”等作为模态算子构造新的模态语言,参考哲学及语言学的讨论给出直观的语义,得到的新的一大类模态逻辑,它们通常是一阶或二阶模态逻辑的可判定片段,但是能避免很多量化模态逻辑的技术及哲学困难,具有良好的逻辑及计算性质,可以加深我们对于这些不同种类的知识的理解,并且引出一些新的逻辑技术,启发我们找到了一系列一阶模态逻辑的可判定片段,与诸多已知的逻辑有令人意想不到的关联,通过形式化的工作,对于相关的哲学问题也有一些新想法。欢迎加入我们,共同推进这个新领域!
2 基于不确定性的规划的逻辑方法:将时态知识逻辑与动态知识逻辑进行重组整合,取长补短,在模型中包括有穷表示的时态信息,而不确定性的更新通过类似动态知识逻辑的方式实现,从而得到了一系列具有良好计算性质的新逻辑,可以用来处理具有不确定性前提的自动规划问题。相比传统的AI方法,我们的逻辑方法不需要在复杂性上付出代价,但是用更直观的方式处理更加丰富的问题。
3 动态知识逻辑的公理化:传统方法依赖于所谓“归约公理”,很多证明系统忽视了归约公理之外的重要规则,对它们的完全性造成了影响。其实“规约公理”只是一个“美丽的巧合”,不用它们照样可以做动态知识逻辑的公理化,我们提出取道时态知识逻辑的一般办法,可以系统性地解决很多动态知识逻辑的公理化问题,同时也拓展了动态知识逻辑的范围,并且能对动态知识逻辑的本质有更深刻的认识。
4 非完美信息博弈模型的构建:博弈论中对非完美信息博弈的信息集有不同解释,有时会带来奇怪的现象,我们试图把博弈规则和参与者的假设分开,通过构造的方式计算博弈过程的信息集,避免模糊和矛盾的产生。
5 基于协议的知识逻辑:动作的意义来源于之前的协议约定(如 举火为号),我们基于协议的知识给出一种新的动态知识逻辑,这里符号的意义可以根据协议改变。

研究领域


研究方向:1 模态逻辑,特别是基于非经典语义的知识逻辑(epistemic logic)与动态逻辑(dynamic logic),以及它们的杂交变种后代。2 其他好玩的和逻辑沾点边儿的问题。

近期论文


部分文章:
Chao Xu, Yanjing Wang, Thomas Studer, A Logic of Knowing Why, to appear in Synthese

Xinyu Wang, Yanjing Wang: Knowledge-now and Knowledge-all. In Proceedings of LORI 2019: 399-412

Jixin Liu, Yanjing Wang, Yifeng Ding: Weakly Aggregative Modal Logic: Characterization and Interpolation. In Proceedings of LORI 2019: 153-167

Yanjun Li, Yanjing Wang: Multi-agent knowing how via multi-step plans: a dynamic epistemic planning-based approach. In Proceedings of LORI 2019: 126-139

Malvin Gattinger, Yanjing Wang: How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions. In Proceedings of TARK 2019: 206-220
Yanjing Wang: A Logic of Goal-directed Knowing How, Synthese 195 (10): 4419-4439, 2018, Springer
Yanjing Wang, Jeremy Seligman: Epistemic Logic with Assignments and Non-rigid Names. in Advances in Modal Logic vol 12: 611-628, 2018. College Publications.
Yanjing Wang: A new modal framework for epistemic logic. in Proceedings of TARK 2017, EPTCS 251: 515-534.
Yanjing Wang: Beyond Knowing that: a new generation of epistemic logics, in Jaakko Hintikka on knowledge and game theoretical semantics (Outstanding Contributions to Logic series): 499-533, Springer
Yanjun Li, Barteld Kooi, Yanjing Wang: A Dynamic Epistemic Framework for Reasoning about Conformant Probabilistic Plans, in Artificial Intelligence 268: 54-84
Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang: Strategically knowing how. in IJCAI 2017:1031-1038 AAAI
Thomas Agotnes, Hans van Ditmarsch, Yanjing Wang: True lies. Synthese 195 (10): 4581-4615. 2018, Springer
Yanjun Li, Quan Yu, Yanjing Wang: More for free: A dynamic epistemic framework for conformant planning. in Journal of Logic and Computation, Oxford University Press
Jan van Eijck, Malvin Gattinger, Yanjing Wang: Knowing Values and Public Inspection, in Proceedings of ICLA 2017: 77-90
Yanjun Li and Yanjing Wang: Achieving while maintaining: A logic of knowing how with intermediate constraints, to appear in Proceedings of ICLA 2017: 154-167
Tao Gu and Yanjing Wang: “Knowing value” logic as a normal modal logic, in Advances in Modal Logic Vol. 11: 362-381, College Publications
Tszyuen Lau and Yanjing Wang: Knowing your ability, in The Philosophical Forum 47(3-4):415-424, Wiley-Blackwell
Kai Li and Yanjing Wang: From rules to runs - a dynamic epistemic take of imperfect information take. Studies in Logic 8(4):74-107 (《逻辑学研究》)
Quan Yu, Yanjun Li, Yanjing Wang: A Dynamic Epistemic Framework for Conformant Planning, to appear in the Proceedings of TARK2015, EPTCS
Jie Fan, Yanjing Wang and Hans van Ditmarsch: Contingency and knowing whether, in The Review of Symbolic Logic 8(1):75-107, Cambridge University Press
Yanjing Wang and Jie Fan: Epistemic Informativeness, to appear in the Proceedings of the Second Asian Workshop on Philosophical Logic, Studia Logica Library, Springer
Yanjing Wang: Representing Imperfect Information of Procedures with Hyper Models. in Proceedings of ICLA 2015: 218-231, Springer
Yanjing Wang, Jie Fan: Conditionally knowing what, in Advances in Modal Logic Vol. 10: 569-587, 2014, College Publications
Jie Fan, Yanjing Wang and Hans van Ditmarsch: Almost necessary, in Advances in Modal Logic Vol. 10: 178-196, 2014, College Publications
Hans P. van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang: Hidden protocols: Modifying our expectations in an evolving world. Artificial Intelligence 208: 18-40 (2014). Elsvier
Yanjing Wang: Book review of: Johan van Benthem, Logical Dynamics of Information and Interaction, in Studia Logica 102(3): 647-654 Springer
Yanjing Wang, Qinxiang Cao: On axiomatizations of public announcement logic. Synthese 190(1s): 103-134 (2013). Springer
Yanjing Wang, Guillaume Aucher: An Alternative Axiomatization of DEL and its Applications, in Proceedings of IJCAI 2013: pp. 1139-1146. AAAI press.
Yanjing Wang, Jie Fan: Knowing that, Knowing what, and Public Communication: Public Announcement Logic with Kv Operators, in Proceedings of IJCAI 2013: pp.1147-1154. AAAI press.
Fenrong Liu and Yanjing Wang, Reasoning about agent types and the hardest logic puzzle ever. Minds and Machines 23(1):123-161 (2012), Springer
Yanjing Wang and Yanjun Li, Not all those who wander are lost: dynamic epistemic reasoning in navigation, in Advances in Modal Logic Vol. 9, pp.559-580 (2012), S. Ghilardi and L. Moss eds., College publications
Jan van Eijck, Floor Sietsma, Yanjing Wang: Composing models. Journal of Applied Non-Classical Logics 21(3-4): 397-425 (2011), Taylor & Francis
Francien Dechesne, Yanjing Wang: To know or not to know: epistemic approaches to security protocol verification. Synthese 177(S1): 51-76 (2010), Springer
Yanjing Wang: Reasoning about Protocol Change and Knowledge. ICLA 2011: 189-203, Springer
Yanjing Wang, Floor Sietsma, Jan van Eijck: Logic of information flow on communication channels. AAMAS 2010: 1447-1448, full version in DALT 2010: 130-147, Springer
Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck: Verifying epistemic protocols under common knowledge. TARK 2009: 257-266, ACM Digital library
Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125, Springer
Taolue Chen, Jaco van de Pol, Yanjing Wang: PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200, IEEE computer society
Jan van Eijck, Yanjing Wang: Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148, Springer
Muhammad Torabi Dashti, Yanjing Wang: Risk Balance in Exchange Protocols. ASIAN 2007: 70-77, Springer
Francien Dechesne, Yanjing Wang: Dynamic Epistemic Verification of Security Protocols: framework and case study. In Proc. Logic Rationality and Interaction (LORI 2007): pp.129-144 College Publications
现任北京大学哲学系长聘副教授/研究员,副系主任,中国逻辑学会现代逻辑专业委员会秘书长, 中国数学学会数理逻辑专业委员会委员。

相关热点

扫码添加好友