Gratisversand in ganz Deutschland!
Bookbot

Oscar Slotosch

    Refinements in HOLCF: implementation of interactive systems
    Analogieschlüsse beim automatischen Beweisen
    • 1992

      Was macht den Menschen intelligenter als die Maschine? Grundlage für den Analogiebegriff ist eine einheitliche Darstellung der Aussagen in Klauselform und der dadurch festgelegte Konnektionsgraph. Diese Strukturen werden von Ähnlichkeitsfunktionen verglichen und so zum Berechnen des Analogiewertes zweier Aussagen verwendet. Diese Berechnung erfolgt in polynomieller Zeit.

      Analogieschlüsse beim automatischen Beweisen