 |
| Russian | English |
| в соответствии с допущением замкнутости мира | as per the closed-world assumption (допущением замкнутости мира: всё, что не доказано в логической программе (теории) как истинное, считается логически ложным Alex_Odeychuk) |
| внутренняя модель мира | internal model of the world (theatlantic.com Alex_Odeychuk) |
| допущение открытости мира | open-world assumption (the unmentioned literals are unknown Alex_Odeychuk) |
| модель внешнего мира | model of the external world (theatlantic.com Alex_Odeychuk) |
| предположение об открытости мира | open-world assumption (предположение в формальной логике о том, что истинность утверждения не зависит от того, известно ли какому-либо агенту о верности данного утверждения Alex_Odeychuk) |