广西师范大学学报(自然科学版)2024,Vol.42Issue(6):P.164-176,13.DOI:10.16088/j.issn.1001-6600.2024020302
一种基于子句稳定度的多元动态演绎算法及应用
摘要
关键词
一阶逻辑/定理证明/人工智能/启发式策略/多元动态演绎分类
信息技术与安全科学引用本文复制引用
曹锋,王家帆,易见兵,李俊..一种基于子句稳定度的多元动态演绎算法及应用[J].广西师范大学学报(自然科学版),2024,42(6):P.164-176,13.基金项目
国家自然科学基金(62366017,62066018) (62366017,62066018)
江西省教育厅项目(GJJ200818,GJJ210828) (GJJ200818,GJJ210828)
赣州市科技计划项目(GZKJ20206030) (GZKJ20206030)
江西理工大学博士启动基金(205200100060)。 (205200100060)