(29-08-2013, 00:34)Ekkard schrieb: Hier aber habe ich auch meine Bedenken, weil eine nicht unerhebliche Arbeit darin besteht, den Beweisgang in eine Form zu bringen, die von KI-Maschinen verstanden wird - und diese Arbeit ist ihrerseits fehleranfällig.
Als Softwareentwickler kann ich dir da nur zustimmen!*g*
Und ich arbeite in einem Bereich, in dem es um "Beweise" dafür geht, dass z.B. der elektronisch gesteuerte Airbag im Auto im Notfall auch wirklich aufgeht.