In der Wissensverarbeitung und formalen Logik findet der Positivismus in der schwachen Negation (English: Negation as Failure) statt. Satz hierbei ist, dass wenn ein atomarer Ausdruck durch Resolution nicht bewiesen werden kann, generell erstmal davon ausgegangen wird, dass der Ausdruck falsch ist. Die schwache Negation findet auch in der Programm...