Künstliche Intelligenz und Heuristisches Programmieren

Herausgegeben:Findler, N. V.;Übersetzung:Itzinger, O.

• Broschiertes Buch

Produktdetails

• Verlag: Springer, Berlin / Springer, Wien
• Softcover reprint of the original 1st ed. 1975
• Seitenzahl: 360
• Erscheinungstermin: 7. Januar 2012
• Deutsch
• Abmessung: 244mm x 170mm x 20mm
• Gewicht: 620g
• ISBN-13: 9783709183908
• ISBN-10: 3709183901
• Artikelnr.: 39494727

Inhaltsangabe

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.