GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings (Lecture Notes in Computer Science)

"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."--PUBLISHER'S WEBSITE How to construct a logic for your application....Pages 1-29 A model elimination calculus with built-in theories....Pages 30-42 A new sorted logic....Pages 43-54 An explanatory framework for human theorem proving....Pages 55-66 Towards first-order deduction based on Shannon graphs....Pages 67-76 Success and failure of expert systems in. different fields of industrial application....Pages 77-86 Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems ....Pages 87-99 Cases as a basis for knowledge acquisition in the pre-formal phases of knowledge engineering....Pages 100-109 Controlling generate & test in any time....Pages 110-121 Efficient computation of solutions for contradictory time interval networks....Pages 122-131 Extensions of concept languages for a mechanical engineering application....Pages 132-143 Combining terminological and rule-based reasoning for abstraction processes....Pages 144-155 Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM....Pages 156-165 Concept support as a method for programming neural networks with symbolic knowledge....Pages 166-175 A heuristic inductive generalization method and its application to VLSI-design....Pages 176-186 Learning plan abstractions....Pages 187-198 On discontinuous Q-Functions in reinforcement learning....Pages 199-209 An intelligent tutoring system for classification problem solving....Pages 210-220 Knowledge-based processing of medical language: A language engineering approach....Pages 221-234 Text planning in ITEX: A hybrid approach....Pages 235-246 Yes/no questions with negation: Towards integrating semantics and pragmatics....Pages 247-254 An efficient decision algorithm for feature logic....Pages 255-266 Universally quantified queries in languages with order-sorted logics....Pages 267-271 A semantic view of explanation....Pages 272-282 Goal-driven similarity assessment....Pages 283-298 Delegated negotiation for resource re-allocation....Pages 299-312 Towards a specification language for cooperation methods....Pages 313-319 Improving operating system usage....Pages 320-333 The role of user models for conflicts in a constraint-based model of generation....Pages 334-346 Criteria in natural language generation: Minimal criteria and their impacts....Pages 347-356 Terminological representation, natural language & relation algebra....Pages 357-371 Linking humans and intelligent systems or: What are user agents good for?....Pages 372-385 An advisor for the management of the acute radiation syndrome....Pages 386-396 Presents the proceedings of the 16th German Conference on Artificial Intelligence, held in Germany in 1992. Topics covered include a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, and expert system applications.