Vorlesung
"KI-Programmierung"
4.1.10 V2 b In c CV InsMSc CVMSc WIMSc - KLIPS
Jun.-Prof. Dr.
Bernhard Beckert
Aktuelles
27.02.08: Die Ergebnisse der Klausur sind per Email verschickt. Wer teilgenommen aber kein Ergebnis bekommen hat, möge sich bei mir melden. Die Musterlösung steht auf der Webseite zur Verfügung. Die Klausureinsicht findet am Donnerstag, dem 06.03.08, um 16 Uhr in meinem Büro statt.
17.02.08: Die Beispielklausuren, die ich in der letzten Vorlesungen gezeigt habe:
Bitte beachten Sie, dass der Inhalt der Vorlesungen zu denen diese Klausuren gehören nur zum Teil mit dem Inhalt von "KI-Programmierung" übereinstimmt. Insbesondere war in diesen Vorlesungen Prolog kein Thema.
14.02.08: Die Folien zu den heutigen Vorlesungen stehen zur Verfügung.
13.02.07: Die Ergebnisse der Evaluation finden sich hier: Details in Evali
06.02.08: Weitere Folien stehen zur Verfügung.
26.12.07: Achtung: Die Vorlesung am kommenden Donnerstag, dem 31.01.08 muss leider ausfallen. Sie wird am Donnerstag, dem 14.02.08, um 16 Uhr s.t. nachgeholt (an diesem Tag gibt es dann also eine Doppelveranstaltung mit Vorlesung und Übung zur Vorbereitung auf die Klausur).
26.12.07: Die Folien zum Game Playing (Vorlesung am 24.01.) stehen zur Verfügung.
21.01.08: Die Aufgabe zur Nach-Rechnerklausur am 17.01.08 und die Musterlösung stehen auf der Webseite zur Verfügung.
21.01.08: Weitere Vorlesungsfolien stehen auf der Webseite zur Verfügung.
03.01.08: Die Rechner-Nachklausur (zweite und letzte Chance für die, die am 20.12. nicht bestanden haben) findet am Donnerstag, dem 17.01.08, 13 Uhr s.t., in Raum F113, statt. Eine besondere Anmeldung ist dazu nicht erforderlich. Es gelten alle als angemeldet, die sich zur ersten Rechnerklausur angemeldet und nicht bestanden hatten.
03.01.08: Die Abschlussklausur findet statt am Donnerstag, 21.02.08, 14 Uhr c.t., in Raum E011. Zur dieser kann man sich in
MeToo bis Dienstag, den 19.02.08, anmelden.
03.01.08: Die Nach-Abschlussklausur findet statt am Donnerstag, 27.03.08, 14 Uhr c.t., in Raum E011. Zu dieser kann man sich in
MeToo bis Dienstag, den 25.03.08, anmelden.
22.12.07: Die Rechner-Nachklausur (zweite und letzte Chance für die, die am 20.12. nicht bestanden haben) findet am 17.01.08 statt.
22.12.07: Emails mit den Ergebnissen der Rechnerklausur sind versandt (wer keine bekommen hat, möge sich bei mir melden).
22.12.07: Die Aufgabe zur Rechnerklausur am 20.12.07 und die Musterlösung stehen auf der Webseite zur Verfügung.
08.12.07: Viele einfache Programmieraufgaben (mit Lösungen) finden sich hier:
P-99: Ninety-Nine Prolog Problems. Dabei sind zunäst vor allem die Aufgaben zum Thema "Listen" von Interesse.
08.12.07: Die Materialien zur Vorlesung am 06.12.07 stehen zur Verfügung.
04.12.07: Die Folien zum Thema Suche stehen zur Verfügung.
25.11.07: Die Rechnerklausur findet in der letzten Woche vor den Weihnachtsferien, am Donnerstag, dem 20.12.07, zum üblichen Vorlesungstermin in Raum F113 statt. Zu der Rechnerklausur können Sie sich bis 18.12.07 unter MeToo anmelden (und auch wieder abmelden): MeToo-Anmeldung
25.11.07: Zwei einfache Programmieraufgaben zum Thema Listen sind online (unter "Sonstige Materialien").
25.11.07: Die Folien zur Vorlesung am 23.11. sind online.
22.10.07: RAUMÄNDERUNG - Die Vorlesung findet im wöchentlichen Wechsel in Raum E414 und in Raum F113 (Rechnerraum) statt. Die erste Vorlesung am 08.11.07 ist in Raum F113.
20.10.07: In der ersten Vorlesungswoche kann die Vorlesung noch nicht stattfinden, und da in der zweiten Vorlesungswoche der 1.11. ein Feiertag ist, findet sie zum ersten Mal am Donnerstag, dem 08.11.07 statt.
20.10.07: Die Bedarfserhebung unter MeToo hat ergeben, dass ca. 1/3 der Hörer die Logik-Vorlesung im letzten Sommersemester gehört und also schon Vorkenntnisse in Prolog haben, während 2/3 die Logik-Vorlesung in früheren Semestern gehört haben. In der Vorlesung werde ich keine Prolog-Kenntnisse voraussetzen. Aber ich möchte am Anfang keine weitere Zeit zur Lösung technischer Probleme verwenden und bitte darum alle, die Prolog bisher noch nicht verwendet haben, die Zeit bis zum Beginn der Vorlesung zu nutzen und SWI-Prolog auf ihrem Laptop zu installieren (siehe unten) und sicherzustellen dass es läuft (wer für die Übungen einen Laborrechner statt des eigenen Laptops verwenden will, sollte sichergehen, dass er/sie weiß, wie man SWI-Prolog auf den Laborrechnern startet).
Inhalt
Die Vorlesung vermittelt grundlegende Methoden der KI (wie Suchen und
Planen). Zudem gibt sie eine Einführung in das Programmieren in
Prolog.
Im wöchentlichen Wechsel Methoden vermittelt und deren
praktische Umsetzung in Prolog in Veranstaltungen mit Übungscharakter
erprobt.
Folien und Programme zu den einzelnen Vorlesungen
Sonstige Materialien zur Vorlesung
- Wir werden in der Vorlesung SWI-Prolog verwenden. Es kann bei www.swi-prolog.org in Versionen für Windows, Linux und Mac heruntergeladen werden. Auf dieser Website finden sich auch viele weitere Informationen zu SWI-Prolog, Beispiele usw.
- Eine kurze Einführung zur Installation und Benutzung von SWI-Prolog (von Claudia Obermaier): swi-einfuehrung.pdf
- Eine Beschreibung von Problemen (und deren Lösung), die bei der ersten Benutzung von SWI-Prolog auftreten können (von Claudia Obermaier): swi-probleme.pdf
- Zwei einfache Programmieraufgaben zum Thema Listen:
- Schreiben Sie ein zweistelliges (Prädikat ein_gleiches_element,
das genau dann
beweisbar ist, wenn die beiden Argumente Listen sind und
mindestens ein Element der einen Liste mit einem Element
der anderen Liste unifizierbar ist. Die Position dieser Elemente
in den Listen muss nicht gleich sein.
Zum Beispiel soll die Anfrage
ein_gleiches_element([1,2,3],[a,1,b,c])
Yes liefern, die Anfrage
ein_gleiches_element([1,2,3],[a,b,c])
die Antwort No.
- Schreiben Sie ein zweistelliges (Prädikat twice, dessen erstes
Argument eine Liste ist und dessen zweites Argument die Liste ist,
die man erhält, indem man jedes Element der Liste aus dem ersten
Argument zweimal schreibt.
Zum Beispiel soll die Anfrage
twice([1,a,bla],X)
die Antwort X=[1,1,a,a,bla,bla] liefern.
- Viele einfache Programmieraufgaben (mit Lösungen) finden sich hier:
P-99: Ninety-Nine Prolog Problems
Scheinerwerb
Rechnerklausur
Zur Mitte des Semesters, am
Donnerstag, dem 20.12.2007, 14 Uhr c.t., Raum F113,
wird eine Recherklausur "geschrieben". Zu dieser können Sie sich bis 18.12.07 unter MeToo anmelden (und auch wieder abmelden): MeToo-Anmeldung
In der Rechnerklausur ist ein Programm in Prolog zu implementieren. Wenn es richtig läuft, ist die Rechnerklausur bestanden (ohne Note). Wer die Rechnerklausur nicht besteht, bekommt eine(!) Wiederholungsmöglichkeit nach der Weihnachtspause.
Die Aufgabe der Rechnerklausur: rechnerkl.pdf
Die Musterlösung: leaves.pl
Statistik: Von 41 angemeldeten Teilnehmern haben 27 (66%) bestanden (Nichtteilnahme zählt als nicht bestanden).
Die Nach-Rechnerklausur (zweite und letzte Chance für die, die beim ersten Mal nicht bestanden haben) findet am
Donnerstag, dem 17.01.2008, 13 Uhr s.t., in Raum F113
statt. Eine besondere Anmeldung ist dazu nicht erforderlich. Es gelten alle als angemeldet, die sich zur ersten Rechnerklausur angemeldet und nicht bestanden hatten.
Die Aufgabe der Nach-Rechnerklausur: rechnerkl2.pdf
Die Musterlösung: change.pl
Statistik: 2 (weitere) Teilnehmer haben.
Abschlussklausur
Die Abschlussklausur findet zum Ende der Vorlesungszeit statt. Das Bestehen der Rechnerklausur ist Voraussetzung für die Teilnahme an der Abschlussklausur. Nur wer die Abschlussklausur besteht, erhält einen Schein. Die Abschlussklausur bestimmt allein die Note für den Schein.
Die Abschlussklausur wird (anders als in den letzten Jahren) nicht als Rechnerklausur stattfinden sondern als normale schriftliche Klausur.
- Abschlussklausur: Donnerstag, 21.02.08, 14 Uhr c.t., Raum E011
MeToo-Anmeldung zur Abschlussklausur (bis Dienstag, den 19.02.08, möglich)
Aufgaben mit Musterlösung: klausur.pdf
- Nach-Abschlussklausur: Donnerstag, 27.03.08, 14 Uhr c.t., Raum E011
MeToo-Anmeldung zur Abschlussklausur (bis Dienstag, den 25.03.08, möglich)
Zeit und Ort
Donnerstags, 14 Uhr c.t., Räume E414 / F113
Die Vorlesung findet im wöchentlichen Wechsel in Raum E414 und in Raum F113 (Rechnerraum) statt. Die erste Vorlesung am 08.11.07 ist in Raum F113.
Die Vorlesung findet erstmals am 08.11.2007 statt.
Bernhard Beckert