Künstliche Intelligenz

Frühjahrsschule Teisendorf, 15.–24. März 1982

AvWolfgang Bibel,Jörg Siekmann

Häftad, Tyska, 1982

Del i serien Informatik-Fachberichte

588 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

588 kr

587 kr

587 kr

587 kr

534 kr

302 kr

Produktinformation

Utgivningsdatum:1982-12-01
Mått:170 x 244 x 22 mm
Vikt:695 g
Format:Häftad
Språk:Tyska
Serie:Informatik-Fachberichte
Antal sidor:387
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540119746

Utforska kategorier

Artificiell intelligens inom Data och IT

Innehållsförteckning

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.

Mer från samma författare

Wolfgang Bibel, P.H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Inbunden

Del 8

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

Inbunden, 1998

2 202 kr

Del 9

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

Inbunden, 1998

2 202 kr

Del 10

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

Inbunden, 1998

1 702 kr

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Wolfgang Bibel, P.H. Schmitt

4 212 kr

Del 31

Mathematical Methods of Specification and Synthesis of Software Systems ‘85

Wolfgang Bibel, Klaus P. Jantke

Inbunden, 1986

2 043 kr

Mathematical Methods of Specification and Synthesis of Software Systems '85

Klaus P. Jantke, Wolfgang Bibel

E-bok

1987

1 775 kr

Lehren vom Leben

Wolfgang Bibel

E-bok

2013

718 kr

Wissensrepräsentation und Inferenz

Torsten Schaub, Steffen Holldobler, Wolfgang Bibel

E-bok

2013

492 kr

Grundlagen zur Neuroinformatik und Neurobiologie

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel

Häftad, 2012

826 kr

Fuzzy-Systems in Computer Science

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel

Häftad, 2012

570 kr

Mer från samma serie

Programmiersprachen

H.J. Schneider, M. Nagl

Häftad, 1976

588 kr

Betrieb von Rechenzentren

A. Schreiner

Häftad, 1976

588 kr

Rechnernetze und Datenfernverarbeitung

D. Haupt, H. Petersen

Häftad, 1976

588 kr

Computer Architecture

W. Händler

Häftad, 1976

1 135 kr

GI — 6. Jahrestagung

E. J. Neuhold

Häftad, 1976

588 kr

Fachtagung Prozessrechner 1977

G. Schmidt

Häftad, 1977

588 kr

Digitale Bildverarbeitung Digital Image Processing

H.-H. Nagel

Häftad, 1977

588 kr

Modelle für Rechensysteme

P.P. Spies

Häftad, 1977

1 138 kr

GI — 7. Jahrestagung

H. J. Schneider

Häftad, 1977

1 138 kr

Del 11

Methoden der Informatik für Rechnerunterstütztes Entwerfen und Konstruieren

R. Gnatz, K. Samelson

Häftad, 1977

571 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr