梁真

所在栏目:逻辑学作者: 发布者:8040威尼斯最新线路检测发布时间:2018-12-28浏览次数:3053

◆基本情况

梁真,男,祖籍北京,2020年毕业于新西兰奥克兰大学哲学博士,8040威尼斯最新线路检测哲学与社会发展学院讲师。

◆教育背景

2003.09—2005.07  山东教育学院 函授本科

2008.09—2011.07  西南大学 硕士

2011.09—2012.07  西南大学 在读博士(已退学)

2012.11—2020.07  新西兰奥克兰大学 博士

◆工作经历

2020年执教8040威尼斯最新线路检测哲学与社会发展学院

◆研究领域

主要集中在形式逻辑方面,包括命题逻辑、谓词逻辑、模态逻辑、动态认知逻辑。其研究方向及成果涵盖了逻辑学、哲学、人工智能、认知科学和群体社会心理学的交叉研究领域,主要致力于使用逻辑学的工具对社会心理学中的群体认知和交互影响做研究和探讨逻辑工具在人工智能方向上的应用

◆论著目录

论文:

1.Zhen Liang. “Towards Axiomatisation of Social Epistemic Logic” PhD Thesis, 2020.

2.Zhen Liang. An axiomatisation for minimal social epistemic logic. In Alexan- dru Baltag, Jeremy Seligman, and Tomoyuki Yamada, editors, Proceedings of 
LORI 6, pages 664–669. Springer, 2017. 


3.Zhen Liang and Jeremy Seligman. A logical model of the dynamics of peer pressure. In Hans van Ditmarsch, David Ferna ́ndez Duque, Valentin Goranko, Wojtek Jamroga, and Manuel Ojeda-Aciego, editors, Proceedings of LAMAS 
4, volume 278, pages 275–288. ENTCS, 2011. 


4.Zhen Liang and Jeremy Seligman, The dynamics of peer pressure In: van Ditmarsch, H.; Lang, J.; Ju, S. (eds.) Logic, Rationality, and Interaction, Proceedings of the Third International Workshop (LORI 3), Springer LNCS 6953, pp. 390-391, 2011
.

5.梁真, 何向东. 社会群体中的偏好逻辑[J]. 逻辑学研究, 2011, 04(2):68-80.

◆学术交流

1.<An Axiomatisation for Minimal Social Epistemic Logic>, presented at LORI VI in Hokkaido University, Japan, 2017.10 
.

2.<The Dynamics of Peer Pressure>, presented at LORI III in Guangzhou, China, 2011.10.

3.<The Dynamic Preference Logic in the Community>, presented at SELLC, Guangzhou,2010.

3.《社会群体中的偏好逻辑》, 发言于第二届全国认知科学会议,重庆,2010。

◆参研课题

1.面向博弈的动态逻辑研究,国家社科基金重点项目,2015.6-2019.2

2.面向自然语言理解的逻辑构建和符号接地问题的哲学、心理学研究,国家社科基金重大项目,2018.11

3.多模态逻辑的代数语义研究,国家社科基金项目,2020.6-2023.12