所在单位： 数学学院
办公地点： 四川省成都市金牛区西南交通大学九里校区信息楼01023
联系方式： （O）
学位： 工学博士学位
职称： 副教授
电子邮箱： x.he@swjtu.edu.cn
毕业院校： 西南交通大学
学科：应用数学


个人简介
研究方向
教育经历
工作经历
团队成员
联系方式
何星星，博士，副教授，硕士生导师。先后于2005年和2008年在辽宁师范大学数学学院获理学学士学位和硕士学位。2012年在西南交通大学获工学博士学位，同年至今在西南交通大学数学学院执教。2018年至2019年期间在英国Ulster大学计算系学术访问。在INS, FSS等国内外学术期刊上发表SCI论文40余篇。获西南交通大学优秀博士学位论文。获第十二届多值逻辑与模糊逻辑年会、FLINS2014国际会议最佳论文奖。担任中国人工智能学会等多个专委会委员；多次担任国际学术会议Session Chair。现主持教育部人文社科基金项目1项和西南交通大学“理科培育”项目1项，主持完成国家自然科学基金青年项目1项和中央高校基本业务费项目3项。
目前主要研究兴趣：基于逻辑的自动推理理论与方法，包括：推理规则的改进、基于深度学习的前提选择等。

基于深度学习的前提选择方法
演绎推理中推理规则的改进

暂无内容

 数学学院 | 西南交通大学 

系统可信性自动验证国家地方联合工程实验室

通讯/办公地址:
办公室电话:
邮箱:



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处您是第位访客

---

所在单位： 数学学院
办公地点： 四川省成都市金牛区西南交通大学九里校区信息楼01023
联系方式： （O）
学位： 工学博士学位
职称： 副教授
电子邮箱： x.he@swjtu.edu.cn
毕业院校： 西南交通大学
学科：应用数学




科学研究
当前位置: 中文主页 >> 科学研究

研究领域 基于逻辑的自动推理理论与方法，主要包括：
1、推理规则的改进（如矛盾体的结构和构造等）
2、基于深度学习的前提选择方法
论文成果 On Normal Properties of Generalized Literals in LP(X),He,Xingxing,Zhang,Jiafeng,Li,Yingfang,Xu,Yang.第十二届多值逻辑与模糊逻辑年会 An Algorithm for Finding k-Indecomposable Extremely Simple Forms in L6P(X),He,Xingxing,Zhang,Jiafeng,Li,Yingfang,Xu,Yang.FLINS Conference 2010,2010 Comparisons Among α-Generalized Resolution Methods in Ln×2F(X),He,Xingxing,Liu,Jun,Xu,Yang.FLINS Conference 2012,2012,277 α-Generalized Lock Resolution with Deleting Strategies in LnF(X),He,Xingxing,Liu,Jun,Xu,Yang.7th ISKE Conference 2014,2014,214 α-Paramodulation for Lattice-Valued Logic with Equality,He,Xingxing,Liu,Jun,Xu,Yang.FLINS Conference?2014,2014,214 α-Lock Paramodulation for Lattice-Valued Propositional Logic,He,Xingxing,Liu,Jun,Xu,Yang.10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2015),2015 α-Lock Paramodulation for a lattice-valued first order logic LnF(X),He,Xingxing,Liu,Jun,Xu,Yang.Proceedings of the 12th International FLINS Conference (FLINS 2016),2016 格值命题逻辑广义文字的正规性,何星星,李莹芳,徐扬.计算机工程与应用,2012,48(10) α-Satisfiability and α-lock resolution for a lattice-valued logic LP(X),He,Xingxing,Ruan,Da,Martínez,Luis,Liu,Jun,Li,Yingfang,Xu,Yang.Lecture Notes in Artificial Intelligence,2010,6077 α-Input and α-unit resolution methods for generalized horn clause set,He,Xingxing,Liu,Jun,Xu,Yang.Journal of Donghua University,2012,28(1) 专利 暂无内容
著作成果 暂无内容
科研项目 中央高校基本科研业务费科技项目（****）, 中央高校基本科研业务费科技项目（****） -2014/12/05 中央高校基本科研业务费科技创新项目, 中央高校基本科研业务费科技创新项目 -2016/12/05 国家自然科学基金青年基金项目, 国家自然科学基金青年基金 -2016/12/05



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处 您是第位访客

---

所在单位： 数学学院
办公地点： 四川省成都市金牛区西南交通大学九里校区信息楼01023
联系方式： （O）
学位： 工学博士学位
职称： 副教授
电子邮箱： x.he@swjtu.edu.cn
毕业院校： 西南交通大学
学科：应用数学




研究领域
当前位置: 中文主页 >> 科学研究 >> 研究领域

