Universität Ulm, Fakultät für Informatik, Abtl. Künstliche Intelligenz up: weitere Lehrveranstaltungen

Einführung in die Künstliche Intelligenz

 

Unterlagen zur Vorlesung im WS'03/04


 Inhalt der Vorlesung

 

Künstliche Intelligenz stellt Methoden und Techniken bereit, die die Autonomie, Flexibilität, Adaptivität und Robustheit von Softwaresystemen enorm erhöhen. Diese intelligenten Systeme verstehen natürliche Sprache, können automatisch Schlussfolgerungen ziehen und Beweise führen, planen den Lösungsweg für eine Problemstellung flexibel in Abhängigkeit von der aktuellen Umgebungssituation und lernen selbständig.

Die Vorlesung gibt eine Einführung in das Gebiet und stellt die wichtigsten Methoden sowie einige Anwendungen vor. Im einzelnen werden folgende Themenbereiche behandelt:
  • Suchen und Problemlösen
  • Repräsentation von Wissen
  • Automatisches Schlussfolgern und Beweisen
  • Handlungsplanung
  • Lernen

 
 Veranstalter

Prof. Dr. Susanne Biundo-Stephan   Raum O27/448    Tel.: 5024122     E-Mail

mit  Roland Holzer   Raum O27/424    Tel.: 50 24258 E-Mail

 Termine

Vorlesung:
Dienstag, 10:15 - 11:45 Uhr, Raum 123
Mittwoch, 12:30 - 14:00 Uhr, Raum 1002
Sprechstunde: nach der Vorlesung oder n.V.

Übungen:
Die Übungen finden 14-tägig Mittwochs statt.
Übungsblätter müssen am Montag zuvor bis 12.00 Uhr
im Sekretariat KI oder bei R.Holzer abgegeben werden.

 Unterlagen

1. EinleitungPDF (218kB)
2. AgentenPDF (115kB)
3. Problemlösen durch SuchePDF (264kB)
4. Heuristische SuchePDF (206kB)
5. Constraint Satisfaction SuchePDF (81kB)
6. SpielePDF (185kB)
7. AussagenlogikPDF (229kB)
8. PrädikatenlogikPDF (162kB)
9. DomänenmodellierungPDF (143kB)
10. WissensräpresentationPDF (79kB)
    Hinweise zur Verwendung von LOOM und Allegro Common Lisp
    Die Beispielaufgabe aus der Vorlesung, sowie die Lisp Lösungen für die Aufgaben a7-2 und a7-3
11. Wissensbasierte SystemePDF (162k)
12. PlanenPDF (274k)
13. LernenPDF (344k)

 Übungen

1. Übungsblatt PDF Lösungsvorschlag:PDF
2. Übungsblatt PDF Lösungsvorschlag:Java Dateien als .zip
3. Übungsblatt PDF Lösungsvorschlag:Java Dateien als .zip
4. Übungsblatt PDF Lösungsvorschlag:PDF
5. Übungsblatt PDF Lösungsvorschlag:PDF
6. Übungsblatt PDF Lösungsvorschlag:Java Dateien als .zip
7. Übungsblatt PDF 
8. Übungsblatt PDF 

 Nützliche Vorkenntnisse

Kenntnisse in den Programmiersprachen Java und Lisp (siehe auch Veranstaltung Einführung in die LISP-Programmierung).

 
 Literatur

S.J. Russell, P. Norvig: Artificial Intelligence -- A Modern Approach, Prentice-Hall, 1995.

 Technisches

Typ: Vorlesung im Hauptstudium (3V / 1Ü)
wählbar im 3. Bachelorjahr
Leistungspunkte:  6
Zuordnung:  Praktische und Angewandte Informatik (Kernfach) 
Künstliche Intelligenz (Vertiefungsgebiet)
Folgeveranstaltungen:  Planen und Scheduling
Wissensbasierte Systeme
Multiagentensysteme


Abtl. KI Startseite Hilfe Mail an Webmaster rh - 17. Dez. 03