×

基于稳定度的一阶逻辑项评估方法

消耗积分:0 | 格式:rar | 大小:1.62 MB | 2021-05-19

分享资料个

　　针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题，基于项在文字替换过程中的 Herbrand语义特征，分析其制约因素和度量规则，给出项稳定度的定义并提出一种基于稳定度的项评估方法。将所提方法作为文字选择的启发式策略，应用于自动定理证明器中子句集的归入冗余判定中，结果表明，该方法能较好地刻画阶逻辑中的项特征，与基于项序的文字选择方法相比，其检测次数平均减少50.8%，运行时间平均缩短53.3%。

下载并关注上传者 开通VIP，低至0.08元下载/次

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !