人工智能 谓词公式化为子句集
1.消去蕴含等价2.将否定符号移动到紧靠谓词的位置上3.变量标准化即，不同含义的变量用不同字母。4.消去存在量词分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。5.化为前束式{全称量词串}（不含全称量词的式子）6.化为skolem标准型7.略去全称量词即，全称量词串直接省略不写。8.消去合取连接词...
·
1.消去蕴含等价
2.将否定符号移动到紧靠谓词的位置上
3.变量标准化
即，不同含义的变量用不同字母。
4.消去存在量词
分两种情况：存在量词出现在一个或者多个全称量词辖域内；存在量词不出现在全称量词辖域内。
5.化为前束式
{全称量词串}（不含全称量词的式子）
6.化为skolem标准型
7.略去全称量词
即，全称量词串直接省略不写。
8.消去合取连接词
9.字句变量标准化
即，不同的字句用不同的变元。
（只做1-5化为前束形）
魔乐社区（Modelers.cn) 是一个中立、公益的人工智能社区，提供人工智能工具、模型、数据的托管、展示与应用协同服务，为人工智能开发及爱好者搭建开放的学习交流平台。社区通过理事会方式运作，由全产业链共同建设、共同运营、共同享有，推动国产AI生态繁荣发展。
更多推荐
6
0- 0
已为社区贡献1条内容
所有评论(0)