Einführung in die Wissensverarbeitung

• Aktuelles
• Allgemeine Informationen
• Übungsblätter
• Folienskript
• Weiterführende Literatur

Die Klausureinsicht ist geplant für Donnerstag, 2. Juni, 11.00. Interessenten bitte eine Mail an mich.

• Übungsblatt 1 (2.11.04)
  Abzugeben sind Lösungen zu den Aufgaben 2, 3, 5, 7, 11.
• Übungsblatt 2 (17.11.04)
  Abzugeben sind Lösungen zu den Aufgaben 2b, 3b, 4a, 5, 8, 11, 12a.
  Übungsblatt 2' (17.11.04)
  Programmieraufgabe, alternativ zu Blatt 2
• Übungsblatt 3 (1.12.04)
  Abzugeben sind Lösungen zu den Aufgaben 2, 3a, 4, 6, 9, 11, 12, 14.
  Übungsblatt 3' (1.12.04)
  Programmieraufgabe, alternativ zu Blatt 3
• Übungsblatt 4 (16.12.04)
  Abzugeben sind Lösungen zu den Aufgaben 1, 2, 5, 7, 9a+c, 10.
  Übungsblatt 4' (16.12.04)
  Programmieraufgabe, alternativ zu Blatt 4
• Übungsblatt 5 (20.1.05)
  Abzugeben sind Lösungen zu den Aufgaben 1, 2a, 4, 5, 6, 8.

Abgabetermine:

• Übungsblatt 1: 24.11.04
• Übungsblatt 2: 1.12.04
• Übungsblatt 2': 8.12.04
• Übungsblatt 3: 15.12.04
• Übungsblatt 3': 15.12.04
• Übungsblatt 4: 13.1.05
• Übungsblatt 4': 13.1.05
• Übungsblatt 5: 3.2.05

Hinweis: Versehen Sie Ihre Lösungen bitte mit Name und Matrikelnummer. Falls Sie Ihre Lösungen in elektronischer Form abgeben möchten (z.Zt. nur per Mail möglich), mailen Sie mir bitte eine PDF-Datei pro Übung und nennen Sie die Datei <Nachname>-<MatrikelNr>-kbsintro04-blatt<Übungsnummer>.pdf. Beispiel: "meier-4711-kbsintro04-blatt3.pdf".

Vielen Dank!

• Modellierung wissensintensiver Probleme » Einleitung
• Modellierung wissensintensiver Probleme » Wissensrepräsentation
• Modellierung wissensintensiver Probleme » Begriffe der Modellierung
• Logik » Aussagenlogik
• Logik » Produktionsregelsysteme
• Suchalgorithmen » Einleitung
• Suchalgorithmen » Suchraumrepräsentation
• Suchalgorithmen » Standardverfahren
• Suchalgorithmen » Informierte Suchverfahren

Artikel:

• Interview mit John McCarthy über KI. What Is Artificial Intelligence? (2000)
• Minsky/McCarthy/Sloman. Machine Intelligence, Turing Test, and Commonsense Reasoning IBM Systems Journal, Vol. 41, No 3 (2002)

Künstliche Intelligenz:

• Durkin. Expert Systems -- Design and Development, Macmillan (1994)
• Nilsson. Principles of Artificial Intelligence, Springer (1982)
• Nilsson. Artificial Intelligence -- A New Synthesis, Teubner
• Puppe. Einführung in Expertensysteme
• Puppe. Problemlösungsmethoden in Expertensystemen
• Russell/Norvig. Artificial Intelligence -- A Modern Approach, Prentice-Hall (1995)
• Stefik. Introduction to Knowledge Systems, Morgan Kaufmann (1995)
• Waterman. A Guide to Expert Systems Winston/Horn. Artificial Intelligence

Engineering in AI:

• Clocksin/Mellish. Programming in Prolog
• Forbus, DeKleer. Building Problem Solvers
• Graham. Common LISP
• Karbach/Linster. Wissensakquisition für Expertensysteme
• Mayer. Common LISP
• Norvig. Paradigms of Artificial Intelligence -- Case Studies in Common LISP
• Winston/Horn. LISP

Ausgewählte Themen:

• Beckstein. Begründungsverwaltung
• Frühwirth/Abdennadher. Constraint-Programmierung -- Grundlagen und Anwendungen
• Montanari. Principles and practice of constraint programming
• Pearl. Heuristics, Addison-Wesley (1984)
• Schöning. Logik für Informatiker