closed WP

Closed WP指的是“封闭世界假设”（Closed World Assumption）的简称。它是一种逻辑假设，认为世界上只有已知的事实是真实的，其他事实都被认为是不真实的或者未知的。在封闭世界假设下，一个命题或者陈述只有在已知的事实中得到证实时才被认为是真实的，而在未知的事实中暂时被认为是不真实的。这个概念在计算机科学中经常被用来处理逻辑推理和数据库查询问题。