Revision as of 2005-03-07 18:28

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!

• GrundlagenWissensbasierteSysteme
• KlassischeLogik?
• AussagenLogik
• PrädikatenLogik

Last modified 2005-03-07 18:28 by rck