Baustein:CWA

Aus VoWi
Zur Navigation springen Zur Suche springen
Closed-world assumption (CWA) of theory T[Bearbeiten]


\begin{align}
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{align}