Kategorie:CWA

Closed-world assumption (CWA) of theory T

$\begin{matrix} T_{a s m} & = {\neg P ∣ P ground atom, T ⊭ P} \\ CWA (T) & = {φ ∣ T \cup T_{a s m} ⊨ φ, φ closed} = C n (T \cup T_{a s m}) \end{matrix}$

Seiten in der Kategorie „CWA“

Folgende 2 Seiten sind in dieser Kategorie, von 2 insgesamt.

E

TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Übungen SS12/Blatt 3 - Beispiel 2
TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Übungen WS12/Blatt 3 - Beispiel 1

Kategorie:CWA

Closed-world assumption (CWA) of theory T

Seiten in der Kategorie „CWA“

E

Navigationsmenü

Suche