Künstliche Intelligenz und Heuristisches Programmieren, Softcover reprint of the original 1st ed. 1975
Langue : Allemand
Coordonnateur : Findler N.V.
Zur automatischen Beweisführung von Theoremen.- Über den Bau von Deduktionsmaschinen.- Vorbemerkungen zu einer Theorie der Effizienz von Beweisverfahren.- Problem-orientierte Programmiersprachen.- Problemlösungskompilierer.- AMPPL-II: Praktische Anwendungsbereiche.- Das Lösen von Problemen.- Heuristische Suche: Konzepte und Methoden.- Die Formulierung und Durchführung von Plänen durch Maschinen.- Ein allgemeines Programm für Spiele.- Integrierte Systeme.- Das Rahmenproblem in Problemlösungssystemen.- Verarbeitung von natürlicher Sprache und Bildern.- Die Zusammensetzheuristik und ein Sprachlernmodell.- Die natürliche Sprache als Kommunikationsmittel im programmierten Unterricht.- Rechenanlagen, die natürliche Sprache verstehen.- Zur Beschreibung von Bildern.- Kognitive Studien.- Kognitive Lernprozesse: Ein Erklärungsversuch.- Glossarium.- Weiterführende Literatur.- Namenverzeichnis.
Date de parution : 09-1975
Date de parution : 01-2012
Ouvrage de 349 p.
17x24.4 cm
Thème de Künstliche Intelligenz und Heuristisches Programmieren :
Mots-clés :
Intelligenz; Programmieren; Programmierung; Programmierung (EDV); künstliche Intelligenz
© 2024 LAVOISIER S.A.S.