GWAI-92: Advances in Artificial Intelligence

1. Front Matter

   PDF

2. How to construct a logic for your application

   • D. M. Gabbay

   Pages 1-29

3. A model elimination calculus with built-in theories

   • Peter Baumgartner

   Pages 30-42

4. A new sorted logic

   • Christoph Weidenbach

   Pages 43-54

5. An explanatory framework for human theorem proving

   • Xiaorong Huang

   Pages 55-66

6. Towards first-order deduction based on Shannon graphs

   • Joachim Posegga, Bertram Ludäscher

   Pages 67-76

7. Success and failure of expert systems in. different fields of industrial application

   • Reinhard Bachmann, Thomas Malsch, Susanne Ziegler

   Pages 77-86

8. Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems

   • Marc Linster

   Pages 87-99

9. Cases as a basis for knowledge acquisition in the pre-formal phases of knowledge engineering

   • Sonja Branskat, Marc Linster

   Pages 100-109

10. Controlling generate & test in any time

    • Carl-Helmut Coulon, Frank van Harmelen, Werner Karbach, Angi Voß

    Pages 110-121

11. Efficient computation of solutions for contradictory time interval networks

    • Achim Weigel, Rainer Bleisinger

    Pages 122-131

12. Extensions of concept languages for a mechanical engineering application

    • Franz Baader, Philipp Hanschke

    Pages 132-143

13. Combining terminological and rule-based reasoning for abstraction processes

    • Philipp Hanschke, Knut Hinkelmann

    Pages 144-155

14. Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM

    • Knut Hinkelmann

    Pages 156-165

15. Concept support as a method for programming neural networks with symbolic knowledge

    • Erich Prem, Markus Mackinger, Georg Dorffner, G. Porenta, H. Sochor

    Pages 166-175

16. A heuristic inductive generalization method and its application to VLSI-design

    • Jürgen Herrmann, Renate Beckmann

    Pages 176-186

17. Learning plan abstractions

    • Ralph Bergmann

    Pages 187-198

18. On discontinuous Q-Functions in reinforcement learning

    • Alexander Linden

    Pages 199-209

19. An intelligent tutoring system for classification problem solving

    • Karsten Poeck, Martin Tins

    Pages 210-220

20. Knowledge-based processing of medical language: A language engineering approach

    • Martin Schröder

    Pages 221-234

This volume gives the proceedings of the sixteenth German Conference on Artificial Intelligence, held in the Gustav Stresemann Institute in Berlin from August 31 to September 3, 1992. The volume contains 24 papers presentedin the technical sessions, 8 papers selected from the workshop contributions, and an invited talk by D.M. Gabbay entitled "Howto construct a logic for your application". Topics discussed in the technical papers include: a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, expert system applications, knowledge engineering, time interval networks, forward logic evaluation, concept support, heuristic inductivegeneralization, language engineering, feature logic, similarity assessment, and many others.

• Distributed AI Systems
• Knowledge Representation
• Logic Programming
• Machine Learning
• Natürlichsprachliche Verarbeitung
• Verteilte KI-Systeme
• artificial intelligence
• classification
• expert system
• intelligent systems
• learning
• modeling
• programming
• proving
• reinforcement learning

Policies and ethics