基于逻辑的自动推理理论与方法，主要包括：
1、推理规则的改进（如矛盾体的结构和构造等）
2、基于深度学习的前提选择方法



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处 您是第位访客

---

所在单位： 数学学院
办公地点： 四川省成都市金牛区西南交通大学九里校区信息楼01023
联系方式： （O）
学位： 工学博士学位
职称： 副教授
电子邮箱： x.he@swjtu.edu.cn
毕业院校： 西南交通大学
学科：应用数学




论文成果
当前位置: 中文主页 >> 科学研究 >> 论文成果

[1] On Normal Properties of Generalized Literals in LP(X),He,Xingxing,Zhang,Jiafeng,Li,Yingfang,Xu,Yang.第十二届多值逻辑与模糊逻辑年会
[2] An Algorithm for Finding k-Indecomposable Extremely Simple Forms in L6P(X),He,Xingxing,Zhang,Jiafeng,Li,Yingfang,Xu,Yang.FLINS Conference 2010,2010
[3] Comparisons Among α-Generalized Resolution Methods in Ln×2F(X),He,Xingxing,Liu,Jun,Xu,Yang.FLINS Conference 2012,2012,277
[4] α-Generalized Lock Resolution with Deleting Strategies in LnF(X),He,Xingxing,Liu,Jun,Xu,Yang.7th ISKE Conference 2014,2014,214
[5] α-Paramodulation for Lattice-Valued Logic with Equality,He,Xingxing,Liu,Jun,Xu,Yang.FLINS Conference?2014,2014,214
[6] α-Lock Paramodulation for Lattice-Valued Propositional Logic,He,Xingxing,Liu,Jun,Xu,Yang.10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2015),2015
[7] α-Lock Paramodulation for a lattice-valued first order logic LnF(X),He,Xingxing,Liu,Jun,Xu,Yang.Proceedings of the 12th International FLINS Conference (FLINS 2016),2016
[8] 格值命题逻辑广义文字的正规性,何星星,李莹芳,徐扬.计算机工程与应用,2012,48(10)
[9] α-Satisfiability and α-lock resolution for a lattice-valued logic LP(X),He,Xingxing,Ruan,Da,Martínez,Luis,Liu,Jun,Li,Yingfang,Xu,Yang.Lecture Notes in Artificial Intelligence,2010,6077
[10] α-Input and α-unit resolution methods for generalized horn clause set,He,Xingxing,Liu,Jun,Xu,Yang.Journal of Donghua University,2012,28(1)
共10条1/1 首页上页下页尾页






Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处 您是第位访客

---

所在单位： 数学学院
办公地点： 四川省成都市金牛区西南交通大学九里校区信息楼01023
联系方式： （O）
学位： 工学博士学位
职称： 副教授
电子邮箱： x.he@swjtu.edu.cn
毕业院校： 西南交通大学
学科：应用数学




专利
当前位置: 中文主页 >> 科学研究 >> 专利

共0条0/0





Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处 您是第位访客

---

所在单位： 数学学院
办公地点： 四川省成都市金牛区西南交通大学九里校区信息楼01023
联系方式： （O）
学位： 工学博士学位
职称： 副教授
电子邮箱： x.he@swjtu.edu.cn
毕业院校： 西南交通大学
学科：应用数学




著作成果
当前位置: 中文主页 >> 科学研究 >> 著作成果

共0条0/0





Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处 您是第位访客

---

所在单位： 数学学院
办公地点： 四川省成都市金牛区西南交通大学九里校区信息楼01023
联系方式： （O）
学位： 工学博士学位
职称： 副教授
电子邮箱： x.he@swjtu.edu.cn
毕业院校： 西南交通大学
学科：应用数学




科研项目
当前位置: 中文主页 >> 科学研究 >> 科研项目

[1]中央高校基本科研业务费科技项目（****）, 中央高校基本科研业务费科技项目（****） -2014-12-05
[2]中央高校基本科研业务费科技创新项目, 中央高校基本科研业务费科技创新项目 -2016-12-05
[3]国家自然科学基金青年基金项目, 国家自然科学基金青年基金 -2016-12-05
共3条1/1 首页上页下页尾页





Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处 您是第位访客

---

所在单位： 数学学院
办公地点： 四川省成都市金牛区西南交通大学九里校区信息楼01023
联系方式： （O）
学位： 工学博士学位
职称： 副教授
电子邮箱： x.he@swjtu.edu.cn
毕业院校： 西南交通大学
学科：应用数学




教学工作
当前位置: 中文主页 >> 教学工作

教学资源 暂无内容
授课信息 《线性代数》 /XXDS 《高等数学》 /GDSX 《归结自动推理》 /GJZDTL 教学成果 暂无内容




Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处 您是第位访客