Revision as of 2005-03-12 02:27

FrontPage > TuWienMitschriften > WissensbasierteSysteme

2005-03-07 (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!

• GrundlagenWissensbasierteSysteme
• InferenzArten
• LogischeSysteme
• AussagenLogik
• PraedikatenLogik

2005-03-09 (Mittwoch)

Last modified 2005-03-12 02:27 by rck