- 1
- 2
- 3
- 4
- 5
基于稳定度的一阶逻辑项评估方法
资料介绍
针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题，基于项在文字替换过程中的 Herbrand语义特征，分析其制约因素和度量规则，给出项稳定度的定义并提出一种基于稳定度的项评估方法。将所提方法作为文字选择的启发式策略，应用于自动定理证明器中子句集的归入冗余判定中，结果表明，该方法能较好地刻画阶逻辑中的项特征，与基于项序的文字选择方法相比，其检测次数平均减少50.8%，运行时间平均缩短53.3%。
部分文件列表
| 文件名 | 大小 |
| 9c399768a57b8de7513c57f1ad55f818.pdf | 2M |
最新上传
- 打赏
- 30日榜单
-
我来看看怎 打赏5.00元 3天前
用户：xzxbybd
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏270.00元 3天前
用户：liqiang9090
-
21ic下载 打赏210.00元 3天前
用户：w178191520
-
21ic下载 打赏210.00元 3天前
用户：kk1957135547
-
21ic下载 打赏110.00元 3天前
用户：w1966891335
-
21ic下载 打赏110.00元 3天前
用户：w993263495
-
21ic下载 打赏100.00元 3天前
用户：1111111ffgg
-
21ic下载 打赏40.00元 3天前
用户：jh03551
-
21ic下载 打赏30.00元 3天前
用户：WK520077778
-
21ic下载 打赏30.00元 3天前
用户：sun2152
-
21ic下载 打赏15.00元 3天前
用户：x15580286248
-
21ic下载 打赏25.00元 3天前
用户：xzxbybd
-
21ic下载 打赏25.00元 3天前
用户：ytt006
-
21ic下载 打赏10.00元 3天前
用户：poplarly
-
21ic下载 打赏20.00元 3天前
用户：muguang28
-
21ic下载 打赏10.00元 3天前
用户：konglongcong
-
21ic下载 打赏10.00元 3天前
用户：铁蛋锅
-
21ic下载 打赏20.00元 3天前
用户：muguang28
-
21ic小能手 打赏10.00元 3天前
资料： DeepSeek从入门到精通
-
POWER998 打赏5.00元 3天前
用户：SekiBetu
-
21ic小能手 打赏5.00元 3天前
资料：zTEB的应用程序
-
21ic小能手 打赏5.00元 3天前
资料：欧瑞伺服资料
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏15.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：kk1957135547
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：liqiang9090
-
21ic下载 打赏160.00元 3天前
用户：w178191520
-
21ic下载 打赏210.00元 3天前
用户：jh035511
-
21ic下载 打赏150.00元 3天前
用户：jh03551
-
21ic下载 打赏40.00元 3天前
用户：cooldog123pp
-
21ic下载 打赏40.00元 3天前
用户：sun2152
-
21ic下载 打赏30.00元 3天前
用户：WK520077778
全部评论(0)