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

---

Content:
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

---

Content:
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
....