2. Repetitorium der Prädikatenlogik

Damit das menschliche Wissen in Expertensystemen implementiert werden kann, muss es weitgehend formal beschrieben werden. In Kap. 2 wird eine systematische Vorgehensweise vorgestellt, wie dieses Ziel erreicht werden kann. Nach der Einführung der logischen Begriffe wie Aussage oder Beweis werden die Rolle und die Funktionsweise der logischen Verknüpfungen zwischen Aussagen besprochen. Konjunktion, Disjunktion und andere Verknüpfungen werden mittels Wahrheitstafeln und Venn-Diagrammen definiert und erklärt und anhand von zahlreichen Beispielen verdeutlicht. Auch Beweismethoden der Prädikatformeln werden thematisiert und die Grundlagen für die Formelreduktion eingeführt. Mehrere Testaufgaben mit Lösungsansätzen erlauben es dem Leser, die erworbenen Grundkenntnisse selbstständig zu überprüfen. Dieses Kapitel versteht sich somit als ein Repetitorium, da davon ausgegangen wird, dass der Leser Grundkenntnisse im Rahmen einer anderen Vorlesung erworben hat. Ist das nicht der Fall, empfiehlt sich das Studium der Grundlagen auf Basis der im Literaturverzeichnis genannten Bücher zum Grundlagenstudium.