C3: Erfüllbarkeit: Grundresolution
Wir schauen uns heute Prädikatenlogisches Folgern an
- Wenn wir so tagtäglich durch unser Leben laufen sind wir in einem "Wissensbasierten" system
- wenn wir etwas machen, machen wir das oft auf grundlage von vorherigem wissen
- z.b. packen wir einen Regenschirm aus, da wir wissen, dass wir nass werden, wenn es regnet
- Sowas können wir auch in prädikatenlogischen Formeln ausdrücken
- wir verwenden dafür Konstantensymbole und Relationssymboke
- Die fakten die wir als "wissen" definieren setzen sich dann aus den atomaren Formeln zusamme
- Wir können aber leider nicht annehmen, dass unsere Wissensbasis alle wichtigen Fakten enthält
- Dementsprechend ist immer die frage, welche weiteren fakten aus den gegebenen Fakten und regeln folgen also implizit dargestellt werden
- Daher stellen wir uns die frage, wie können wir sehen, dass dieser kram überhaupt erfüllbar ist?
