| Universität Ulm, Fakultät für Informatik, Abtl. Künstliche Intelligenz | up: weitere Lehrveranstaltungen |
| Aktuelles |
Die Übungs-Scheine werden gerade ausgestellt. Wenn Sie die erforderlichen 48 Punkte in den Übungen erreicht haben, schicken Sie Ihre Matrikel-Nummer bitte an schatten@informatik.uni-ulm.de
Die Übungs-Scheine können im Sekretariat der Abteilung KI abgeholt werden.
| Inhalt der Vorlesung |
|
Künstliche Intelligenz beschäftigt sich mit der Automatisierung von Aktivitäten, die gemeinhin als allein dem Menschen vorbehaltene Intelligenzleistungen angesehen werden. Dazu gehören das Verstehen von Sprache, das Beweisen mathematischer Sätze, das Lernen aus Erfahrung, das planvolle Vorgehen beim Lösen von Problemen und vieles mehr. Die Vorlesung gibt eine Einführung in das Gebiet und stellt die wichtigsten Methoden vor. Im einzelnen werden hauptsächlich folgende Themenbereiche behandelt:
|
| Termin |
|
|
| Übungen |
| Übungsblatt 1 | Programmieraufgabe: Suche eine Funktion zur Generierung einer gegebenen Zahlensequenz. | |
| Übungsblatt 2 | Popositionale Logik: Normalformen, Beweise, Resolution für einen Schaltkreis, Deduktionstheorem und Tautologie. | |
| Übungsblatt 3 | Situationskalkül: Modellierung der Wumpus-Welt und Ableitungen. | |
| Übungsblatt 4 | Wissensrepräsentation: Modellierung in Loom, Erstellen einer Taxonomie, Subsumptionstest, Einfügen von Instanzen, Klassifizierung. Hinweise zu Loom. | |
| Übungsblatt 5 | Regelbasierte Systeme: Implementierung eines Produktionssystems mit
Konflikt-Strategien und Service-Diensten. Zum Download stehen bereit die Funktionen match.lisp, main.lisp und ein Beispiel für der Arbeits- und Produktionsspeicher. Bitte beachten Sie: Im neuen Linux-Pool existiert noch kein Allegro Common Lisp sondern das im Rahmen der Suse-Distribution vertriebene clisp. Trotz kleinerer Differenzen in der Bedienung (nach einem Break) ist die Lösung der Aufgabe hiervon jedoch nicht betroffen. |
|
| Übungsblatt 6 | Planen: Modellierung der ``Towers of Hanoi'' Domäne, Einsatz des
Nicht-linearen Planungssystems UCPOP, Generierung von
Problem-Instanzen. Installations-Hinweise und
Download. Update: Die erste Version des Systems vertrug sich nicht mit AllegroCl und clisp gleichzeitig, bitte beachten Sie die neu eingespielte UCPOP Distribution im Download-Bereich! 2. Update: Bitte beachten Sie den Typo in der ersten Version der Hinweis-Seite. Bei der Beispiel-Definition eines fact hatte sich ein Fehler eingeschlichen!3. Update: In der Distribution ist der Default-Wert für die Beschränkung der Suchtiefe im Allgemeinen zu gering. Bitte den Hinweisen entsprechend anpassen. |
|
| Übungsblatt 7 | Lernen: Lernen mit Entscheidungsbäumen, Lernen mit Versionsräumen |
| Nützliche Vorkenntnisse |
| Technisches |
| Typ: | Vorlesung im Hauptstudium (3V / 1Ü) | |
| Zuordnung: | Praktische und Angewandte Informatik(Kernfach)
Künstliche Intelligenz (Vertiefungsgebiet) |
|
| Folgeveranstaltungen: | Planen und Scheduling Wissensbasierte Systeme |
| Abtl. KI Startseite | Hilfe | Mail an Webmaster | bs - 19.02.01 |