论文成果

个人简介

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

主要讲授课程

• - 数理逻辑

• - 自动推理

• - 模糊数学

• - 高等数学

• - 线性代数

主要研究兴趣

• - 基于逻辑的自动推理

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

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

Some selected paper

1. 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)

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

• - 王成龙,何星星*,臧珲,等.命题逻辑中文字块矛盾型及子句正则矛盾体.计算机科学:1-10[2024-07-08]

• - 黎兴玉,何星星*,马雪,李莹芳.命题逻辑中一种矛盾体生成新方法.计算机工程与科学: 2022: 1-9

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

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

1. B. Neural-symbolic Learning

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

• - Xingxing He*, Yongqi Lan, Yingfang Li, Li Zou, Jun Liu, Luis Martínez, Tianrui Li, ASTGNNS: A Graph Neural Network Model Integrated Simplified Logical Formula Graph Representation for Premise Selection. Preprint (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)

1. C. α-Automated reasoning in lattice-valued logic

• - Xingxing He*, Yang Xu, Jun Liu, Yingfang Li: α-Paramodulation method for a lattice-valued logic L_nF(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

1. 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)

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

• - 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项、西南交通大学“理科培育”项目1项，主持完成国家自然科学基金青年项目1项、教育部人文社科基金项目1项、西南交通大学“理科培育”项目1项和中央高校基本业务费项目多项。

学生信息

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

• - 在读：赵忠旭、许佳（2024），潘兰、曾丹（2023），臧珲、王成龙（2022）

招生要求

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

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

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