Einführung in die Künstliche Intelligenz, WS00/01

Institut für Grundlagen der Informationsverarbeitung (508)


Mitwirkende Personen

Diese Lehrveranstaltung wird vom Institut für Grundlagen der Informationsverarbeitung, Inffeldgasse 16b/1. Stock, A-8010 Graz abgehalten.

Vortragende

Sekretariat

Falls Sie Fragen oder Probleme haben, scheuen Sie sich nicht, oben genannte Personen zu kontaktieren.


Wann und Wo?

Vorlesung bzw. Übung:

Vorlesungsbeginn: Montag, 2. Oktober 2000

Zugang zu PC's :

Wird noch bekanntgegeben

Inhalt der Vorlesung

Diese LV konzentriert sich auf diejenigen Methoden, die nicht schon in den anderen LV'n des Clusters "Maschinelle Intelligenz" angeboten werden, also insbesondere:

Voraussetzung für diese Lehrveranstaltung ist die Kenntnis von elementaren Grundbegriffen der Logik im Umfang von dem kurzen Logikteil der ``Theoretischen Informatik 1'', siehe http://www.igi.tugraz.at/maass/logik/.



"Wie bekomme ich mein Zeugnis?"

Anmeldung

Um ein Zeugnis zu bekommen, müssen Sie sich für die Vorlesung (508.053) UND für die Übung (508.054) über das TUG-Online-System anmelden. Anmeldeschluß ist der 10.11.00 !!!

Zur Benotung

Die Note für Vorlesung und Übung ergibt sich primär aus den Punkten für die Lösungen zu den Übungsblättern. Diese werden im Laufe des Semesters ausgeteilt und von Ihnen eigenständig bearbeitet (siehe auch die Richtlinien).

Um ein positives Zeugnis zu erhalten benötigen sie 50% der maximal erreichbaren Punkte.

Bitte beachten Sie, daß das Gesetz keine Wiederholungsprüfung für die Übungen vorsieht und diese auch nicht angeboten werden können.



Beratungsmöglichkeiten

Falls es Probleme beim Lösen der Übungsaufgaben gibt, so können Sie folgende Beratungsmöglichkeiten in Anspruch nehmen.

Literatur

Literatur:
S. Russell, P. Norvig, (1995). Artificial Intelligence: A Modern Approach. Prentice Hall. http//www.cs.berkeley.edu/~russell/aima.html.

In der Lehrveranstaltung wird Material aus den Kapiteln 3, 4, 6 - 12 (und möglicherweise 14, 15) besprochen.

  • Weitere Literatur wird im Laufe des Semesters bekanntgegeben.

    Richtlinien zur Abgabe von Lösungen für Übungsblätter



    Übungsblätter

    Beginnen sie gleich nach dem Erhalt mit dem Bearbeiten der Übungsprobleme. Nur dann können Sie die Beratungsmöglichkeiten sinnvoll nutzen, falls Sie Schwierigkeiten beim Lösen der Probleme haben.

    Es gibt 3 Übungsblätter:



    Ergebnisse

    Hier sind die bisher erhaltenen Punkte pro Übungsblatt. Alle Angaben auf dieser Seite ohne Gewähr!!! Sollten Tippfehler zu falschen Punktezahlen geführt haben, bitte ich um Benachrichtigung.
     
  • 1. Übungsblatt und Testwelten 1,2 und 3
  • 2. Übungsblatt und Testwelten 1,2 und 3
  • 3. Übungsblatt
  • ENDERGEBNIS

    Aktuelle Termine



    Für die Vorlesung relevante Links

    Es gibt eine Newsgroup zu dieser Lehrveranstaltung: tu-graz.lv.maschinelles-lernen

    Zu Grundfragen der KI: Das menschliche Gehirn - nur ein Rechner?

    Schwerpunkt am IGI: Maschinelle Intelligenz

    Die in der Vorlesung verwendeten Folien findet man unter: http://www.cs.berkeley.edu/~russell/slides/syllabus.html

    Otter und Dokumentation dazu findet man auf: http://www-unix.mcs.anl.gov/AR/otter/

    Das online Journal of Artificial Intelligence Research gibts unter: http://www.jair.org/

     

    Ein Link zum Journal of Artifical Intelligence, der vielleicht angesehensten Fachzeitschrift für KI: http://www.bibliothek.uni-regensburg.de/ezeit/fl.phtml?notation=SQ-SU&bibid=TUBG&colors=3&frames=&toc=&ssg= (unter "Artificial Intelligence")

     

    Informationen zu Schliessen aus unsicherem Wissen:

    Links zum Thema Planning:

     

    Einige Links zu weiteren Informationen ueber KI und Software Tools:


    Neuigkeiten

    Auf dieser Seite wir zusammengefaßt was es auf dieser Homepage Neues gibt. Diese Seite wird im Laufe des Semesters immer am neuesten Stand gehalten.

    DatumNeuigkeit
    17.1.01 In der VO am 22.1. gibt es einen Gastvortrag von Gerald Steinbauer über Oskar, einen lange im Einsatz befindlichen Roboter. Ausserdem werden Themen für mögliche Forsetzungen der LV, in einem Seminar bzw. einem längeren Projekt z.B. "Roboterfußball" diskutiert.
    3.12.00 Am 7.12. findet die KU in Form einer betreuten Übung im PC Raum 2, Inffeldg. 16 EG 13-16 Uhr statt. Die nächste KU ist dann am 18.1.2001.
    23.11.00 Die VO's am 27.11. und 4.12 entfallen. Ebenso die KU am 30.11.
    16.11.00 Im Verzeichnis /home/EKI befinden sich der Source von otter und eine Demonstration der Kommunikation zw. otter und einem c-Programm (demo.c).
    31.10.00 Die Abgabe des 3. Beispiels des 1. Übungsblattes wurde auf den 13.11. verschoben.
    12.10.00 Das erste Übungsblatt und der Simulator der Wumpus Welt sind zum Download verfügbar.
    12.10.00 Bitte melden Sie sich so schnell wie möglich zur KU UND zur VO dieser LV an! Erst aufgrund dieser Liste kann ich die Accounts zur LV generieren ...
    9.10.00 Die Vorlesung am 9.10. entfällt wegen spontaner Erkrankung des Vortragenden.
    26.09.00 Diese Homepage wird ins Leben gerufen. Ich hoffe Sie nutzen die Möglichkeiten die wir Ihnen hier bieten. Falls Sie Anregungen oder Beschwerden zur Homepage haben senden Sie uns eine e-mail.