Bookbot

Analogieschlüsse beim automatischen Beweisen

En savoir plus sur le livre

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.

Achat du livre

Analogieschlüsse beim automatischen Beweisen, Oscar Slotosch

Langue
Année de publication
1992
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer