Quelltext der Seite Schwache Negation

In der [[Wissensverarbeitung]] und [[Formale Logik|formalen Logik]] findet der [[Positivismus]] in der '''schwachen Negation''' (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.

Pseudocode:

 if (¬resolute (goal p)), then (assert ¬p)

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.

== Beispiel ==

In [[Horn-Klausel]]-Form:

 heizung_defekt :- ¬batterie_leer, heizgebläse_defekt

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.

== Quellen ==
* https://users.informatik.uni-halle.de/~brass/lp93/c9_negat.pdf

[[Kategorie:Mathematische Logik]]
[[Kategorie:Logikkalkül]]