曹发生个人简介
曹发生,男,哲学博士,中山大学逻辑学专业数理逻辑方向毕业,现任必赢电子游戏网站437副教授,认知科学与技术系“人工智能与思维认知”教研室主任。主讲课程:《数据分析与SPSS应用》(SPSS统计分析与应用)、《教育与心理统计》《教育学研究方法》之教育测量法、《人工智能概论》《现代逻辑与形式化方法》《Python基础》《认知计算(机器学习)》《认知网络分析》等。
◆研究领域
教育管理;教育测量;教育调研分析;人工智能;量子认知等。
◆主要课题
主持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.