Ebook: GWAI-91 15. Fachtagung für Künstliche Intelligenz: Bonn, 16.-20. September 1991 Proceedings

Das vorliegende Buch ist der Tagungsband zur GWAI-91, der 15. Fachtagung f}rK}nstliche Intelligenz (KI) der Gesellschaft f}r Informatik, die im September 1991 in Bonn stattfand. Es enth{lt die Schriftfassungen von 29 begutachteten Vortr{gen, wobei die Schwerpunkte der Beitr{ge in den Bereichen Deduktion, Sprachverarbeitung, Wissensrepr{sentation und Expertensysteme liegen. Weitere Themen entstammen den Bereichen MaschinellesLernen, Planen, Automatisches Programmieren und Konnektionismus. Die Hauptvortr{ge wurden unter dem Aspekt ausgew{hlt, da~ au~erhalb der KI und deren "traditionellen" Nachbardisziplinen wie Philosophie, Psychologie und Linguistik, neue Zug{nge der Beschreibung und Erkl{rung kognitiver Ph{nomene erm|glicht werden. Diese sind durch Wissenschaftsgebiete wie z.B. Neurophysiologie und Evolutionsbiologie gepr{gt.

---

Das vorliegende Buch ist der Tagungsband zur GWAI-91, der 15. Fachtagung f}rK}nstliche Intelligenz (KI) der Gesellschaft f}r Informatik, die im September 1991 in Bonn stattfand. Es enth{lt die Schriftfassungen von 29 begutachteten Vortr{gen, wobei die Schwerpunkte der Beitr{ge in den Bereichen Deduktion, Sprachverarbeitung, Wissensrepr{sentation und Expertensysteme liegen. Weitere Themen entstammen den Bereichen MaschinellesLernen, Planen, Automatisches Programmieren und Konnektionismus. Die Hauptvortr{ge wurden unter dem Aspekt ausgew{hlt, da~ au~erhalb der KI und deren "traditionellen" Nachbardisziplinen wie Philosophie, Psychologie und Linguistik, neue Zug{nge der Beschreibung und Erkl{rung kognitiver Ph{nomene erm|glicht werden. Diese sind durch Wissenschaftsgebiete wie z.B. Neurophysiologie und Evolutionsbiologie gepr{gt.
Content:
Front Matter....Pages N2-IX
Front Matter....Pages 1-1
Generalized Earley Deduction and its Correctness....Pages 2-11
A Completeness Proof Technique for Resolution with Equality....Pages 12-22
Answers for disjunctive logic programs....Pages 23-32
Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformation....Pages 33-42
Non-Monotonic Reasoning for Clause Logic Programming in a General Setting....Pages 43-48
Front Matter....Pages 49-49
Feature Construction during Tree Learning....Pages 50-61
Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations....Pages 62-71
Front Matter....Pages 73-73
Problemzerlegung als optimalit?tserhaltende Operatorabstraktion....Pages 74-83
Front Matter....Pages 85-85
A Frame-Based Computational Model of Generic Generalisations....Pages 86-95
Towards Finding the Reasons Behind — Generating the Content of Explanation....Pages 96-105
Fokusmodellierung durch Sichtabh?ngigkeitsgraphen bei der Interpretation nat?rlichsprachlicher Datenbank-Updates....Pages 106-115
The Morphological Principle....Pages 116-125
Evaluation von Grammatiken f?r die Analyse nat?rlicher Sprache durch Generierung einer repr?sentativen Satzmenge....Pages 126-129
On the Representation of Speech Acts in Situation Semantics....Pages 130-134
Front Matter....Pages 135-135
Entwicklung von Wissensbankbetriebssystemen....Pages 136-146
Konstruktion und Evaluation von Wissensbasen in textverstehenden Systemen....Pages 147-156
Vivid Logic and Directly Skeptical Inheritance....Pages 157-166
TEMPO — ein integrierter Ansatz zur Modellierung qualitativer und quantitativer zeitlicher Informationen....Pages 167-176
Temporal Reasoning with Generalized Relations....Pages 177-181
Model Representation and Taxonomic Reasoning in Configuration Problem Solving....Pages 182-194
Front Matter....Pages 195-195
Improving Case Based Classification with Expert Knowledge....Pages 196-205
Reflection and competent problem solving....Pages 206-215
FRESCO: Eine Bankenapplikation als Testbed f?r Die F?derative Kooperation von Expertensystemen....Pages 216-220
Graphische Wissensrepr?sentationen....Pages 221-230
Methodology for Reconstructing Medical Problem Solving Competence....Pages 231-235
Front Matter....Pages 237-237
Constructing Programs From Input-Output Pairs....Pages 238-242
Front Matter....Pages 243-243
Transforming Constraint Relaxation Networks into Boltzmann Machines....Pages 244-253
The SNNS Neural Network Simulator....Pages 254-263
„wahrscheinlich sind meine Beispiele soo sprunghaft und und und eh ehm zu zu telegraph“ — Konnektionistische Modellierung von „covert repairs“....Pages 264-273
Back Matter....Pages 279-279

---

Das vorliegende Buch ist der Tagungsband zur GWAI-91, der 15. Fachtagung f}rK}nstliche Intelligenz (KI) der Gesellschaft f}r Informatik, die im September 1991 in Bonn stattfand. Es enth{lt die Schriftfassungen von 29 begutachteten Vortr{gen, wobei die Schwerpunkte der Beitr{ge in den Bereichen Deduktion, Sprachverarbeitung, Wissensrepr{sentation und Expertensysteme liegen. Weitere Themen entstammen den Bereichen MaschinellesLernen, Planen, Automatisches Programmieren und Konnektionismus. Die Hauptvortr{ge wurden unter dem Aspekt ausgew{hlt, da~ au~erhalb der KI und deren "traditionellen" Nachbardisziplinen wie Philosophie, Psychologie und Linguistik, neue Zug{nge der Beschreibung und Erkl{rung kognitiver Ph{nomene erm|glicht werden. Diese sind durch Wissenschaftsgebiete wie z.B. Neurophysiologie und Evolutionsbiologie gepr{gt.
Content:
Front Matter....Pages N2-IX
Front Matter....Pages 1-1
Generalized Earley Deduction and its Correctness....Pages 2-11
A Completeness Proof Technique for Resolution with Equality....Pages 12-22
Answers for disjunctive logic programs....Pages 23-32
Zur Steuerung und Optimierung der SIP-Auswahl in der Magic Set Transformation....Pages 33-42
Non-Monotonic Reasoning for Clause Logic Programming in a General Setting....Pages 43-48
Front Matter....Pages 49-49
Feature Construction during Tree Learning....Pages 50-61
Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations....Pages 62-71
Front Matter....Pages 73-73
Problemzerlegung als optimalit?tserhaltende Operatorabstraktion....Pages 74-83
Front Matter....Pages 85-85
A Frame-Based Computational Model of Generic Generalisations....Pages 86-95
Towards Finding the Reasons Behind — Generating the Content of Explanation....Pages 96-105
Fokusmodellierung durch Sichtabh?ngigkeitsgraphen bei der Interpretation nat?rlichsprachlicher Datenbank-Updates....Pages 106-115
The Morphological Principle....Pages 116-125
Evaluation von Grammatiken f?r die Analyse nat?rlicher Sprache durch Generierung einer repr?sentativen Satzmenge....Pages 126-129
On the Representation of Speech Acts in Situation Semantics....Pages 130-134
Front Matter....Pages 135-135
Entwicklung von Wissensbankbetriebssystemen....Pages 136-146
Konstruktion und Evaluation von Wissensbasen in textverstehenden Systemen....Pages 147-156
Vivid Logic and Directly Skeptical Inheritance....Pages 157-166
TEMPO — ein integrierter Ansatz zur Modellierung qualitativer und quantitativer zeitlicher Informationen....Pages 167-176
Temporal Reasoning with Generalized Relations....Pages 177-181
Model Representation and Taxonomic Reasoning in Configuration Problem Solving....Pages 182-194
Front Matter....Pages 195-195
Improving Case Based Classification with Expert Knowledge....Pages 196-205
Reflection and competent problem solving....Pages 206-215
FRESCO: Eine Bankenapplikation als Testbed f?r Die F?derative Kooperation von Expertensystemen....Pages 216-220
Graphische Wissensrepr?sentationen....Pages 221-230
Methodology for Reconstructing Medical Problem Solving Competence....Pages 231-235
Front Matter....Pages 237-237
Constructing Programs From Input-Output Pairs....Pages 238-242
Front Matter....Pages 243-243
Transforming Constraint Relaxation Networks into Boltzmann Machines....Pages 244-253
The SNNS Neural Network Simulator....Pages 254-263
„wahrscheinlich sind meine Beispiele soo sprunghaft und und und eh ehm zu zu telegraph“ — Konnektionistische Modellierung von „covert repairs“....Pages 264-273
Back Matter....Pages 279-279
....