论文成果

个人简介

何星星，博士，副教授，（联合）博士生导师。先后于2005年和2008年在辽宁师范大学数学学院获理学学士学位和硕士学位。2012年在西南交通大学获工博士学位，同年至今在西南交通大学数学学院执教。2018年至2019年期间在英国Ulster大学计算系学术访问。一直致力于基于逻辑的自动推理研究，目前研究兴趣主要包括：逻辑推理规则的提出与改进、基于深度学习（特别是图神经网络）的前提选择、以及图深度学习与逻辑推理融合（神经符号计算）理论与方法，在IEEE TNNLS, INS, FSS, LOG J IGPL, ESWA等国内外学术期刊上发表SCI论文40余篇。获西南交通大学优秀博士学位论文。获第十二届多值逻辑与模糊逻辑年会、FLINS2014国际会议最佳论文奖。担任逻辑学会非经典逻辑与计算专委会、人工智能学会粒计算与知识发现专委会、人工智能逻辑专委会委员，人工智能学会机器学习专委会、人工智能学会人工智能基础专委会通讯委员；担任Journal of Ambient Intelligence and Humanized Computing区域编辑、IJML CYB特刊编辑、多次担任国际学术会议Session Chair。现主持西南交通大学“理科培育”项目1项，主持完成国家自然科学基金青年项目、教育部人文社科基金项目、四川省科技重点项目、成都市科技项目等多项。

主要讲授课程

• - 数理逻辑

• - 自动推理

• - 模糊数学

• - 高等数学

• - 线性代数

主要研究兴趣

• - 基于逻辑的自动推理

• - 神经符号计算理论与方法

• - 模糊信息度量与模糊推理

Some selected paper

A. Logical Inference Rules

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

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

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

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

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

• - 唐雷明,白沐尘,何星星,黎兴玉.基于命题逻辑的完全标准矛盾体及最小标准矛盾体.计算机科学,2020,47: 83-85

• - Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, Xingxing He: Contradiction separation based dynamic multi-clause synergized automated deduction. Information Sciences 462: 93-113 (2018)

B. Neural-Symbolic Learning

• - Xingxing He, Zhongxu Zhao, Yongqi Lan, Yingfang Li, Li Zou, Jun Liu, Luis Martínez, Tianrui 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 and B. Dutta, Data-Driven Knowledge Fusion for Deep Multi-Instance Learning. IEEE Transactions on Neural Networks and Learning Systems. doi: 10.1109/TNNLS.2024.3436944. (2024)

• - Tian, S., Yang, M., Xiong, R., He, X., & Rajasegarar, S.  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

• - Qinghua Liu, Yang Xu, Xingxing He: Attention recurrent cross-graph neural network for selecting premises. Int. J. Mach. Learn. Cybern. 13(5): 1301-1315 (2022)

C. α-Automated Reasoning in Lattice-Valued Logic

• - Xingxing He*, Yang Xu, Jun Liu, Yingfang Li: α-Paramodulation method for a lattice-valued logic LnF(X) with equality. Soft Comput. 25(1): 251-261 (2021)

• - Yang Xu, Jun Liu, Xingxing He*, Xiaomei Zhong, Shuwei Chen: Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic. Int. J. Comput. Intell. Syst. 11(1): 384-401 (2018)

• - Xingxing He*, Yang Xu, Jun Liu: α-Lock Paramodulation for Lattice-Valued Propositional Logic. ISKE 2015: 18-20

• - Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: A unified algorithm for finding k -IESFs in linguistic truth-valued lattice-valued propositional logic. Soft Comput. 18(11): 2135-2147 (2014)

• - Jiafeng Zhang, Yang Xu, Xingxing He*: α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X). Int. J. Comput. Intell. Syst. 7(1): 160-171 (2014)

• - Xingxing He*, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan: On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. Log. J. IGPL 20(3): 579-588 (2012)

• - Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic. Int. J. Comput. Intell. Syst. 5(6): 1120-1134 (2012)

• - Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. 16(4): 699-709 (2012)

• - Xingxing He*, Yang Xu, Jun Liu, Da Ruan: α-Resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24(7): 1274-1280 (2011)

• - Xingxing He*, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan: α-Satisfiability and α-Lock Resolution for a Lattice-Valued Logic LP(X). HAIS (2) 2010: 320-327

