Ebook: 7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.–27. September 1991 Proceedings

Die 7. sterreichische Artificial-Intelligence-Tagung fand vom 24.-27. September 1991 an der Technischen Universit{t Wien statt. Sie hat aufgrund der starken Beteiligung aus dem Ausland einen ausgepr{gt internationalen Charakter, weshalb auch der vorliegende Tagungsband zweisprachig herausgegeben wurde. Die behandelten Themen aus dem Gebiet der K}nstlichen Intelligenz (KI) werden repr{sentiert durch sechzehn begutachtete Beitr{ge sowie zwei eingeladene Vortr{ge. Sie sind thematisch breit gestreut, wobei sich gewisse Schwerpunkte in den Gebieten "Nat}rliche Sprache" und "Wissensbasierte Systeme" sowie Logik und Schlie~en" abzeichnen.

---

Die 7. sterreichische Artificial-Intelligence-Tagung fand vom 24.-27. September 1991 an der Technischen Universit{t Wien statt. Sie hat aufgrund der starken Beteiligung aus dem Ausland einen ausgepr{gt internationalen Charakter, weshalb auch der vorliegende Tagungsband zweisprachig herausgegeben wurde. Die behandelten Themen aus dem Gebiet der K}nstlichen Intelligenz (KI) werden repr{sentiert durch sechzehn begutachtete Beitr{ge sowie zwei eingeladene Vortr{ge. Sie sind thematisch breit gestreut, wobei sich gewisse Schwerpunkte in den Gebieten "Nat}rliche Sprache" und "Wissensbasierte Systeme" sowie Logik und Schlie~en" abzeichnen.
Content:
Front Matter....Pages I-VIII
Knowledge-based Generation of Illustrated Documents....Pages 1-15
On the Complexity of Clause Condensing....Pages 16-29
HESDE — A Hypertext based Expert-System debugging Tool....Pages 30-36
A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction....Pages 37-41
Vie-DU — Dialogue by Unification....Pages 42-51
Eine deklarative Beschreibung von Linkstilgungsl?cken in koordinierten Strukturen des Deutschen....Pages 52-62
Applying Artificial Intelligence in Designing for Quality....Pages 63-67
Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem....Pages 68-77
Learning Diagnostic Rules for Power Distribution Systems....Pages 78-82
Modelling Feature Maps by Attributed Parallel Array Grammars....Pages 83-92
Design of the SNNS Neural Network Simulator....Pages 93-102
Deductive Generalization and Meta-Reasoning or How to Formalize Genesis....Pages 103-115
A Generalized Factorization Rule Based on the Introduction of Skolem Terms....Pages 116-125
On Exploiting the Structure of Martin-L?f’s Theory of Types....Pages 126-136
Being Aware of Assumptions....Pages 137-146
A Mathematical Formulation of Dempster-Shafer’s Belief Functions....Pages 147-156
Qualitative Spatial Reasoning with Cardinal Directions....Pages 157-167
Model-Based Diagnosis with Constraint Logic Programs....Pages 168-180
Back Matter....Pages 181-181

---

Die 7. sterreichische Artificial-Intelligence-Tagung fand vom 24.-27. September 1991 an der Technischen Universit{t Wien statt. Sie hat aufgrund der starken Beteiligung aus dem Ausland einen ausgepr{gt internationalen Charakter, weshalb auch der vorliegende Tagungsband zweisprachig herausgegeben wurde. Die behandelten Themen aus dem Gebiet der K}nstlichen Intelligenz (KI) werden repr{sentiert durch sechzehn begutachtete Beitr{ge sowie zwei eingeladene Vortr{ge. Sie sind thematisch breit gestreut, wobei sich gewisse Schwerpunkte in den Gebieten "Nat}rliche Sprache" und "Wissensbasierte Systeme" sowie Logik und Schlie~en" abzeichnen.
Content:
Front Matter....Pages I-VIII
Knowledge-based Generation of Illustrated Documents....Pages 1-15
On the Complexity of Clause Condensing....Pages 16-29
HESDE — A Hypertext based Expert-System debugging Tool....Pages 30-36
A Model of Task-Oriented Communication Based on Principles of Rational Action and Interaction....Pages 37-41
Vie-DU — Dialogue by Unification....Pages 42-51
Eine deklarative Beschreibung von Linkstilgungsl?cken in koordinierten Strukturen des Deutschen....Pages 52-62
Applying Artificial Intelligence in Designing for Quality....Pages 63-67
Automatische Verfeinerung der Wissensbasis durch maschinelles Lernen in einem medizinischen Expertensystem....Pages 68-77
Learning Diagnostic Rules for Power Distribution Systems....Pages 78-82
Modelling Feature Maps by Attributed Parallel Array Grammars....Pages 83-92
Design of the SNNS Neural Network Simulator....Pages 93-102
Deductive Generalization and Meta-Reasoning or How to Formalize Genesis....Pages 103-115
A Generalized Factorization Rule Based on the Introduction of Skolem Terms....Pages 116-125
On Exploiting the Structure of Martin-L?f’s Theory of Types....Pages 126-136
Being Aware of Assumptions....Pages 137-146
A Mathematical Formulation of Dempster-Shafer’s Belief Functions....Pages 147-156
Qualitative Spatial Reasoning with Cardinal Directions....Pages 157-167
Model-Based Diagnosis with Constraint Logic Programs....Pages 168-180
Back Matter....Pages 181-181
....