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

钟建; 徐扬; 陈树伟; 何星星

首页> 中文期刊> 《计算机工程》 >一阶逻辑中基于稳定度的项评估方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2019年第11期|183-190197|共9页
作者
钟建; 徐扬; 陈树伟; 何星星;
展开▼
作者单位

西南交通大学信息科学与技术学院成都611756;

西南交通大学系统可信性自动验证国家地方联合工程实验室成都611756;

西南交通大学数学学院成都611756;

展开▼
原文格式 PDF
正文语种 chi
中图分类 V221.3;
关键词
一阶逻辑; 自动定理证明器; 项评估; 启发式策略; Herbrand语义特征;

相似文献

中文文献
外文文献
专利

1. 基于深度学习的多输入特征融合的暂态电压稳定性评估方法 [J] . 潘晓杰 ,徐友平 ,朱成亮 . 电网与清洁能源 . 2021,第002期
2. 基于深度森林的电力系统暂态稳定评估方法 [J] . 李淼 ,雷鸣 ,周挺 . 电测与仪表 . 2021,第002期
3. 基于加权t-SNE和偏离度的捷联惯组稳定状态评估方法 [J] . 李亚 ,徐军辉 ,单斌 . 导弹与航天运载技术 . 2020,第002期
4. 一种基于大气稳定度的风资源评估方法 [J] . 马晓梅 ,王博 ,刘永前 . 可再生能源 . 2020,第001期
5. 基于深度神经网络的交直流电力系统暂态稳定评估方法 [J] . 张业宇 ,曾平良 ,赵兵 . 电力科学与工程 . 2020,第009期
6. 一阶逻辑项与公式归纳证明的基础及递归定义的合理性 [C] . 许涤非 . 第二届两岸逻辑教学学术会议 . 2006
7. 基于焦点损失轻梯度提升机的暂态稳定评估方法 [A] . 李保罗 . 2021

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

摘要

著录项

相似文献

相关主题

期刊订阅