GWAI-82

6th German Workshop on Artificial Intelligence Bad Honnef, Sept. 27. - Oct. 1, 1982
Softcover Nachdruck of the original 1. Auflage 1982
ISBN: 978-3-540-11960-9
Verlag: Springer

Buch, Englisch, Deutsch, 246 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 448 g

Reihe: Informatik-Fachberichte

GWAI-82, die sechste Fachtagung uber Kunstl iche Intell igenz fand yom 27.9. - 1.10.1982 im Physikzentrum in Bad Honnef statt. Die Fachtagung wurde yom FachausschuB 6 Kogni tive Systeme (UnterausschuB Kunstl iche Intell igenz) der Gesellschaft fur Informatik organisiert. Die diesjahrige Fachtagung wurde von 120 Teilnehmern (davon ca. 11% auslandische Ga ste) besucht. Wegen der beschrankten Kapazitat des Tagungsgebaudes konnten rd. 30 weitere Interessenten nicht berucksichtigt werden. Die Mehrzahl der Teilnehmer arbei tet an Hochschul instituten und GroBforschungseinrichtungen. Erstmals kamen uber 12% der Teilnehmer auch aus der Industrie. Dies dokumentiert das jetzt auch in der deut schen Software-Industrie deutlich einsetzende Interesse an der anwendungsspezifischen Umsetzung und Vermarktung von Ergebnissen und Techniken der KI-Forschung. Die Tagung umfaBte 32 Beitrage aus folgenden Kategorien: 3 eingeladene Hauptvortrage (Vortragsdauer/Diskussionsdauer: 60 Min./30 Min.), 16 begutachtete Fachvortrage (30 Min./15 Min.), 5 begutachtete Kurzvortrage (15 Min./l0 Min.), 1 Projektfortschritts bericht (30 Min./15 Min.), 3 unbegutachtete Kurzberichte (15 Min./l0 Min.) und 5 Systemvorfuhrungen. Der vorl iegende Band enthalt samtl iche Hauptvortrage und eine Aus wahl der akzeptierten Fachvortrage. Die Arbeit des Programmkomitees wurde uberschattet durch den tragischen Tod unseres Kollegen J5rgen Foith, der als Mitgl ied des Programmkomitees die Tagung nicht mehr miterleben konnte.

Zielgruppe

Research

Autoren/Hrsg.

Wahlster, W.

Inhaltsverzeichnis

Beschreiben und Verstehen Von Bildfolgen.- Knowledge Sources for Understanding and Describing Image Sequences (Hauptvortrag).- On the Selection of Verbs for Natural Language Description of Traffic Scenes.- Symbolic Description and Matching of Image Sequences.- Akquisition und Repräsentation von Wissen.- Some Fundamental Issues in Knowledge Representation (Hauptvortrag).- Konsistenzüberprüfung bei sich verändernden Wissensbasen.- Automatische Akquisition von inferentiellem Wissen.- Zur Repräsentation indefinit deskribierter Objekte in Kl-Systemen.- N.N.: A View of Planning in Chess.- Unifikation und Deduktion.- Universal Unification (Hauptvortrag).- Der META-Beweiser für die Zahlentheorie.- Proofs by Induction in ‘Fairly’ Specified Equational Theories.- Inductive Inference in Finite Algebraic Structures.- Universal Unification and a Class of Equational Theories.- Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets.- NatÃœrlichsprachliche systeme.- Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing- Algorithmus auf der Grundlage kaskadierter ATNs.- ATN-Steuerung durch Kasusrahmen.- Ellipsenrekonstruktion im Kotext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS.- Natural Language Access to PROLOG Database Systems.

Beschreiben und Verstehen Von Bildfolgen.- Knowledge Sources for Understanding and Describing Image Sequences (Hauptvortrag).- On the Selection of Verbs for Natural Language Description of Traffic Scenes.- Symbolic Description and Matching of Image Sequences.- Akquisition und Repräsentation von Wissen.- Some Fundamental Issues in Knowledge Representation (Hauptvortrag).- Konsistenzüberprüfung bei sich verändernden Wissensbasen.- Automatische Akquisition von inferentiellem Wissen.- Zur Repräsentation indefinit deskribierter Objekte in Kl-Systemen.- N.N.: A View of Planning in Chess.- Unifikation und Deduktion.- Universal Unification (Hauptvortrag).- Der META-Beweiser für die Zahlentheorie.- Proofs by Induction in ‘Fairly’ Specified Equational Theories.- Inductive Inference in Finite Algebraic Structures.- Universal Unification and a Class of Equational Theories.- Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets.- NatÃœrlichsprachliche systeme.- Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing- Algorithmus auf der Grundlage kaskadierter ATNs.- ATN-Steuerung durch Kasusrahmen.- Ellipsenrekonstruktion im Kotext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS.- Natural Language Access to PROLOG Database Systems.