Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982

ISBN-13: 9783540119746 / Niemiecki / Miękka / 1982 / 387 str.

Wolfgang Bibel;Jörg Siekmann

Opis

Unsere Zeit ist gepragt von immer komplexeren Systemen und Mechanismen. Gemeint sind die naturlichen Systeme der menschlichen Gemeinschart, der Politik, der Wirtschart, der Kommunikation, des Verkehrs. Immer starker drangt sich dem Zeitgenossen der Verdacht aur, dass der Mensch der ihnen innewohnenden Komplexitat auch mit einer noch so ausgeklugelten Organi sation des Kooperierens nicht mehr gewachsen ist. Im Spektrum der Moglichkeiten fur einen Ausweg aus diesem Zustand der Hilrlosigkeit finden wir am einen Ende die Forderung des Zuruck-zu uberschaubaren-Strukturen, am anderen Ende den Rur nach einer technolo gischen Losung, mit allen moglichen Zwischenabsturungen des mehr-Uber schaubarkeit-durch-bessere-Technologie. Es ist unbestritten, dass der Schlussel zu einer solchen Technolo gie in dem neuen "Superwerkzeug" Computer liegt. uber die Art und Weise seines Einsatzes gehen die Meinungen jedoch weit auseinander, was ange sichts der nahezu unbegrenzten Moglichkeiten seiner Verwendung keines wegs verwundert. Die einen verstehen ihn als klassisches Werkzeug, das in der Hand des Menschen genau derinierte Aurgaben in genau derinierter, vom Men schen vorgedachter Weise errullt. Dies erfordert, dass der Mensch sich diesem Werkzeug anpasst, d.h. sich in seine Funktionsweise hineindenkt, wenn ev es zur Losung der gegebenen Probleme miteinsetzeh mochte. Eine derartige Grundphilosophie hat die Informatik in Deutschland bis heute uberwiegend gepragt (eine im Detail sicherlich notige Dirferenzierung wurde hier zu weit ruhren)."

Spis treści

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.

O autorze

Prof. Dr. Wolfgang Bibel lehrt das Fachgebiet Intellektik am Fachbereich Informatik der TH Darmstadt.