推荐星级:
- 1
- 2
- 3
- 4
- 5
基于稳定度的一阶逻辑项评估方法
资料介绍
针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题,基于项在文字替换过程中的 Herbrand语义特征,分析其制约因素和度量规则,给出项稳定度的定义并提出一种基于稳定度的项评估方法。将所提方法作为文字选择的启发式策略,应用于自动定理证明器中子句集的归入冗余判定中,结果表明,该方法能较好地刻画阶逻辑中的项特征,与基于项序的文字选择方法相比,其检测次数平均减少50.8%,运行时间平均缩短53.3%。
部分文件列表
文件名 | 大小 |
9c399768a57b8de7513c57f1ad55f818.pdf | 2M |
全部评论(0)