GWAI-89 : 13th German Workshop on Artificial Intelligence, Eringeferld, 19-22 September 1989 : proceedings
著者
書誌事項
GWAI-89 : 13th German Workshop on Artificial Intelligence, Eringeferld, 19-22 September 1989 : proceedings
(Informatik-Fachberichte, 216)
Springer-Verlag, c1989
大学図書館所蔵 件 / 全5件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
Die 13. Jahrestagung fur Kunstliche Intelligenz, GWAI-89, ist auch 1989 wieder ein Forum, auf dem ein beachtliches Spektrum der KI-Forschung in der Bundesrepublik prasentiert wird. Es reicht von Vortragen uber aktuelle Forschungsarbeiten bis zu speziellen Seminaren und dort von Grundlagenveranstaltungen (Formale und Kognitive Grundlagen von Wissensreprasentationen; Einfuhrung in Maschinelles Lernen und in spezielle hoehere problemorientierte Sprachen fur Wissensbasierte Systeme) bis zur Sektion "Expertensystemlabor", in der das Ziel verfolgt wird, einen Rahmen zu definieren fur kontinuierliche Kooperation und Erfahrungsaustausch zwischen Grundlagen- und Anwendungsforschung und Produktentwicklung. Die thematischen Schwerpunkte der Beitrage liegen in den Gebieten klassische und nicht-klassische Deduktive Systeme, Expertensysteme und Naturlichsprachliche Systeme. Dazu kommen andere Teilgebiete der KI wie Bildverarbeitung, Kognitive und Tutorielle Systeme sowie Neuronale Netze.
目次
1. Nicht - Klassische Deduktive Systeme.- Propagation of Temporally Indexed Values in Multiple Contexts.- Nicht-monotone Beweiser fur Autoepistemische Logik und Defaultlogik.- Problem Solver Control Over the ATMS.- Context Logic - An Introduction.- Proof Transformation Towards Human Reasoning Style.- Revising Domain Theories in Model-Based Reasoning Systems.- 2. Deduktive Systeme.- Plan Generation by Linear Proofs: On Semantics.- A New Deductive Approach to Planning.- Detecting Redundancy Caused by Congruent Links in Clause Graphs.- An Approach to Parallel Unification Using Transputers.- EQTHEOPOGLES - A Completion Theorem Prover for PLIEQ.- A Resolution Calculus Extended by Equivalence.- Linear Paramodulation modulo Equality.- 3. Neuronale Netze.- Explanation and Connectionism.- Optimierung des Lernverhaltens neuronaler Netze durch Berucksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie.- NetSim: Ein Simulator fur Neuronale Netze.- 4. Bildverarbeitung.- Modellgestutztes Bildverstehen von Dokumenten.- Lernen von Strukturbeschreibungen fur ein wissensbasiertes Bildanalysesystem.- Zur Konstmktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS.- 5. Mensch-Maschine Kommunikation.- SPICOS II - Linguistische Analyse im Datenbankdialog.- Diskursreprasentation im Datenbank-Abfrage Dialog SPICOS II.- Das System ZORA - Wissenbasierte Generierung von Zeigegesten.- 6. Naturlich-Sprachliche Systeme.- Processing Contrast Relations.- Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype.- Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations.- Zielgerichtete Wortschatzerweiterungen in naturlichsprachlichen Systemen.- OSKAR- Ein PROLOG-Programm zur Modellierung der Struktur und der Verarbeitung raumlichen Wissens.- Komplexe Individuen in Referentiellen Netzen.- Towards a Framework for Knowledge-Based Machine Translation.- Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems.- Determining Consistency of Feature Terms with Distributed Disjunctions.- A Parsing System Based on a Deductive Database.- Kategoriales Parsing mit definiten Klauseln.- 7. Kognitive und tu torieile Systeme.- Ein erster Blick auf ANTLIMA: Visualisierung statischer raumlicher Relationen.- Two Views of Motion: On Representing Move Events in a Language-Vision System.- DEPIC-2D: Eine Komponente zur depiktionalen Reprasentation und Verarbeitung raumlichen Wissens.- Towards Principles of Ontology.- Automatische kognitive Diagnose in einem Programmier-Tutor.- 8. Programmsynthese.- Machine-Assisted Program Construction and Modification.- XPRTS - An Implementation Tool for Program Synthesis.- 9. Expertensysteme.- Modulare Expertensystemarchitekturen.- A Layered Algebraic Specification Technique for Expert Systems.- OFFICE-PLAN: Tackling the Synthesis Frontier.- Modifying the Model Set During Diagnosis.- Towards Structured Production Systems - Efficient Implementation of Meta-Level Architectures.- Dialogstrukturen in Gruppendiskussionen - Ein Modell fur argumentative Verhandlungen mehrerer Agenten.- Bayesian Integration of Uncertain and Conflicting Evidence.- Inferenzen bei Ungewissheit in Expertensystemen.- An Integrative Model of Learning by Being Told, from Examples and by Exploration.- Toward a Rapid Prototyping Environment for Expert Systems.- Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective.- 10. Spezielle Seminare zu Grundlagen und Anwendungen der K.- Einfuhrungsseminar: Maschinelles Lernen.- Tutorial: High Level Tools for Knowledge Systems Design.- Sektion: Expertensystemlabor.- Fachseminar: Formale und kognitive Grundlagen von Wissensreprasentationen.- Feature-Logik.- Zur Implementierbarkeit Analogischer Reprasentationen.- Kognitive Kategorien.- KL-One-basierte, hybride Reprasentationssysteme.
「Nielsen BookData」 より