近年主要科研项目信息

1. 国家重点研发计划项目，价值驱动的产品服务全生命周期管理，批准号：2020YFB1711902，2020.11—2023.10，经费：221万，主研

2. 国家重点研发计划项目（课题），2019YFB2101802，城市知识库构建及语义协同挖掘，2019. 12—2022.11, 经费：322万，主研

3. 国家外专局，高端外国专家引进计划项目，基于矛盾体分离自动演绎的可信性验证，G20200023028，2021.04—2022.11，19万元，主持

4. 基于逻辑自动推理与机器学习的软件可信性验证研究，四川省科技计划应用基础研究计划项目，2020YJ0270, 2020.01—2021.12, 经费：10万，主持

5. 锆合金氧化XXX模拟，国防科技重点实验室项目，2019.01—2020.12, 经费：20万，主持

6. 轨道交通系统可信性自动验证及优化设计研究，西南交通大学“建一流”学科项目（教育部专项建设资金项目），2019.01—2019.12，主持

7. 基于矛盾体分离的逆向并行自动演绎推理研究，中央高校基本科研业务费专项资金项目，项目编号：2682018CX59，2018.01—2020.12, 经费：10万，主持

8. 基于属性相关性与三支模糊集的粗糙集模型及其应用，国家自然科学基金面上项目（批准号：61976130），2020.01—2023.12, 经费：61万，主研（校内主持）

9. 基于逻辑推理XXX研究，军委科技项目，2019.01—2019.12, 经费：100万，主研
   

10. 基于矛盾体分离的动态自动演绎推理研究, 国家自然科学基金面上项目（批准号：61673320），2017.01—2020.12, 经费：59万，主研
    

11. Standards Based Approach to Video Archive Search and Analysis (SAVASA), European Union FP7（欧盟项目），批准号：285621, 2011.12—2014.05, 经费：379,005欧元，主研

12. 基于格值逻辑的α-n(t)元归结动态自动推理研究, 国家自然科学基金面上项目（批准号：61175055），2012.01—2015.12, 经费：59万，主研

13. 基于格值逻辑的语言真值α-广义归结自动推理研究, 国家自然科学基金面上项目（批准号：60875034），2009.01—2011.12, 经费：32万，主研

14. 仿生机器眼运动系统建模与控制方法研究, 教育部高等学校博士学科点专项科研基金项目（批准号：20114101110005），2012.01—2014.12, 经费：12万，主研

15. 列车网络控制系统安全可靠性研究,中车唐山机车车辆有限公司项目，2016.1-2016.10, 经费：190万，主研

近年发表的主要论文

1. Guoyan Zeng, Shuwei Chen*(corresponding author), Jun Liu, Yang Xu, Peiyao Liu, A complementary ratio based clause selection method for contradiction separation dynamic deduction, Knowledge-Based Systems, Volume 284, ID: 111238, 25 January 2024

2. Shipan Jiang, Shuwei Chen*. Clause and literal selection strategies based on complementary pair distribution for contradiction separation deduction. In: 3rd International Conference on Artificial Intelligence Logic and Applications (AILA2023), Changchun, China, Aug. 4-6, 2023, pp. 214-226.

3. Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen*, Feng Cao, Guanfeng Wu, Fully reusing clause deduction algorithm based on standard contradiction separation rule, Information Sciences, Volume 622, pp. 337-356, April 2023.

4. Peiyao Liu, Shuwei Chen*, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu, An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability, Knowledge-Based Systems, Volume 261, ID: 110217, 15 February 2023

5. 姜世攀，陈树伟*，曾国艳，一阶逻辑定理证明器中的无效子句删除策略，计算机应用，网络首发, 2023

6. 刘凌荣，陈树伟*，姜世攀，命题逻辑中的 L-型冗余性质，计算机科学，50(S01): 43-47, 2023

7. 杨媛媛，陈树伟*，李舒敬，多值直觉中智集及其性质，模糊系统与数学，36 (1): 11-17, Feb. 2022

8. Shuwei Chen, Jun Liu, Yang Xu, A logical reasoning based decision making method for handling qualitative knowledge. International Journal of Approximate Reasoning (Elsevier期刊，影响因子：2.678), 129: 49–63, Feb. 2021.

9. Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Jianbing Yi, A Multi-Clause Dynamic Deduction Algorithm Based on Standard Contradiction Separation Rule, Information Sciences, August 2021, 566: 281-299

10. Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He, Emphasis on the flipping variable: Towards effective local search for hard random satisfiability, Information Sciences, 2021, 566: 118-139

11. Shuwei Chen, David H. Glass, Mark McCartney, How opinion leaders affect others on seeking truth in a bounded confidence model, Symmetry-Basel, 12 (8): 1362, August 2020
    

12. Hairui Jia, Shuwei Chen, Integrated data and knowledge driven methodology for human activity recognition, Information Sciences, October 2020, 536: 409–430

13. Huimin Fu, Yang Xu, Shuwei Chen*, Jun Liu, Improving WalkSAT for random 3-SAT problems, Journal of Unviersal Computer Science, 26 (2): 220-243, February 2020

14. 沈雪，陈树伟*，徐扬，吴贯锋，基于回跳层数的SAT求解器学习子句删除策略，计算机应用研究，37(11): 3316-3320, Nov. 2020. 

15. 沈雪，陈树伟*，艾森阳，基于奖励机制的SAT求解器分支策略，计算机科学，47 (7): 42-46, July 2020

16. Shuwei Chen, David H. Glass, Mark McCartney, Two-dimensional opinion dynamics in social networks with conflicting beliefs, AI & Society, Springer, 34 (4): 695–704, December 2019. 

17. Feng Cao*, Yang Xu, Shuwei Chen*, Jian Zhong, Guanfeng Wu, A contradiction separation dynamic deduction algorithm based on optimized proof search, International Journal of Computational Intelligence Systems, 12(2): 1245–1254, 2019. 

18. Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, and Xingxing He, Contradiction separation based dynamic multi-clause synergize d automated deduction, Information Sciences (影响因子: 4.305), 462: 93–113, June 2018.

19. Yang Xu, Jun Liu, Xingxing He*, Xiaomei Zhong and Shuwei Chen*, Non-clausal multi-ary alpha-generalized resolution calculus for a finite lattice-valued logic, International Journal of Computational Intelligence Systems (影响因子: 1.14), 11: 384–401, 2018.

20. Shuwei Chen, David H. Glass, Mark McCartney, Characteristics of successful opinion leaders in a bounded confidence model, Physica A (Elsevier期刊，影响因子：2.132), 449: 426-436, May 2016.

21. Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto. A group decision making model for partially ordered preference under uncertainty. Information Fusion (Elsevier期刊，影响因子：6.639), 25: 32–41, Sept. 2015.

22. Shuwei Chen, Jun Liu, Hui Wang, Yang Xu, Juan Carlos Augusto, A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences (Elsevier期刊，影响因子：4.305), 258: 266–276, Feb. 2014.

23. Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, Ordering based decision making – A survey. Information Fusion (Elsevier期刊，影响因子：6.639), 14 (4): 521–531, Oct. 2013.

24. Jun Liu, Wenjiang Li, Shuwei Chen, Yang Xu. An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. Information Sciences (Elsevier期刊，影响因子：4.305), 263: 110-125, April 2014.

25. Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen. Multi-ary α-resolution principle for a lattice-valued logic. IEEE Transactions on Fuzzy Systems (IEEE期刊，影响因子：8.415), 21 (5): 898-912, Oct. 2013.

26. Yong Luo, Shuwei Chen, Xiaojuan He, Xue Jia. Alphanumeric character recognition based on BP neural network classification and combined features. International Journal of Computational Intelligence Systems (Taylor & Francis期刊，影响因子：2.0), 6 (6): 1108-1115, Nov. 2013.

27. 陈树伟, 蔡丽娜. 区间值犹豫模糊集. 模糊系统与数学，2013年12月，第27卷第6期, pp. 38-44. 

28. 陈树伟, 王延昭. 一种基于模糊数相似度的风险分析方法. 模糊系统与数学，2013年10月，第27卷第5期, pp. 112-122. 

29. Shuwei Chen, Yang Xu, Jun Liu, Feng Cao and Yan Jiang, Clause reusing framework for contradiction separation based automated deduction, the 14th International FLINS Conference on Robotics and Artificial Intelligence, Cologne, Germany, 18–21 August 2020, World Scientific, pp. 284-291
    

30. Feng Cao*, Yang Xu, Shuwei Chen*, Xinran Ning, Guanfeng Wu, A first-order logic clause set preprocessing method based on clause deduction distance, IEEE the 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE2019), Dalian, China, Nov. 14-16, 2019, pp. 90-94. 

31. Shuwei Chen, Yang Xu, Jun Liu and Feng Cao, Look-ahead clause selection strategy for contradiction separation based automated deduction, the 13th International FLINS Conference on Decision Making and Soft Computing, Belfast, UK, August 21-24, 2018, World Scientific, pp. 750-757.

32. Yang Xu, Shuwei Chen*, Jun Liu, Xiaomei Zhong and Xingxing He, Distinctive features of the contradiction separation based dynamic automated deduction, the 13th International FLINS Conference on Decision Making and Soft Computing, Belfast, UK, August 21-24, 2018, World Scientific, pp. 725-732.

33. Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu and Xingxing He, Some synergized clause selection strategies for contradiction separation based automated deduction, 2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), Nanjing, China, Nov. 24-26, 2017, pp. 143-148.

34. Shuwei Chen, David H. Glass, Mark McCartney, Dynamics of conflicting beliefs in social networks, Proceedings of the 6th Workshop on Complex Networks (CompleNet 2015), New York City, USA, March 25-27, 2015, Springer-Verlag, Studies in Computational Intelligence, vol. 597, pp.171-178.

35. Shuwei Chen, Kathy Clawson, Min Jing, Jun Liu, Hui Wang, Bryan Scotney, Uncertainty reasoning based formal framework for big video data understanding, Proceedings of the 2014 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technologies, 11-14 August 2014, Warsaw, Poland, Volume 2, pp. 487-494.

36. Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, Formal logical transformation of hierarchical human activity for reasoning based recognition, Proceedings of the 11th International FLINS Conference on Decision Making and Soft Computing, Joao Pessoa, Brazil, August 17-20, 2014, World Scientific, pp. 354-359.

37. Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, A hierarchical human activity recognition framework based on automated reasoning, Proc. of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (SMC2013), Manchester, UK, 13-16 October, 2013, pp. 3495-3499.

38. Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, An evidential reasoning based approach for decision making with partially ordered preference under uncertainty, Proc. of the 12th International Conference on Machine Learning and Cybernetics (ICMLC2013), Tianjin, China, 14th-17th July, 2013, pp. 1712-1717.

39. Shuwei Chen, Jun Liu, Hui Wang, and Juan Carlos Augusto, Parameterized uncertain reasoning approach based on a lattice-valued logic, Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11). Belfast, UK, 29th June - 1st July, 2011, Springer, LNAI vol. 6717, pp. 582-593.

（1）逻辑自动推理
（2）智能决策与控制