论文成果

About Me

何星星，博士，副教授，（联合）博士生导师。2012年在西南交通大学获工博士学位。2018年至2019年期间在英国Ulster大学计算系学术访问。一直致力于基于逻辑的自动推理研究、模糊推理，目前研究兴趣：神经符号计算。在IEEE TNNLS, INS, FSS, LOG J IGPL, ESWA等国内外学术期刊上发表SCI论文40余篇。获西南交通大学优秀博士学位论文。获第十二届多值逻辑与模糊逻辑年会、FLINS2014国际会议最佳论文奖。担任逻辑学会非经典逻辑与计算专委会、人工智能学会粒计算与知识发现、人工智能逻辑专委会委员，人工智能学会机器学习专委会、人工智能学会人工智能基础专委会通讯委员；担任JAIHC区域编辑、多次担任国际学术会议Session Chair。现主持西南交通大学“理科培育”项目1项，主持完成国家自然科学基金青年项目、教育部人文社科基金项目、四川省科技重点项目、成都市科技项目等多项。

Courses

• - Mathematical Logic

• - Automated Reasoning

• - Fuzzy Mathematics

• - Advanced Mathematics (Calculus)

• - Linear Algebra

Research Interests

• - Neural-Symbolic Learning/Reasoning

• - Fuzzy Information Processing

• - Automated Reasoning based on Logic

Selected Publications

A. Neural-Symbolic Learning

• - 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 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 125138 (2024)

• - 兰咏琪,何星星,李莹芳,李天瑞.面向前提选择的新型图约简表示与图神经网络模型.计算机科学,2024,51(05):193-199

• - 马雪,何星星,兰咏琪,李莹芳.一阶逻辑中基于treelet图神经网络的前提选择.计算机工程与科学,2024,46(02):374-380

• - 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. Logical Inference Rules

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

• - 曾丹,何星星,李莹芳,李天瑞.一阶逻辑中一类多线型标准矛盾体的结构.计算机科学,2025

• - 臧珲,何星星,王成龙,李莹芳,李天瑞.命题逻辑中一类正则标准矛盾体的构造与复合.计算机科学,2024,51(01): 295-300

• - 王成龙,何星星,臧珲,李莹芳,李天瑞.命题逻辑中文字块矛盾型及子句正则矛盾体.计算机科学,2024,51(07): 272-277

• - 黎兴玉,何星星,马雪,李莹芳.命题逻辑中一种矛盾体生成新方法.计算机工程与科学,2023,45(06): 1134-1140

• - 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)

C. Fuzzy Information Processing

• - 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: 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: Three constructive methods for the definition of interval-valued fuzzy equivalencies. Fuzzy Sets and Systems 322: 70-85 (2017)

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

• - 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)

D. α-Automated Reasoning in Lattice-Valued Logic

• - 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*, Y. Xu, J. Liu, S. Chen: A unified algorithm for finding k-IESFs in linguistic truth-valued lattice-valued propositional logic. Soft Computing 18(11): 2135-2147 (2014)

• - 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, S. Chen: On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Computing 16(4): 699-709 (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)

科研项目

Projects

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

Team

• - 已毕业：臧珲、王成龙（2022），兰咏琪（2021），马雪（2020），黎兴玉（2019），唐雷明（2018），王萌（2017）

• - 在读：刘恒悦（2025），赵忠旭、许佳（2024），潘兰、曾丹（2023）

Join us

• - 勤奋踏实、勇于创新，对学术研究有追求

• - 对深度学习、数理逻辑等相关方向有浓厚兴趣

• - 有较扎实的数学功底、熟练掌握python等编程语言者优先

欢迎有志于科研的优秀同学加入本研究组！