Bookbot

Analogieschlüsse beim automatischen Beweisen

Viac o knihe

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.

Nákup knihy

Analogieschlüsse beim automatischen Beweisen, Oscar Slotosch

Jazyk
Rok vydania
1992
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť