封闭世界假设

封闭世界假设（closed world assumption）是2018年全国科学技术名词审定委员会公布的计算机科学技术名词。雷·赖特（RayReiter)于1978年提出的一种处理含否定词的演绎数据库查询语句的方法。可抽象成如下非单调推理机制：在封闭世界中若不知道某命题是否为真，则认定此命题为假。