skip to main content

kiesler.at
WissensbasierteSysteme
Back to Page | Back to History

Difference between revisions

Version 8, 2005-03-07 23:06 Version 9, 2005-03-12 02:27
Lines 2 - 8 Lines 2 - 8
   
http://www.kiesler.at/static/wiki/wissensbasierte_systeme.jpg http://www.kiesler.at/static/wiki/wissensbasierte_systeme.jpg
   
++ 2005-07-03 (Montag) ++ 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 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.
   
Lines 15 - 17 Lines 15 - 20
* PraedikatenLogik * PraedikatenLogik
   
   
  ++ 2005-03-09 (Mittwoch)
   
  [http://www.kiesler.at/static/wiki/wbs_20050309.jpg]