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

Front Matter....Pages I-4
Vorbemerkungen....Pages 5-10
Syntax und Semantik der Prädikatenlogik....Pages 11-30
Allgemeine deduktive Methoden....Pages 31-50
Der Spezialfall der Gleichheit, Reduktionssysteme....Pages 51-67
Prädikatenlogik und deklaratives Programmieren; Regelsysteme....Pages 68-99
Der praktische Gebrauch der logischen Symbole....Pages 100-110
Unzulänglichkeiten der Prädikatenlogik....Pages 111-115
Prädikatenlogik höherer Stufe....Pages 116-119
Spezielle Darstellungsarten und Inferenzmechanismen....Pages 120-152
Veränderliche Welten und modale Ausdrucksweisen....Pages 153-166
Induktive Logik, Hypothesenbildung und Analogieschlüsse....Pages 167-174
Nichtmonotonie und Revisionsmechanismen....Pages 175-184
Die Logik von Frage und Antwort....Pages 185-192
Allgemeine Vorbemerkungen....Pages 193-204
Behandlung von Unsicherheit und Vagheit....Pages 205-232
Suchverfahren....Pages 233-251
Modellierung zeitlichen Verhaltens....Pages 252-270
Abstraktion und qualitatives Schließen....Pages 271-284
Erklärung....Pages 285-295
Wissensakquisition und Lernen....Pages 296-308
Analytische und synthetische Systeme....Pages 309-341
Entscheidungsunterstützende Systeme....Pages 342-346
Expertensysteme und Datenbanken....Pages 347-353
KI-Programmiersprachen....Pages 354-364
Aspekte der Kognitionswissenschaften....Pages 365-369
Back Matter....Pages 370-381