GWAI-92: Advances in Artificial Intelligence - neues Buch

EAN (ISBN-13): 9783540566670
ISBN (ISBN-10): 3540566678
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1993
Herausgeber: Springer Berlin Heidelberg
420 Seiten
Gewicht: 0,631 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-04-29T10:33:05+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-22T18:55:19+01:00 (Vienna)
ISBN/EAN: 9783540566670

ISBN - alternative Schreibweisen:
3-540-56667-8, 978-3-540-56667-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hans, jürgen off, gustav german, stresemann
Titel des Buches: bon bonn, august bonn, germany germany, august iii, lecture notes computer science, proceedings artificial intelligence conference, science 1992, german intelligence

---

Daten vom Verlag:

Autor/in: Hans J. Ohlbach
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; GWAI-92: Advances in Artificial Intelligence - 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31 - September 3, 1992. Proceedings
Verlag: Springer; Springer Berlin
407 Seiten
Erscheinungsjahr: 1993-05-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 407 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; 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; Artificial Intelligence; EA

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.