Prinzipien der Künstlichen Intelligenz Wissensrepräsentation, Inferenz und Expertensysteme

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:German
Published: Wiesbaden Vieweg+Teubner Verlag 1992, 1992
Edition:2nd ed. 1992
Series:Leitfäden und Monographien der Informatik
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 02164nmm a2200253 u 4500
001 EB000640730
003 EBX01000000000000000493812
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| ger
020 |a 9783322848703 
245 0 0 |a Prinzipien der Künstlichen Intelligenz  |h Elektronische Ressource  |b Wissensrepräsentation, Inferenz und Expertensysteme 
250 |a 2nd ed. 1992 
260 |a Wiesbaden  |b Vieweg+Teubner Verlag  |c 1992, 1992 
300 |a IV, 378 S.  |b online resource 
505 0 |a und Übersicht -- § 0 Vorbemerkungen -- I Wissensrepräsentation und Inferenz in der Prädikatenlogik -- § 1 Syntax und Semantik der Prädikatenlogik -- § 2 Allgemeine deduktive Methoden -- § 3 Der Spezialfall der Gleichheit, Reduktionssysteme -- § 4 Prädikatenlogik und deklaratives Programmieren; Regelsysteme -- II Erweiterte Ausdrucksmöglichkeiten -- § 5 Der praktische Gebrauch der logischen Zeichen -- § 6 Unzulänglichkeiten der Prädikatenlogik -- § 7 Prädikatenlogik höherer Stufe -- § 8 Spezielle Darstellungsarten und Inferenzmechanismen -- § 9 Modale Ausdrucksweisen und Graphenmodelle -- §10 Induktive Logik und Hypothesenbildung -- § 11 Nichtmonotonie und Revisionsmechanismen -- § 12 Die Logik von Frage und Antwort -- III Expertensysteme -- §13 Allgemeine Vorbemerkungen -- § 14 Behandlung von Unsicherheit und Vagheit -- § 15 Suchverfahren -- § 16 Modellierung zeitlichen Verhaltens -- § 17 Abstraktion und qualitatives Schließen -- § 18 Erklärung -- § 19 Wissensakquisition und Lernen -- § 20 Analytische und synthetische Systeme -- IV Ergänzungen -- § 21 Entscheidungsunterstützende Systeme -- § 22 Expertensysteme und Datenbanken -- § 23 KI — Programmiersprachen -- § 24 Aspekte der Kognitionswissenschaften -- Stichwortverzeichnis 
653 |a Engineering 
653 |a Engineering, general 
710 2 |a SpringerLink (Online service) 
041 0 7 |a ger  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Leitfäden und Monographien der Informatik 
856 4 0 |u https://doi.org/10.1007/978-3-322-84870-3?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 620