Knstliche Intelligenz und Heuristisches Programmieren [Paperback]

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.Springer Book Archives