1 Buch 

Wissenschaftliche Literaturautomatisches BeweisenInformatik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Analogieschlüsse beim automatischen Beweisen (Forschungsarbeit)

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen Analogiebegriff so zu konkretisieren, daß er von der…

ÄhnlichkeitsfunktionAlgorithmenAnalogieautomatisches BeweisenBewertungsfunktionInformatikKlassifikationKonnektions-MethodePrädikatenlogik