姓名(Name)
余喆
职称（Title）
副教授
工作学习经历（Education and Professional Employment）
2019 - 2025 糖心Vlog
博士后及副研究员
2013 - 2018 浙江大学逻辑学专业获博士学位
2015 - 2016 卢森堡大学计算机系联合培养博士生
2011 - 2013 浙江大学逻辑学专业获硕士学位
2007 - 2011 南京师范大学汉语言文学专业获学士学位
研究方向(Research Areas）
形式论辩、逻辑与人工智能
代表性成果（Selected Publications）
期刊论文
[1] Zhe Yu et al. “A Quantitative Legal Support System for Transnational Autonomous Vehicle Design”. Drones, Vol. 9, Iss. 4, 2025
[2] Zhe Yu et al. “On the Equational Theory of lattice-based algebras for layered graph”. Axioms, Vol. 14, Iss. 4, 2025
[3] Zhe Yu, Shier Ju, Weiwei Chen. “Context-based Argumentation Frameworks and Multi-Agent Consensus Building”. Journal of Logic & Computation. Vol. 34, Iss. 2, 2024
[4] 余喆，卢一苇，Burkhard Schafer. “结合道义逻辑的人工智能论辩系统法律推理”，2024年全国人工智能逻辑大会报告，《逻辑学研究》，2025年第2期
[5] 余喆，“本土社会价值如何融入人工智能论辩系统——结合广义论证理论与基于价值的实践推理”，《逻辑学研究》，2023年第4期
[6] 余喆，廖备水，“基于形式论辩系统的滑坡论证分析——人工智能如何理解自然语言论辩”，《科学技术哲学研究》，2019年第2期（中国人民大学复印报刊资料《逻辑》2019年第3期全文转载）
[7] 廖备水，余喆，Leon van der Torre，“关于规范、价值和偏好的实践推理”，《清华大学学报（哲学社会科学版）》，2019年第2期
[8] 余喆，徐康，廖备水，“结构化论辩系统——限制性反驳和非限制性反驳（英文标题：Structured Argumentation-Restricted Rebut vs Unrestricted Rebut）”，《逻辑学研究》，2018年第3期
会议发表
[1] Zhe Yu*, Yiwei Lu, Burkhard Schafer, Zhe Lin. “Cross-Border Legal Adaptation of Autonomous Vehicle Design based on Logic and Non-monotonic Reasoning”. Proceedings of the 20th International Conference on Artificial Intelligence and Law(ICAIL 2025), ACM, 2025（EI收录）
[2] Yiwei Lu, Xue Li, Zhe Yu*, Yuhui Lin, Burkhard Schafer, Alan Bundy, Andrew Ireland, Zhe Lin. “A Theory Repair Based Traffic Regulations Generalisation for Autonomous Vehicle”. The 5th International Conference on Artificial Intelligence Logic and Applications (AILA 2025) 已接，预计发表于Springer出版的 Communications in Computer and Information Science (CCIS) 系列（EI收录）
[3] Yiwei Lu, Zhe Yu*. “Enforce Actions Based on Structured Argumentation Theory under Legal Contexts”. Proceedings of the 4th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2024), College Publications, 2024.
[4] Zhe Yu, Yiheng Wang*, Zhe Lin*. “Decidability of Horn Sequents over Intuitionistic Tense Logic S4”. Proceedings of the 4th International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2024), College Publications, 2024.
[5] Yiwei Lu, Zhe Yu*, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart. “A Legal System to Modify Autonomous Vehicle Designs in Transnational Contexts”. Frontiers in Artificial Intelligence and Applications (JURIX 2023), IOS Press, 2023（EI收录）
[6] Zhe Yu*, Yiwei Lu*. “A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning”. International conference on Logic and Argumentation (CLAR 2023). Lecture Notes in Computer Science, Vol. 14156. Springer, 2023（EI收录）
[7] Yiwei Lu, Zhe Yu*, Yuhui Lin, Burkhard Schafer, Andrew Ireland, Lachlan Urquhart. “An argumentation and ontology based legal support system for AI vehicle design”. Frontiers in Artificial Intelligence and Applications (JURIX 2022), IOS Press, 2022（EI收录）
[8] Zhe Yu, Shier Ju*. “Getting Consensus Through a Context-Based Argumentation Framework”. Proceedings of the 1st International Workshop on Logics for New-Generation Artificial Intelligence(LNGAI 2021), College Publications, 2021.
[9] Zhe Yu*. “A Formalization of the Slippery Slope Argument”. International conference on Logic and Argumentation (CLAR 2020). Lecture Notes in Computer Science, Vol. 12061. Springer, 2020（EI收录）
[10] Zhe Yu*. “A Context-based Argumentation Framework with Values”.Proceedings of the 20th Workshop on Computational Models of Natural Argument (CMNA 2020), CEUR Workshop Proceedings, Vol. 2669, 2020（EI收录）
[11] Yiwei Lu, Zhe Yu*. “Argumentation Theory for Reasoning with Inconsistent Ontologies”. Proceedings of the 33rd International Workshop on Description Logics(DL 2020). CEUR Workshop Proceedings, Vol. 2663. 2020（EI收录）
书评
Zhe Yu*. Book review: “BEISHUI LIAO, THOMAS ÅGOTNES, YI N. WANG, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019”. Studia Logica, Vol. 111, 2023: 139-143.
代表性项目(Research Projects):
2022年国家社科基金后期资助“人工智能背景下的论证形式化研究”，项目负责人
2019年中国博士后科学基金面上资助“基于人工智能中论辩理论的自然语言论证形式化途径探究”，项目负责人
