https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Schwache_Negation 2026-06-06T22:32:40Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Schwache_Negation&diff=2487787&oldid=prev 2025-12-03T07:27:28Z

<p><span class="autocomment">Einleitung: </span> &quot;PROLOG&quot; ist eine unübliche Schreibweise für Prolog.</p> <p><b>Neue Seite</b></p><div>In der [[Wissensverarbeitung]] und [[Formale Logik|formalen Logik]] findet der [[Positivismus]] in der &#039;&#039;&#039;schwachen Negation&#039;&#039;&#039; (English: negation as failure) statt. Satz hierbei ist, dass wenn ein atomarer Ausdruck durch [[Resolution (Logik)|Resolution]] nicht bewiesen werden kann, generell zunächst davon ausgegangen wird, dass der Ausdruck falsch ist. Die schwache Negation findet auch in der Programmiersprache [[Prolog (Programmiersprache)|Prolog]] Verwendung.<br /> <br /> Pseudocode:<br /> <br /> if (¬resolute (goal p)), then (assert ¬p)<br /> <br /> Die schwache Negation ist sinnvoll, da davon ausgegangen werden muss, dass das gesammelte Wissen stets unvollständig ist und die Resolution daher oftmals keine eindeutigen Ergebnisse liefern kann.<br /> <br /> == Beispiel ==<br /> <br /> In [[Horn-Klausel]]-Form:<br /> <br /> heizung_defekt :- ¬batterie_leer, heizgebläse_defekt<br /> <br /> Kann batterie_leer nicht durch Resolution als wahr befunden werden, so wird davon ausgegangen, dass batterie_leer nicht gilt. Somit ist heizung_defekt dann wahr, wenn heizgebläse_defekt wahr ist.<br /> <br /> == Quellen ==<br /> * https://users.informatik.uni-halle.de/~brass/lp93/c9_negat.pdf<br /> <br /> [[Kategorie:Mathematische Logik]]<br /> [[Kategorie:Logikkalkül]]</div>

imported>Tea2min