GWAI-84

GWAI-84 PDF Author: Joachim Laubsch
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292

Get Book Here

Book Description

GWAI-84

GWAI-84 PDF Author: Joachim Laubsch
Publisher: Springer Science & Business Media
ISBN: 3642465463
Category : Computers
Languages : en
Pages : 292

Get Book Here

Book Description


GWAI-90 14th German Workshop on Artificial Intelligence

GWAI-90 14th German Workshop on Artificial Intelligence PDF Author: Heinz Marburger
Publisher: Springer
ISBN: 9783540531326
Category : Computers
Languages : en
Pages : 348

Get Book Here

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.

GWAI-87 11th German Workshop on Artificial Intelligence

GWAI-87 11th German Workshop on Artificial Intelligence PDF Author: Katharina Morik
Publisher: Springer Science & Business Media
ISBN: 3642730051
Category : Computers
Languages : en
Pages : 416

Get Book Here

Book Description


Recent Trends in Data Type Specification

Recent Trends in Data Type Specification PDF Author: Hans-Jörg Kreowski
Publisher: Springer Science & Business Media
ISBN: 3662096919
Category : Computers
Languages : en
Pages : 262

Get Book Here

Book Description


Begründungsverwaltung

Begründungsverwaltung PDF Author: Herbert Stoyan
Publisher: Springer Science & Business Media
ISBN: 3642733859
Category : Computers
Languages : en
Pages : 161

Get Book Here

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.

Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems

Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems PDF Author: Fevzi Belli
Publisher: Springer Science & Business Media
ISBN: 3642456286
Category : Computers
Languages : en
Pages : 401

Get Book Here

Book Description
Dieser Band enthält die 38 Beiträge der 3. GI/ITG/GMA-Fachtagung über "Fehlertolerierende Rechensysteme". Unter den 10 aus dem Ausland eingegangenen Beiträgen sind 4 eingeladene Vorträge. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Sämtliche Beiträge sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuß der Tagung aus 70 eingereichten Beiträgen ausgewählt wurden.

GWAI-85

GWAI-85 PDF Author: Herbert Stoyan
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 490

Get Book Here

Book Description


User Models in Dialog Systems

User Models in Dialog Systems PDF Author: Alfred Kobsa
Publisher: Springer Science & Business Media
ISBN: 364283230X
Category : Computers
Languages : en
Pages : 483

Get Book Here

Book Description
User models have recently attracted much research interest in the field of artificial intelligence dialog systems. It has become evident that flexible user-oriented dialog behavior of such systems can be achieved only if the system has access to a model of the user containing assumptions about his/her background knowledge as well as his/her goals and plans in consulting the system. Research in the field of user models investigates how such assumptions can be automatically created, represented and exploited by the system in the course of an "on-line" interaction with the user. The communication medium in this interaction need not necessarily be a natural language, such as English or German. Formal interaction languages are also permit ted. The emphasis is placed on systems with natural language input and output, however. A dozen major and several more minor user modeling systems have been de signed and implemented in the last decade, mostly in the context of natural-language dialog systems. The goal of UM86, the first international workshop on user model ing, was to bring together the researchers working on these projects so that results could be discussed and analyzed, and hopefully general insights be found, that could prove useful for future research. The meeting took place in Maria Laach, a small village some 40 miles south of Bonn, West Germany. 25 prominent researchers were invited to participate.

Expert Systems in Production Engineering

Expert Systems in Production Engineering PDF Author: Georg Menges
Publisher: Springer Science & Business Media
ISBN: 3642831265
Category : Computers
Languages : en
Pages : 251

Get Book Here

Book Description
The present volume contains edited versions of the communications presented at an International Workshop on "Expert Systems in Production Engineering", held in Spa, Belgium, in 1986. Introductory papers on Artificial Intelligence and Expert Systems are complemented by case studies of Expert Systems in practice, primarily, in the area of Mechanical Engineering and discussions of the possibilities and the limitations of Expert Systems.

Cybernetics and Systems ’86

Cybernetics and Systems ’86 PDF Author: R. Trappl
Publisher: Springer Science & Business Media
ISBN: 9400946341
Category : Computers
Languages : en
Pages : 912

Get Book Here

Book Description
This volume contains all papers presented at the Eighth European Meeting on Cybernetics and Systems Research. 169 draft papers were submitted for evaluation. In the process of careful refereeing, 33 papers were rejected and the remaining authors were invited to submit final papers. Out of these, 119 were accepted for presentation at the conference and publication in this volume. These papers were prepared by 173 scientists, authors and co-authors, from 22 European and non-European countries, with different cultural, social, and economic structures. Everybody tried hard to make this conference and its proceedings a true representation of state-of-the-art research worldwide: The members of the Programme Committee and the Chairmen of the Symposia were selected among the ~internationally leading scientists. Great care was taken not to make this conference a "European" or even "Austrian" one. We are happy and proud to hear that these "European Meetings" (the name is a purely traditional one) are recognized as the internationally leading conferences in cybernetics and systems research. Important scientists from allover the world carefully prepare their papers, containing their most recent research findings, and then enjoy the discussions with their co 11 eagues.