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.
Wissensverarbeitung in Logiken<br />
Ziele:<br />
◮ Herleitung neuen Wissens<br />
◮ Konsistenztests vorhandenen Wissens<br />
Methoden:<br />
◮ Suche nach Modellen<br />
◮ semantische Methoden:<br />
semantisches Folgern, Wahrheitswerttabellen,<br />
Entscheidungstabellen, Entscheidungsbäume<br />
◮ syntaktische Methoden:<br />
Schließen, Ableiten in logischen Kalkülen, Beweisen<br />
77