论文成果

About Me

何星星，博士，西南交通大学数学学院副教授、（联合）博士生导师。2012年于西南交通大学获博士学位，2018—2019年在英国 Ulster University 计算系开展访问研究。长期从事基于逻辑的自动推理与模糊推理研究，近年来重点关注神经符号学习与推理，围绕形式化定理证明、前提选择与不确定性信息处理等问题，探索逻辑方法与机器学习相结合的理论和方法。在 Artificial Intelligence、Fuzzy Sets and Systems、Mathematical Logic Quarterly、Logic Journal of the IGPL、Applied Soft Computing 等国内外期刊发表 SCI 论文40余篇。主持完成国家自然科学基金、教育部人文社会科学研究基金等多项科研项目。博士学位论文获评西南交通大学优秀博士学位论文，相关研究成果曾获多值逻辑与模糊逻辑年会最佳论文奖及 FLINS 国际会议最佳论文奖。现任中国逻辑学会非经典逻辑与计算专业委员会委员，中国人工智能学会人工智能逻辑专业委员会、粒计算与知识发现专业委员会委员；担任 Journal of Ambient Intelligence and Humanized Computing 区域编辑、Scientific Reports 编辑。

Research Interests

• - Neural-Symbolic Learning and Reasoning｜神经符号学习与推理

• - Fuzzy Information Processing｜模糊信息处理

• - Logic-Based Automated Reasoning｜基于逻辑的自动推理

Selected Publications

A. Neural-Symbolic Learning and Reasoning

• - X. He, Z. Zhao, Y. Lan, Y. Li, L. Zou, L. Martínez, T. Li. ATWGNNS: Graph simplified representation and learning of logical formula for premise selection. Artificial Intelligence, 357, 104562 (2026).

• - X. He, Z. Zhao, Y. Lan, Y. Li, L. Zou, J. Liu, L. Martínez, T. Li. Integrating a simplified formula graph representation into a graph neural network model for premise selection. Applied Soft Computing, 180, 113318 (2025).

• - Y. Zhang, Z. Zhou, X. He, A. R. Adhikary, B. Dutta. Data-driven knowledge fusion for deep multi-instance learning. IEEE Transactions on Neural Networks and Learning Systems, 36(5), 8292–8306 (2025).

• - S. Tian, M. Yang, R. Xiong, X. He, S. Rajasegarar. A sequential multi-agent reinforcement learning framework for different action spaces. Expert Systems with Applications, 258, 125138 (2024).

• - Q. Liu, Y. Xu, X. He. Attention recurrent cross-graph neural network for selecting premises. International Journal of Machine Learning and Cybernetics, 13(5), 1301–1315 (2022).

B. Logic-Based Automated Reasoning

• - X. He, L. Pan, Y. Li, J. Liu, L. Martínez. On structures of sign-boundary and diagonal vacancy-type standard contradictions. Mathematical Logic Quarterly, 72(2), e70010 (2026).

• - X. He, J. Xu, Y. Li, J. Liu, L. Martínez. On the structure of dual-line standard contradictions and their general forms in first-order logic. Journal of Applied Logics, 13(2), 255–284 (2026).

• - X. He, Y. Li, Y. Feng. On structures of regular standard contradictions in propositional logic. Information Sciences, 586, 261–278 (2022).

• - Y. Xu, J. Liu, S. Chen, X. Zhong, X. He. Contradiction separation based dynamic multi-clause synergized automated deduction. Information Sciences, 462, 93–113 (2018).

• - X. He^*, Y. Xu, J. Liu, Y. Li. α-Paramodulation method for a lattice-valued logic L_nF(X) with equality. Soft Computing, 25(1), 251–261 (2021).

• - X. He^*, J. Liu, Y. Xu, L. Martínez-López, D. Ruan. On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. Logic Journal of the IGPL, 20(3), 579–588 (2012).

• - X. He^*, Y. Xu, J. Liu, D. Ruan. α-Resolution method for a lattice-valued first-order logic. Engineering Applications of Artificial Intelligence, 24(7), 1274–1280 (2011).

C. Fuzzy Information Processing

• - Y. Li, X. He^*, K. Qin, D. Meng. An improved method to estimate the similarity between LR-type fuzzy numbers. Fuzzy Sets and Systems, 476, 108770 (2024).

• - Y. Li, X. He^*, L. Martínez, J. Zhang, D. Wang, X. Liu. Comparative analysis of three categories of multi-criteria decision-making methods. Expert Systems with Applications, 238, 121824 (2024).

• - Y. Li, X. He^*, X. Liu. Fuzzy multiple linear least squares regression analysis. Fuzzy Sets and Systems, 459, 118–143 (2023).

• - Y. Li, X. He^*, K. Qin, D. Meng. Some notes on optimal fuzzy reasoning methods. Information Sciences, 503, 652–669 (2019).

• - X. He^*, Y. Li, K. Qin, D. Meng. On the TL-transitivity of fuzzy similarity measures. Fuzzy Sets and Systems, 322, 54–69 (2017).

• - Y. Li, X. He^*, K. Qin, D. Meng. Three constructive methods for the definition of interval-valued fuzzy equivalencies. Fuzzy Sets and Systems, 322, 70–85 (2017).

• - Y. Li, K. Qin, X. He^*, D. Meng. Properties of Raha's similarity-based approximate reasoning method. Fuzzy Sets and Systems, 294, 48–62 (2016).

• - Y. Li, K. Qin, X. He^*, D. Meng. Robustness of fuzzy connectives and fuzzy reasoning with respect to general divergence measures. Fuzzy Sets and Systems, 294, 63–78 (2016).

• - Y. Li, K. Qin, X. He^*. Dissimilarity functions and divergence measures between fuzzy sets. Information Sciences, 288, 15–26 (2014).

• - Y. Li, K. Qin, X. He^*. Some new approaches to constructing similarity measures. Fuzzy Sets and Systems, 234, 46–60 (2014).

• - Y. Li, K. Qin, X. He^*. Robustness of fuzzy connectives and fuzzy reasoning. Fuzzy Sets and Systems, 225, 93–105 (2013).

Projects

现主持成都市科技项目和重点实验室开放项目，主持完成国家自然科学基金青年项目、教育部人文社科基金项目、四川省科技项目、成都市科技项目、西南交通大学“理科培育”项目等。

Courses

• - Mathematical Logic｜数理逻辑

• - Automated Reasoning｜自动推理

• - Fuzzy Mathematics｜模糊数学

• - Advanced Mathematics (Calculus)｜高等数学

• - Linear Algebra｜线性代数

科研项目

Research Group and Graduate Recruitment｜课题组与研究生招生

Group Members

• - 在读：鲁帅、龚磊、李子彤、宋子怡、邹若曦，刘恒悦，赵忠旭、许佳

• - 已毕业：潘兰、曾丹，臧珲、王成龙，兰咏琪，马雪，黎兴玉，唐雷明，王萌

本组毕业生就职于华为南京、成都及北京研究所、国家统计局、成都东软学院等单位，或在西南交通大学等国内外高校继续攻读博士学位。

Join Us

以数学与逻辑为基础，探索能够学习与推理的人工智能。欢迎热爱数学、逻辑与人工智能交叉研究，希望在研究生阶段接受扎实科研训练、深入探索学术问题的同学报考本研究组。

期待你：

• - 热爱研究，专注学术

• - 踏实努力，持之以恒

• - 勇于探索，具有韧性

• - 重视基础，严谨求实

欢迎来信介绍你的学习背景、研究兴趣与未来规划，交流研究方向与报考意向。

Email: x.he@swjtu.edu.cn