Kategorie:CWA

Closed-world assumption (CWA) of theory T[Bearbeiten | Quelltext bearbeiten]

${\displaystyle {\begin{aligned}T_{asm}&=\{\lnot P\mid P\,\,{\text{ground atom}},\,T\nvDash P\}\\{\text{CWA}}(T)&=\{\varphi \mid T\cup T_{asm}\models \varphi ,\varphi \,{\text{closed}}\}=Cn(T\cup T_{asm})\end{aligned}}}$