文件名称：一阶谓词逻辑和知识绑定
文件大小：680KB
文件格式：DOC
更新时间：2012-01-04 18:06:33
一阶谓词
这是我的文章的第三章的第二节，因为有公式没法发，直接放这里了。
一阶谓词逻辑和知识绑定
【文件属性】：
网友评论
- 我想，很多人一定做个爱因斯坦的一道思考题，关于五房间问题的。这个案例里面用二阶谓词逻辑完成了“假设一个社区里有四间并排的住房，分别住着四位绅士，他们分别喝不同的饮料，养不同的宠物，并且喜欢不同的颜色。”对大家真是很好的一个提示的作用。值得推荐。