D. Fuzzy Information Processing

• - Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: On the TL-transitivity of fuzzy similarity measures. Fuzzy Sets Syst. 322: 54-69 (2017)

• - Yingfang Li, Xingxing He*, Keyun Qin, Dan Meng: An improved method to estimate the similarity between LR-type fuzzy numbers. Fuzzy Sets and Systems, 476: 108770 (2024).

• - Yingfang Li, Xingxing He*, Luis Martínez, Jiafeng Zhang, Danchen Wang, Xueqin Amy Liu: Comparative analysis of three categories of multi-criteria decision-making methods. Expert Systems with Applications, 238: 121824 (2024).

• - Xingxing He*, Yingfang Li, Bin Yang: A new educational grading system based on fuzzy techniques. Soft Comput 28, 8077–8103 (2024).
  

• - Yingfang Li, Xingxing He*, Xueqin Liu: Fuzzy multiple linear least squares regression analysis. Fuzzy Sets and Systems, 459: 118-143 (2023).

• - Xingxing He*, Yingfang Li, Bin Yang:  Interval-valued fuzzy logical connectives with respect to admissible orders. Iranian Journal of Fuzzy Systems, 20(4): 1-19 (2023).

• - Xingxing He*, Yingfang Li, Keyun Qin: On a new distance measure of three-parameter interval numbers and its application to pattern recognition. Soft Comput. 25(13): 8595-8607 (2021)

• - Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: Distance measures on intuitionistic fuzzy sets based on intuitionistic fuzzy dissimilarity functions. Soft Comput. 24(1): 523-541 (2020)

• - Xingxing He*, Yingfang Li, Limin Du, Keyun Qin: Two computational formulae for similarity measures on intuitionistic fuzzy sets based on intuitionistic fuzzy equivalencies. J. Intell. Fuzzy Syst. 37(5): 7073-7086 (2019)

• - Xingxing He*, Yingfang Li, Keyun Qin, Dan Meng: On the characterizations of fuzzy XNOR connectives. J. Intell. Fuzzy Syst. 32(3): 2733-2745 (2017)

• - Xingxing He*, Yingfang Li, Keyun Qin: On the associative property of fuzzy Xor connectives. J. Intell. Fuzzy Syst. 25(1): 1-7 (2013)

• - Yingfang Li, Xingxing He*, Keyun Qin, Dan Meng: Three constructive methods for the definition of interval-valued fuzzy equivalencies. Fuzzy Sets Syst. 322: 70-85 (2017)

• - Yingfang Li, Xingxing He*, Keyun Qin, Dan Meng: Some notes on optimal fuzzy reasoning methods. Inf. Sci. 503: 652-669 (2019)

• - Yingfang Li, Keyun Qin, Xingxing He*: Some new approaches to constructing similarity measures. Fuzzy Sets Syst. 234: 46-60 (2014)

• - Yingfang Li, Keyun Qin, Xingxing He*: Dissimilarity functions and divergence measures between fuzzy sets. Inf. Sci. 288: 15-26 (2014)

• - Yingfang Li, Keyun Qin, Xingxing He*: Robustness of fuzzy connectives and fuzzy reasoning. Fuzzy Sets Syst. 225: 93-105 (2013)

• - Yingfang Li, Keyun Qin, Xingxing He*: Relations among similarity measure, subsethood measure and fuzzy entropy. Int. J. Comput. Intell. Syst. 6(3): 411-422 (2013)

• - Yingfang Li, Keyun Qin, Xingxing He*, Dan Meng: Properties of Raha's similarity-based approximate reasoning method. Fuzzy Sets Syst. 294: 48-62 (2016)

• - Yingfang Li, Keyun Qin, Xingxing He*, Dan Meng: Robustness of fuzzy connectives and fuzzy reasoning with respect to general divergence measures. Fuzzy Sets Syst. 294: 63-78 (2016)

• - Yingfang Li, Keyun Qin, Xingxing He*, Dan Meng: Similarity measures of interval-valued fuzzy sets. J. Intell. Fuzzy Syst. 28(5): 2113-2125 (2015)

• - Yingfang Li, Keyun Qin, Xingxing He*: Fuzzy XNOR connectives in fuzzy logic. Soft Comput. 15(12): 2457-2465 (2011)

科研项目

项目概况

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

学生信息

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

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

招生要求

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

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

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