封闭世界假设相关论文
本文讨论了RKIF规范的设计和推理引擎的实现。最终定义的RKIF实际上是一个默认封闭世界假设，并去掉了一些不常用的KIF语法特性的KIF......
事务是由一组数据库操作序列组成的,具有ACID特性。然而,在大规模分布式应用环境下,传统的事务模型是不适用的。在考虑系统性能的......
针对复杂物理系统难以直接构造QSIM定性模型的问题,给出一个基于组件连接的QSIM建模方案─QSIM-CC系统。该系统通过对具体物理系统......
研究数据集成中的布尔查询的改写问题．考虑布尔查询的特殊性，简化了布尔查询的改写处理，给出了在封闭世界假设下的多项式改写算法和开......
析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCW......
报告了关于少儿图灵测试(CTT)的一项研究工作.研究区别于其他人的主要之处是该测试程序是基于知识的,它依靠一个海量常识知识库的......
在逻辑程序LP、归纳逻辑程序ILP及其他系统中都涉及封闭世界假设和开放世界假设。由于学科之间的差异性，或者说侧重点不一样，假设的......
