Author: Wolfgang Wahlster
Publisher:
ISBN:
Category :
Languages : en
Pages : 246
Book Description
6. German Workshop on Artificial Intelligence
GWAI-82, 6th German Workshop on Artificial Intelligence
Author: Wolfgang Wahlster
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 264
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 264
Book Description
German Workshop on Artificial Intelligence
6. German Workshop on Artificial Intelligence
Current Catalog
Author: National Library of Medicine (U.S.)
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 1676
Book Description
First multi-year cumulation covers six years: 1965-70.
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 1676
Book Description
First multi-year cumulation covers six years: 1965-70.
GWAI-84
Author: Joachim Laubsch
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292
Book Description
GWAI-82
Author: W. Wahlster
Publisher: Springer Science & Business Media
ISBN: 3642688268
Category : Computers
Languages : en
Pages : 253
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642688268
Category : Computers
Languages : en
Pages : 253
Book Description
GWAI-83
Author: B. de Neumann
Publisher: Springer Science & Business Media
ISBN: 3642693911
Category : Computers
Languages : en
Pages : 248
Book Description
Publisher: Springer Science & Business Media
ISBN: 3642693911
Category : Computers
Languages : en
Pages : 248
Book Description
GWAI-90 14th German Workshop on Artificial Intelligence
Author: Heinz Marburger
Publisher: Springer
ISBN: 9783540531326
Category : Computers
Languages : en
Pages : 348
Book Description
Auf der "GWAI-90 - 14th German Workshop on Artificial Intelligence" wurden auch in diesem Jahr im Vortragsprogramm und in fünf speziellen Workshops aktuelle KI-Forschungsergebnisse präsentiert sowie in zwei Tutorien Grundlagen von KI-Teilgebieten dargestellt. Der vorliegende Band enthält die Texte der 34 Vorträge und der zwei eingeladenen Hauptvorträge. Die angesprochenen Themenbereiche der KI sind: Wissensrepräsentation, Mensch-Computer-Interaktion, Expertensysteme, Kognition, Deduktion, Natürlichsprachliche Systeme, Maschinelles Lernen, Bildverstehen und KI-Programmiersprachen. Sowohl die Verteilung der Beiträge in diesem Band als auch die der eingereichten Beiträge auf die KI-Gebiete deutet auf eine Konzentration der Forschungsaktivitäten auf Natürlichsprachliche Systeme und Wissensrepräsentation hin.
Publisher: Springer
ISBN: 9783540531326
Category : Computers
Languages : en
Pages : 348
Book Description
Auf der "GWAI-90 - 14th German Workshop on Artificial Intelligence" wurden auch in diesem Jahr im Vortragsprogramm und in fünf speziellen Workshops aktuelle KI-Forschungsergebnisse präsentiert sowie in zwei Tutorien Grundlagen von KI-Teilgebieten dargestellt. Der vorliegende Band enthält die Texte der 34 Vorträge und der zwei eingeladenen Hauptvorträge. Die angesprochenen Themenbereiche der KI sind: Wissensrepräsentation, Mensch-Computer-Interaktion, Expertensysteme, Kognition, Deduktion, Natürlichsprachliche Systeme, Maschinelles Lernen, Bildverstehen und KI-Programmiersprachen. Sowohl die Verteilung der Beiträge in diesem Band als auch die der eingereichten Beiträge auf die KI-Gebiete deutet auf eine Konzentration der Forschungsaktivitäten auf Natürlichsprachliche Systeme und Wissensrepräsentation hin.
Begründungsverwaltung
Author: Herbert Stoyan
Publisher: Springer Science & Business Media
ISBN: 3642733859
Category : Computers
Languages : en
Pages : 161
Book Description
Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, da€ eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlu€regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.
Publisher: Springer Science & Business Media
ISBN: 3642733859
Category : Computers
Languages : en
Pages : 161
Book Description
Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, da€ eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlu€regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.