一．基本情况

贾海瑞，男，博士，硕士导师。

主要研究领域人工智能、金融科技、逻辑推理、自动推理。

电子邮箱：hairui@zufe.edu.cn

二、学习经历

2017/12--2020/12，浙江财经大学，应用经济学，博士后

2011/9--2017/6，西南交通大学，计算机科学与技术专业，硕博连读

三、科研成果

主持和参与的项目：

1.2019.01－2021.12，浙江省自然科学基金项目：基于矛盾体分离的线性动态自动演绎推理研究（项目编号：LQ19F030003，9万，排名1/4）

2.2020.07－2023.06，国家社会科学基金青年项目：产业结构升级对流动人口就业质量的影响及对策研究（项目编号：20CYJ014，20万，排名4/7）

3.2019.03－2022.03，教育部项目：波动率指数衍生品定价：基于随机波动率和Poisson跳因子组合建模的研究（项目编号：19YJC790042，8万，排名3/6）

4.2019.01－2021.12，浙江省自然科学基金项目：高维时间序列和资产组合优化（项目编号：LQ19A010004，6万，排名5/5）

5.2021.06－2026. 06，咨询类项目：中证企业核心竞争力50指数编制所需的企业核心竞争力评价体系和标准（项目编号：2021hx078，100万，排名6/11）

6.2020.04－2020. 07，咨询类项目：杭州市上城区金融人才发展规划研究（项目编号：2020hx096，3万，排名5/5）

7.2020.04－2020. 08，咨询类项目：浙一浙二医院就医出行优化方案研究（项目编号：2020hx036，15万，排名6/7）

8.2018.12－2018. 12，咨询类项目：杭州市金融人才三年发展规划（项目编号：2019hx017，4万，排名5/6）

9.2017.01－2020.12，国家自然科学基金项目：基于矛盾体分离的动态自动演绎推理研究（项目编号：61673320，59万，排名7/10）

10.2012.01－2015.12，国家自然科学基金项目：基于格值逻辑的a-n(t)元归结动态自动推理研究（项目编号：61175055，59万，排名10/10）

11.2014.01－2014.12，博士创新基金项目：基于格值逻辑的a-n(t)元线性归结动态自动推理研究（项目编号：61673320，3万，排名1/1）

学术论文：

1.Xiang Chen, Xuping Zhang, Yujia Wang, Hairui Jia*. The risk-adjusted profit productivity change in Chinese banks: A comparative analysis of the different type banks. Managerial and Decision Economics, 2022

2.Hairui Jia*, Shuwei Chen. Integrated Data and Knowledge Driven Methodology for Human Activity Recognition. Information Sciences, 2020, 536 (2020) : 409–430

3.HongleiWei,HairuiJia, YingfangLi,YangXu. Verify and measure the quality of rule based machine leaning. KNOWLEDGE-BASED SYSTEMS. 2020.10, 205(12), 1-14.

4.Tao Zhao, Qing Wu, Shengchuan Li, Rui Guo, Songyi Dian，Hairui Jia*. Optimization Design of General Type-2 Fuzzy Logic Controllers for an Uncertain Power-line Inspection Robot, Journal of Intelligent &Fuzzy Systems, 2019, 37(2): 2203-2214

5.Hairui Jia*, Yi Liu, Yang Xu, Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system, Journal of Intelligent & Fuzzy Systems, 2018, 34 (2018) : 1777–1789

6.Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia*,Wuyang Zhang, Rong Hu. An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy. International Journal of Computational Intelligence Systems, 2018,11 (1) 402–413

7.YaQin, YiLiu, ZhiyongHong, Hairui Jia*. Hesitant Fuzzy Muirhead Mean Operators and Its Application to Multiple Attribute Decision Making, International Journal of Innovative Computing, Information and Control, 2018, 14 (4), August 1223-1238

8.Yi Liu, Hairui Jia, Yang Xu. Multi-ary α-semantic resolution automated reasoning based on a lattice-valued propositional logic LP(X). International Journal of Innovative Computing, Information and Control. 2016, 12(5): 1629-1643

9.Hairui Jia*, Yang Xu, Yi Liu, Jun Liu, α-Minimal Resolution Principle For A Lattice-Valued Logic，International Journal of Computational Intelligence Systems, 2015, 8(1): 34-43

10.Yi Liu, Hairui Jia, Yang Xu. Determination of 3-Arya-resolution in lattice-valued propositional logic LP(X). International Journal of Computational Intelligence Systems. 2013, 6(5): 943-953

11.Hairui Jia, Yang Xu, Yi Liu. Determination of 3-ary a-resolution in LP(X). International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2021), Chengdu, China, Nov. 26-28, 2021

12.Lei Xu, Lijun Jiang, Hairui Jia, Ruixiao Kong, Meta-analysis of Xiaochaihu decoction in the treatment of cancer Fever. International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2021), Chengdu, China, Nov. 26-28, 2021

13.Hairui Jia, Limin Du, Yang Xu, Non-Clausala-Minimal Generalized Resolution Principle for Lattice-Valued Propositional Logic,The 12th International Conference on Uncertainty Modelling in Knowledge Engineering and Decision Making (FLINS 2016), ENSAIT, Roubaix, France, August 24-26, 2016, 465-470

14.Hairui Jia, Yi Liu,Yang Xu, Non-Clausal Multi-arya-Ordered Linear Generalized Resolution Method ForA Lattice-Valued First-order Logic, The International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2015), Taibei,Taiwan, Nov.24-27, 2015, 21-25

15.Hairui Jia, Huicong He, Yang Xu, Yi Liu,a-Ordered Linear Minimal Resolution Method in Lattice-valued Propositional Logic System LP(X), The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS 2014), Paraíba, Brazil, August 17-20, 2014, 191-196

16.Hairui Jia, Yang Xu, Yi Liu, Huicong He, α-Minimal Resolution Principle Basedon Lattice-Valued Propositional Logic LP(X), Program for International Conference on 2013 Machine Learning and Cybernetics(ICMLC2013), Tianjin, China, July 14-17,2013, 1729-1734

17.贾海瑞,徐扬,邓鹏,基于格值命题逻辑的非子句多元a-有序线性广义归结方法,计算机科学与探索, 2015年,9(7): 847-853

领导批示：

1.贾海瑞；章晓洪；郭昊晟；胡哲。政策性融资担保公司可持续发展对策建议，副部（省）级领导批示，2020.08.03。

2.陈翔；章晓洪；喻贞；贾海瑞。浙江践行“大食物观”筑牢粮食安全压舱石的建议，副部（省）级领导批示，2022.10.08。