WissensbasierteSysteme |
History | Back to Page
Revision as of 2005-03-07 18:46 FrontPage > TuWienMitschriften > WissensbasierteSysteme 2005-07-03 (Montag)Die heutige erste Vorlesung war im wesentlichen eine Wiederholung aus bereits bekanntem Stoff. Kurz und prägnant hat Prof. Egly Inferenz und Logik definiert. Neben den Zielsetzungen der KI wurden Inferenz-Formen (Schließen), Logische Systeme, die Klassische Logik und die Aussagenlogik umfassend zusammengefasst. Die Prädikatenlogik ging sich nur Ansatzweise aus und wird am Mittwoch fortgeführt. Sogar Monthy Python kam vor!
|