曹发生，男，哲学博士，中山大学逻辑学专业数理逻辑方向毕业，现任贵州民族大学民族文化与认知科学学院副教授。主讲课程：《数据分析与SPSS应用》、《教育与心理统计》、《教育学研究方法》之教育测量法、《人工智能导论》、《现代逻辑与形式化方法》、《机器学习》、《神经网络》、《phyton基础》等。
◆研究领域
教育管理；教育测量；教育调研分析；人工智能；量子认知等。
◆主要课题
主持2020年度国家社科基金西部项目“多模态逻辑的代数语义研究”。
主持完成2009年度贵州省教育厅自然科学基金项目“布尔格值自动机及其应用”。
主要参与完成2017年度国家自然科学基金项目“分片等距系统若干动力学问题的研究”。
主要参与完成2013年度贵州省自然科学基金项目“量子自动机的状态复杂性”。
主要参与2020年度贵州省哲学社会科学规划国学单列重大基金项目“认知科学与阳明心学的实证研究”。
◆主要成果
[1]曹发生等.循环Tbox具有模型的条件[J].计算机学报,2008,35(1):9-16.
[2]曹发生.信息系统更新的自动机[J].逻辑学研究,2015,8(01):79-94.
[3]曹发生.Tarski代数和模态代数的主同余[J].山东大学学报(理学版),2020,55(10):20-23.
[4]曹发生,肖方.模态代数的主同余[J].山东大学学报(理学版),2020,55(02):104-108.
[5]曹发生.开放世界信息更新的逻辑系统[J].烟台大学学报(自然科学与工程版),2020,33(04):464-471.
[6]张学立，董英东，曹发生，张家锋哲学逻辑引论[M]北京：科学出版社.2013.
[7] 张维, 侯金宏, 曹发生,等. 描述逻辑系统FLEN中概念的最小公共包含算法研究[J]. 计算机研究与发展, 2010.
[8] 张家锋,徐扬,曹发生.格值一阶逻辑LF(X)中α-广义语义归结方法的相容性[J].模糊系统与数学,2016.
[9] 聂登国, 康旺强, 曹发生,等. 描述逻辑FL0的包含推理及其保守扩充[J]. 计算机研究与发展, 2015.
[10] Cao F Arbitrary Finite Dimensional Generalization of Quantum Coin-Flipping Game[J]. Journal of Physics: Conference Series, 2020, 1650(3):032140.
[11] Cao F , Wei Z , Zhang X , et al. THE RELATION BETWEEN THE NUMBER RESTRICTION AND THE VALUE RESTRICTION ON FRAGMENTS OF ALCN. 2015.
[12]Zhang Y，Cao F.On the Succinctness of Cardinality Constraint Programs and Canonical Logic Programs，International Symposium on Computational Intelligence and Design，2019.
