Wiederholung
Wiederholung
Wiederholung
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Wissensrepräsentation und -verarbeitung in Logiken<br />
Wissensbasis (Problembereich): Formelmenge Φ<br />
Problem Formel ψ<br />
Fragestellung: Folgt ψ aus Φ?<br />
Lösung<br />
◮ ja / nein<br />
◮ erfüllende Belegung<br />
Möglichkeiten zum Ableiten neuen Wissens (Formel) aus einer<br />
Wissensbasis (Formelmenge)<br />
Folgern (semantisch): Wahrheitswerttabellen<br />
Schließen (syntaktisch): Kalküle<br />
78