个人简介
| 曾国艳，博士，四川宜宾人。长期从事人工智能、形式化验证、自动定理证明等方面的研究。近年来在《Knowledge-Based Systems》、《Engineering Applications of Artificial Intelligence》等多个期刊发表科研论文。自主开发的自动定理证明器性能已位居国际前列。主研国家级、省级等科研项目多项。 欢迎感兴趣的同学加入智慧感知与计算实验室参与科研。我会尽快回复邮件。期待你们的加入！ |
工作经历
| 2025.6-至今，西华大学计算机与软件工程学院，讲师 |
教育经历
| 2018.09-2025.06，西南交通大学数学学院，博士（硕博连读）；2014.09-2018.06，乐山师范学院，学士 |
研究方向
基于逻辑的自动推理； 形式化验证； 一阶逻辑证明器.； 智能信息处理； 人工智能 |
学术成果
欢迎感兴趣的同学加入智慧感知与计算实验室参与科研。我会尽快回复邮件。期待你们的加入！ 一、发表论文（一作或者通信作者）： [1] Guoyan Zeng,Guanfeng Wu, Shuwei Chen, Peiyao Liu, Jun Liu, Yang Xu, Jian Zhong. Multilayer Inverse Dynamic Deduction Algorithm of Standard Contradiction Separation Rule Based on Parallel Mechanism[J]. Engineering Applications of Artificial Intelligence, 2026,163:113073. 中科院一区TOP期刊论文 [2] Guoyan Zeng(曾国艳), Shuwei Chen, Jun Liu, Yang Xu, Peiyao Liu. A complementary ratio based clause selection method for contradiction separation dynamic deduction[J]. Knowledge-Based Systems, 2024, 284: 111238. DOI:10.1016/j.knosys.2023.111238. 中科院一区TOP期刊论文 [3]曾国艳, 徐扬, 陈树伟, 姜世攀. 基于多属性决策的一阶逻辑子句选择方法 [J]. 西南交通大学学报, 2025, 60 (01): 185-193. EI期刊论文、卓越期刊 [4] Guoyan Zeng, Guanfeng Wu, Shuwei Chen, Yang Xu, Peiyao Liu. Inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanism[C]. Intelligent Management of Data and Information in Decision Making: Proceedings of the 16th FLINS Conference on Computational Intelligence in Decision and Control & the 19th ISKE Conference on Intelligence Systems and Knowledge Engineering (FLINS-ISKE 2024). 2024: 97-104. [5] Guoyan Zeng, Yang Xu, Shuwei Chen. An improved contradiction separation dynamic deduction method based on complementary ratio[C]. The 15th International FLINS Conference on Machine Learning Multi Agent and Cyber Physical Systems, 2023, 45-53. [6] Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao. Improving CSE-F 1.0 prover with importance measure based literal selection strategy[C]. The 2021 IEEE International Conference on Intelligence Systems and Knowledge Engineering, 2021, 47-51. EI会议论文 [7] Guoyan Zeng, Peiyao Liu, Guanfeng Wu, Shuwei Chen, Yang Xu, Jian Zhong. Dynamic Parallel Deduction Algorithm of Standard Contradiction Separation Rule Based on Ground Clause. The 2025 IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2025(accept) [8]曾国艳,陈罗平,付雪梅. 抛物型拟线性积分微分方程基于扩展混合有限元的两层网格离散方法 [J]. 四川师范大学学报(自然科学版), 2021, 44 (06): 784-791. 二、合作论文： [1] Luoping Chen, Fanyun Wu, Guoyan Zeng. Two-grid weak Galerkin method for semilinear elliptic differential equations[J]. Mathematical Methods in the Applied Sciences, 2023, 46(1): 423-437.(SCI检索,检索号DOI:10.1002/mma.8519). [2] Yiqing Xian, Guoyan Zeng, Jun Liu. Data complexity and its effect on EBRB systemaccuracy[C]. International Conference on Ubiquitous Computing and Ambient Intelligence. Cham: Springer Nature Switzerland, 2024: 841-852.(EI检索国际会议,检索号DOI:10.1007/978-3-031-77571-0_80). [3]姜世攀,陈树伟,曾国艳. 一阶逻辑定理证明器中的无效子句删除策略[J]. 计算机应用, 2024, 44 (03): 677-682.（北大核心检索,检索号DOI:10.11772/j.issn.1001-9081.2023030284）. 三、学术竞赛： [1] Zeng Guoyan. CSI E 1.0. In Geoff Sutcliffe, editor, Proceedings of the 12th IJCAR ATP System Competition (CASC-J12), pages 17--18, 2024. (国际顶级自动定理证明器竞赛CASC 2024年亚军,团队奖，排名第一) [2] Zeng Guoyan. CSI Enigma 1.0.5. In Geoff Sutcliffe, editor, Proceedings of the CADE-30 ATP System Competition (CASC-30), pages 14--15, 2025. (国际顶级自动定理证明器竞赛CASC 2025年季军,团队奖，排名第一) [3]国际顶级自动定理证明器竞赛CASC 2021年季军,团队奖 [4]International Conference on Automated Deduction ATP System Competition- CASC-J11, 2022.08,第四名,团队奖 [5]International Conference on Automated Deduction ATP System Competition- CADE-29, 2023.07,第四名,团队奖 |
教学工作
主讲《Linux应用开发》 |