会员
周边
新闻
博问
融资
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
象鼻蚌
有心栽花花不开,无心插柳柳成荫!
博客园
首页
新随笔
联系
管理
订阅
2010年3月7日
学习使用Alchemy笔记之二
摘要: 总算把Alchemy的入门指南全部过了一遍,关于open-world、closed-world以及evidence predicate,它是这样说的:If the closed-world assumption is made for a predicate, its ground atoms that are not defined in a .db file are false, while ...
阅读全文
posted @ 2010-03-07 21:37 象鼻蚌
阅读(458)
评论(0)
推荐(0)
编辑