Предположение об открытости мира

В формальной логике, предположение об открытости мира - предположение, о том, что истинность утверждения независима от того, "известно" ли какому-либо наблюдателю или агенту о верности данного утверждения или нет. Оно - противоположно предположению о закрытости мира, которое считает, что любое утверждение, о котором не известно, что оно верно, ложно. Предположение об открытости мира (ПОМ) используется в представлении знаний, чтобы кодировать неформальное понимание того, что вообще никакой агент или наблюдатель не имеют полного знания, и поэтому не могут делать предположение о закрытости мира. ПОМ ограничивает виды вывода и заключений, которые агент может сделать теми, которые следуют из утверждений, которые, как известно агенту, верны. Напротив, предположению о закрытости мира позволяет агенту заключать, из его нехватки знаний об утверждении, являющимся истинным, любое утверждение, которое следует из него, как являющееся ложным.