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」 より