首页 > 专家库
钟秀琴

领域:新一代信息技术产业 学校:电子科技大学职称:副教授

1. 人工智能及其应用 主要包括自动推理、领域本体、知识库、认知模型等 2. 机器证明 主要包括自动推理、符号计算、定理机器证明、数学机械化等...

具体了解该专家信息,请致电:027-87555799 邮箱 haizhi@uipplus.com

教育背景

2003.09-2008.07 中国科学院研究生院 计算机软件与理论专业 硕博连读 工学博士 1996.09-2000.07 西安电子科技大学 应用数学专业 本科 理学学士

工作经历

2013.08-至今,电子科技大学,计算机科学与工程学院,副教授 2014.08-2015.08,瑞士弗里堡大学,访问学者 2008.09-2013.07,电子科技大学,计算机科学与工程学院,讲师 2000.07-2008.09,中国科学院成都分院,中科院成都计算机应用研究所,工程师

项目课题经历

作为第三负责人主持国家863重点项目“初等数学问题求解及关键技术”(2015.01-2017.12, 659万); 主持国家自然科学基金项目“基于本体的认知推理模型及其应用研究”,(2013.01-2015.12, 24万); 主持中央高校基金项目“融合规则推理与本体推理的知识推理及其应用”,(2010-2011,7万); 主持横向项目“装备多信道存储转换器”,(51万); 参与自然科学基金1项“基于本体的几何定理机器证明” (2011-2013); 参与四川省科技厅基金1项“基于科学知识图谱分析的个性化文献推送系统”(2012-2014)

论文、成果、著作等

[1] Xiuqin Zhong*, Hongguang Fu, Huadong Xia, Leina Yang, Mingsheng Shang. A Hybrid Cognitive Assessment Based on Ontology Knowledge Map and Skills. Knowledge-Based Systems, 73, pp 52-60, 2015. (SCI) [2] FU Hongguang, ZHONG Xiuqin*, LI Qunan, Huadong Xia, LI Jie. Geometry Knowledge Base Learning from Theorem Proofs. Knowledge Engineering and Management, Advances in Intelligent Systems and Computing Volume 278, 2014, pp 21-33. (EI) [3] 钟秀琴*,刘忠,丁盘苹. 基于混合推理的知识库的构建及其应用研究. 计算机学报,35(4),pp 761-766. 2012. (EI) [4] Zhong Xiu-Qin*,Fu Hong-Guang,Ding Pan-Ping. Geometry theorem proving on ontology and Prolog. Dianzi Keji Daxue Xuebao/journal of the University of Electronic Science and Technology of China, 40(3), pp 429-434, 2011. (EI) [5] Xiuqin Zhong*, Hongguang Fu & Yan Jiang. Coupling ontology with rule-based theorem proving for knowledge representation and reasoning. Communications in Computer and Information Science, v 118 CCIS, p 110-119, 2010, Database Theory and Application, Bio-Science and Bio-Technology. (EI) [6] 钟秀琴*, 符红光, 佘莉, 黄斌. 基于本体的几何学知识获取及知识表示. 计算机学报, 33(1), pp 167-174, 2010. (EI) [7] Honggguang Fu, Xiuqin Zhong*, Zhenbing Zeng, Automated and Readable Simplification of Trigonometric Expressions, Mathematical and Computer Modeling, 44(11-12), pp1169-1177, 2006. (SCI)

专利、著作版权等

声明:本站专家信息来源于各高校官网。