GWAI-92: Advances in Artificial Intelligence de Hans J. Ohlbach

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, cartea 671

Hans J. Ohlbach

en Limba Engleză Paperback – 28 mai 1993

This volume gives the proceedings of the sixteenth GermanConference on Artificial Intelligence, held in the GustavStresemann Institute in Berlin from August 31 to September3, 1992. The volume contains 24 papers presentedin thetechnical sessions, 8 papers selected from the workshopcontributions, and an invited talk by D.M. Gabbay entitled"Howto construct a logic for your application".Topics discussed in the technical papers include: a modelelimination calculus, a sorted logic, human theorem proving,deduction based on Shannon graphs, expert systemapplications, knowledge engineering, time interval networks,forward logic evaluation, concept support, heuristicinductivegeneralization, language engineering, featurelogic, similarity assessment, and many others.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 323^.37 lei
20%

Preț: 461^.65 lei
20%

Preț: 461^.32 lei
20%

Preț: 390^.69 lei
20%

Preț: 527^.36 lei
15%

Preț: 388^.50 lei
20%

Preț: 461^.52 lei
20%

Preț: 390^.35 lei
20%

Preț: 496^.64 lei
20%

Preț: 461^.52 lei
20%

Preț: 389^.72 lei
15%

Preț: 461^.85 lei
20%

Preț: 389^.90 lei
20%

Preț: 497^.04 lei
20%

Preț: 462^.05 lei
20%

Preț: 252^.15 lei
20%

Preț: 391^.14 lei
20%

Preț: 532^.54 lei
20%

Preț: 461^.83 lei
20%

Preț: 255^.91 lei
20%

Preț: 498^.46 lei
20%

Preț: 497^.55 lei
20%

Preț: 499^.36 lei
20%

Preț: 390^.12 lei
20%

Preț: 391^.20 lei
20%

Preț: 532^.41 lei
20%

Preț: 391^.20 lei
20%

Preț: 391^.14 lei
20%

Preț: 461^.77 lei
20%

Preț: 390^.35 lei
20%

Preț: 461^.06 lei
20%

Preț: 461^.65 lei
20%

Preț: 390^.18 lei
20%

Preț: 392^.64 lei
20%

Preț: 390^.94 lei
20%

Preț: 391^.86 lei
20%

Preț: 389^.85 lei
20%

Preț: 498^.32 lei
20%

Preț: 462^.67 lei
20%

Preț: 460^.98 lei
20%

Preț: 424^.26 lei
20%

Preț: 639^.72 lei
15%

Preț: 535^.92 lei
20%

Preț: 532^.28 lei
20%

Preț: 535^.77 lei
5%

Preț: 516^.27 lei
20%

Preț: 461^.57 lei
20%

Preț: 498^.50 lei
20%

Preț: 461^.83 lei
20%

Preț: 249^.95 lei

Specificații

ISBN-13: 9783540566670
ISBN-10: 3540566678
Pagini: 420
Ilustrații: XIII, 407 p.
Dimensiuni: 155 x 233 x 22 mm
Greutate: 0.59 kg
Ediția:1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Cuprins

How to construct a logic for your application.- A model elimination calculus with built-in theories.- A new sorted logic.- An explanatory framework for human theorem proving.- Towards first-order deduction based on Shannon graphs.- Success and failure of expert systems in. different fields of industrial application.- Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems.- Cases as a basis for knowledge acquisition in the pre-formal phases of knowledge engineering.- Controlling generate & test in any time.- Efficient computation of solutions for contradictory time interval networks.- Extensions of concept languages for a mechanical engineering application.- Combining terminological and rule-based reasoning for abstraction processes.- Forward logic evaluation: Compiling a partially evaluated meta-interpreter into the WAM.- Concept support as a method for programming neural networks with symbolic knowledge.- A heuristic inductive generalization method and its application to VLSI-design.- Learning plan abstractions.- On discontinuous Q-Functions in reinforcement learning.- An intelligent tutoring system for classification problem solving.- Knowledge-based processing of medical language: A language engineering approach.- Text planning in ITEX: A hybrid approach.- Yes/no questions with negation: Towards integrating semantics and pragmatics.- An efficient decision algorithm for feature logic.- Universally quantified queries in languages with order-sorted logics.- A semantic view of explanation.- Goal-driven similarity assessment.- Delegated negotiation for resource re-allocation.- Towards a specification language for cooperation methods.- Improving operating system usage.- The role of user models for conflicts in a constraint-based model of generation.- Criteria in natural language generation: Minimal criteria and their impacts.- Terminological representation, natural language & relation algebra.- Linking humans and intelligent systems or: What are user agents good for?.- An advisor for the management of the acute radiation syndrome.