简答:
- 子句集的化简
(1).消去连接词”—>”和”<—>”
(2)减少否定符号的辖域
(3)对变元标准化
(4)化为前束范式
(5)消去存在量词
(6)化为Skolem标准形
(7)消去全称量词
(8)消去合取词
(9)更换变元名称
2.在状态空间搜索中,Open表与Closed表的作用与区别是什么?
简答:
(1).消去连接词”—>”和”<—>”
(2)减少否定符号的辖域
(3)对变元标准化
(4)化为前束范式
(5)消去存在量词
(6)化为Skolem标准形
(7)消去全称量词
(8)消去合取词
(9)更换变元名称
2.在状态空间搜索中,Open表与Closed表的作用与区别是什么?
版权声明:
本网仅为发布的内容提供存储空间,不对发表、转载的内容提供任何形式的保证。凡本网注明“来源:XXX网络”的作品,均转载自其它媒体,著作权归作者所有,商业转载请联系作者获得授权,非商业转载请注明出处。
我们尊重并感谢每一位作者,均已注明文章来源和作者。如因作品内容、版权或其它问题,请及时与我们联系,联系邮箱:809451989@qq.com,投稿邮箱:809451989@qq.com