基于子句综合权重的多元动态演绎算法及应用

曹锋; 徐梓伟; 易见兵; 李俊

doi:10.14188/j.1671-8836.2023.0205

您当前的位置：

首页 >

文章列表页 >

基于子句综合权重的多元动态演绎算法及应用

更新时间：2024-04-29

- 基于子句综合权重的多元动态演绎算法及应用
- Multi-clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight
- “在子句选取与多元动态演绎领域，一项新的研究取得了显著进展。该研究通过深入分析演绎前后项合一能力的变化，提出了一种子句影响度的度量方法，以及一种综合子句影响度、剩余文字个数和文字演绎能力的子句评估方法。这一方法不仅有效控制了矛盾体分离式的文字个数，还为多元动态演绎过程提供了有效指导。研究团队进一步将这一子句评估方法应用于国际顶尖的一阶逻辑自动定理证明器Eprover3.1中，并通过最新的国际自动定理证明器竞赛例（FOF组）进行了测试。测试结果表明，加入多元动态演绎算法的Eprover3.1比原始版本多证明了18个定理，且在难问题判定上，成功证明了其他所有证明器都未能证明的8个定理。这一研究成果不仅丰富了子句选取与多元动态演绎的理论体系，也为自动定理证明领域提供了新的方法和思路。该研究的成功应用为相关领域的研究者提供了有力支持，有助于推动自动定理证明技术的进一步发展和应用。”
  
  ”
- 武汉大学学报（理学版） 2024年页码：1-12
- 作者机构：
  
  江西理工大学信息工程学院，江西赣州 341000
- 作者简介：
  
  曹锋，男，讲师，现从事智能信息处理、自动推理研究。E-mail：caofeng19840301@163.com
- 基金信息：
  
  国家自然科学基金(62366017;62066018);江西省教育厅项目(GJJ200818;GJJ210828);赣州市科技计划项目(GZKJ20206030);江西理工大学博士启动基金(205200100060)
- DOI：10.14188/j.1671-8836.2023.0205
  中图分类号： TP181
- 网络出版日期：2024-04-29，
  
  收稿日期：2023-10-31，
扫描看全文
曹锋，徐梓伟，易见兵，等.基于子句综合权重的多元动态演绎算法及应用［J］.武汉大学学报（理学版），XXXX，XX（XX）：1-12. DOI：10.14188/j.1671-8836.2023.0205.

CAO Feng，XU Ziwei，YI Jianbing，et al.Multi-clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight ［J］.J Wuhan Univ （Nat Sci Ed），XXXX，XX（XX）：1-12. DOI：10.14188/j.1671-8836.2023.0205（Ch）.
曹锋，徐梓伟，易见兵，等.基于子句综合权重的多元动态演绎算法及应用［J］.武汉大学学报（理学版），XXXX，XX（XX）：1-12. DOI：10.14188/j.1671-8836.2023.0205. DOI：

CAO Feng，XU Ziwei，YI Jianbing，et al.Multi-clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight ［J］.J Wuhan Univ （Nat Sci Ed），XXXX，XX（XX）：1-12. DOI：10.14188/j.1671-8836.2023.0205（Ch）. DOI：

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种形式化的可信平台模块应用编程接口安全性分析方法

基于子句综合权重的多元动态演绎算法及应用

Multi-clause Dynamic Deduction Algorithm and Application Based on Clause Comprehensive Weight

DOI：10.14188/j.1671-8836.2023.0205