Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15-24. März 1982 (Informatik-Fachberichte, 59, Band 59) - Erstausgabe

EAN (ISBN-13): 9783540119746
ISBN (ISBN-10): 3540119744
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1983
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2007-05-28T20:11:54+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-04T12:10:42+01:00 (Berlin)
ISBN/EAN: 9783540119746

ISBN - alternative Schreibweisen:
3-540-11974-4, 978-3-540-11974-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: brauer, siekmann, biber, doris lessing, barbara wood, wolfgang bibel, heim, wolfgang märz, voß, wolfgang jörg
Titel des Buches: märz, künstliche intelligenz frühjahrsschule teisendorf, knstliche intelligenz, dunkelheit, volkszhlung, handbuch 1982, kuenstliche intelligenz, nstliche intelligenz, informatik fachberichte, die maschinen, von maschinen und menschen, wandlung naturwissenschaftlichen, wolfgang eggert, maschinen menschen mensch maschinen grundrisse einer sozialen beziehung, bibel und naturwissenschaft, die furche, weltbild bibel, mensch der bibel, christliche gottesglaube, karl der kahle, springer bibel, kunst

---

Daten vom Verlag:

Autor/in: Wolfgang Bibel; Jörg Siekmann
Titel: Informatik-Fachberichte; Subreihe Künstliche Intelligenz; Künstliche Intelligenz - Frühjahrsschule Teisendorf, 15.–24. März 1982
Verlag: Springer; Springer Berlin
387 Seiten
Erscheinungsjahr: 1982-12-01
Berlin; Heidelberg; DE
Sprache: Deutsch
54,99 € (DE)
56,53 € (AT)
58,11 CHF (CH)
Available
XIV, 387 S. 5 Abb.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Beweisen; Bibel; Bildsegmentierung; Expertensystem; Künstliche Intelligenz; Roboter; Verifikation; Wissen; natürlichsprachliche Systeme; Artificial Intelligence; EA

Einführung in Die Künstliche Intelligenz.- 1. Vorwort.- 2. Geometrische Intelligenztests.- 3. Euklidische Geometrie.- 4. Kreativität.- 5. Ideologiemaschinen.- Literatur.- Expertensysteme.- 1. Einführung: Was sind und wozu dienen Expertensysteme.- 2. Anatomie eines Expertensystems: MYCIN.- 3. Repräsentation, Manipulation und Akquisition von Wissen.- 4. Architektur und Funktionsweise von Expertensystemen.- 5. Metasysteme.- 6. Sehlußhemerknngen.- 7. Literaturverzeichnis.- Deduktionsverfahren.- 1. Illustration des Resolutions- und Konnektionskalküls.- 2. Deduktion in verschiedenen Anwendungen.- 3. Deduktionsmethoden für die Aussagenlogik.- 4. Deduktionsmethoden für die Prädikatenlogik.- 5. Erweiterungen.- 6. Implementierung von Deduktionssystemen.- Computer-Unterstützter Algorithmenentwurf.- Vom Problem zum Algorithmus.- Die Rolle von mathematischem Wissen im Problemlöse-Prozeß.- Computer-unterstützte Programmverifikation.- Computer-unterstützte Programmtransformationen.- Computer-unterstützte Strategien zur Programmsynthese.- Computer-unterstützte Extraktion von Algorithmen aus Existenzbeweisen.- Spezifikation abstrakter Datentypen als Programme.- Programmsynthese aus Beispielen.- Ausblick.- Literatur.- Natürlichsprachliche Systeme: Eine Einführung in die sprachorientierte KI-Forschung.- Vorwort.- 1. Zielsetzung, Konzeption und Entwicklung der sprachorientierten KI-Forschung.- 2. Verarbeitungsphasen und Wissensquellen in natürlichsprachlichen Systemen.- 3. Verfahren zur syntaktischen Analyse natürlicher Sprache.- 4. Verfahren zur semantischen Analyse natürlicher Sprache.- 5. Repräsentation und Auswertung der Semantik natürlichsprachlicher Ausdrücke.- 6. Verfahren zur Generierung natürlicher Sprache.- Ausblick.- Danksagung.- Literatur.-Bildverstehen.- Vorwort.- 1. Einführung zum Bildverstehen.- 2. Repräsentation von Form und Objekterkennung.- 3. Bildsegmentierung.- 4. Domänenunabhängige Szenenanalyse.- 5. Systeme.- Literaturhinweise.- Robotertechnologie.- 1. Historie.- 2. Anwendungen von Robotern.- 3. Ablauf einer Aktion.- 4. Die Mechanik von Robotern.- 5. Sensoren.- 6. Programmierung von Robotern.- 7. Zusammenfassung.- Referenzen.- Adressen der Autoren.