- 博客(0)
- 资源 (1)
空空如也
命题逻辑系统的自动推理
本程序用归结反演策略实现了命题逻辑系统的自动推理
归结方法的基本算法很简单,每次从子句集中选择两个可进行归结的子句,求它们的归结式,如果归结式为NIL,则算法结束,结论得证。如果归结式不为空,则将该归结式加入到子句集中,继续以上过程。
2008-12-21
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
2008-12-21
TA创建的收藏夹 TA关注的收藏夹
TA关注的人