曹发生，男，哲学博士，中山大学逻辑学专业数理逻辑方向毕业，现任贵州民族大学民族文化与认知科学学院副教授。主讲课程：《人工智能导论》《模态逻辑》《离散数学》《现代逻辑与形式化方法》《高等数学》《概率与数理统计》《量子认知》《神经网络》《认知计算（机器学习）》《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.