Nächste Seite: 2.1 Natürliche Sprache Vorige Seite: 1.6 Der Aufbau und

2 Repräsentationsformalismen

In diesem Kapitel stellen wir eine Reihe von bekannten Formalismen zur Repräsentation von Wissen dar. Wir beginnen mit den natürlichen Formen zur Repräsentation sowie mit deren Abstraktion in Form des Logikformalismus. Dann besprechen wir eine Reihe weiterer Formalismen, in etwa geordnet nach einer Mischung zwischen Ausdrucksstärke und Wichtigkeit.

2.1 Natürliche Sprache
2.2 Bilder
2.3 Fregesche Repräsentation
2.3.1 Syntax und Semantik der Prädikatenlogik
2.3.2 Varianten der Repräsentation von Formeln
2.3.3 Deduktion
2.3.4 Sprache und Logik
2.4 Assoziative Netze
2.5 Konzeptrahmen
2.6 Vererbungssysteme
2.6.1 Begriffliche Grundlagen
2.6.2 Eine skeptische Lösung des Vererbungsproblems
2.6.3 Eigenschaften der skeptischen Lösung
2.6.4 Das logische Analogon zur Vererbung
2.7 Terminologische Systeme
2.8 Gebräuchliche Repräsentationssprachen
2.8.1 KL-ONE
2.8.2 Weitere Sprachen
2.9 Produktionssysteme
2.10 Neuronale Netze
2.11 Weitere Formalismen
2.11.1 Datenbanken
2.11.2 Bedingungsnetze
2.11.3 Begriffsverbände
2.11.4 Hornlogik
2.11.5 Sortenlogik
2.11.6 Logik höherer Stufe
2.11.7 Modallogik
2.11.8 Markierte Deduktionsformalismen
2.11.9 Probabilistisches Wissen
2.11.10 Vage Beschreibungen
2.11.11 Analoge Repräsentation
2.11.12 Programmiersprachen
2.11.13 Die Überwindung von Babel
Übungen zu Kapitel 2