Künstliche Intelligenz und Heuristisches Programmieren
Springer Wien (Verlag)
978-3-7091-8390-8 (ISBN)
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.
| Erscheint lt. Verlag | 7.1.2012 |
|---|---|
| Übersetzer | O. Itzinger |
| Zusatzinfo | VIII, 349 S. |
| Verlagsort | Vienna |
| Sprache | deutsch |
| Maße | 170 x 244 mm |
| Gewicht | 620 g |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Schlagworte | Intelligenz • Künstliche Intelligenz • Programmieren • Programmierung • Programmierung (EDV) |
| ISBN-10 | 3-7091-8390-1 / 3709183901 |
| ISBN-13 | 978-3-7091-8390-8 / 9783709183908 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
