封闭世界假设

来自术语
跳转至: 导航搜索

    Reiter在1978年提出的一种处理含否定词的演绎数据库查询语句的方法,可抽象成如下非单调推理机制:在封闭世界中若不知道某命题是否为真,则认定此命题为假。

英文名 closed world assumption



链接

Wikipedia https://en.wikipedia.org/wiki/closed_world_assumption