GWV-WMA: Subsumption
2008-09-26 14:27
Viprex
Mag vielleicht jemand in eigenen Worten erklären, was die Subsumption auf Basis des Konsitenzcheck genau ist?
In den Folien steht:
(implies C1 C2) equiv (and C1 (not C2)) folgertSymbol *BOTTOM*
folgertSymbol *Bottom* ist hier ja der Konsistenzcheck. Was soll mir die Zeile sagen? C1 ist größer als C2? Oder wenn C1 implies C2 dann gibt es keine Belegung, die C2 nicht wahr macht?
Würde mich über Hilfestellung freuen.
In den Folien steht:
(implies C1 C2) equiv (and C1 (not C2)) folgertSymbol *BOTTOM*
folgertSymbol *Bottom* ist hier ja der Konsistenzcheck. Was soll mir die Zeile sagen? C1 ist größer als C2? Oder wenn C1 implies C2 dann gibt es keine Belegung, die C2 nicht wahr macht?
Würde mich über Hilfestellung freuen.