Universität Bielefeld ­ Technische Fakultät ­ AG Wissensbasierte Systeme

Lehre der AG Wissensbasierte Systeme im Sommersemester 2004

---

Theoretische Informatik

Beleg-Nr.: 39 20 03

Veranstalter: Ipke Wachsmuth, Timo Sowa

 

Beginn: 20.04.2004, 10h

 

Voraussetzungen/Vorkenntnisse:

Vorausgesetzt werden Kenntnisse der Programmierung, der naiven Mengenlehre, einfacher Logikkalküle und elementarer Beweistechniken wie des Beweisens durch Widerspruch und durch vollständige Induktion.

Inhalt/Kommentar:

Zentrale Gegenstände der Informatik sind Algorithmen und ihre sprachlichen Realisierungen als Programme sowie Problemlösungen durch Berechnungsverfahren. Die Vorlesung behandelt Grundlagen der theoretischen Informatik, mit denen zunächst eine Fundierung von Programmiersprachen gelegt werden soll. Im Teil I geht es um formale Sprachen und Grammatiken bis hin zu einer Typisierung von Sprachklassen nach ihrer Leistungsfähigkeit (Chomsky-Hierarchie). Unter dem Gesichtspunkt der Spracherkennung betrachtet der Teil II formale Sprachen und Automaten (deterministische und nichtdeterministische endliche Automaten, Kellerautomaten, Turing-Maschinen und RAM-Maschinen). Im Teil III folgen Einführungen in die Berechenbarkeitstheorie, die sich mit grundsätzlichen Möglichkeiten und Grenzen der Algorithmisierbarkeit befasst, und in die Komplexitätstheorie, die untersucht, mit welchem Aufwand an Berechnungsressourcen (Rechenzeit, Speicherplatz) algorithmische Aufgaben gelöst werden können. Im abschließenden Teil IV werden Grundzüge der Logik im Hinblick auf ihre Rolle in informatischen Aufgabenstellungen vermittelt. Auf diese Grundvorlesung können im Hauptstudium Vorlesungen zur Logik und Rekursionstheorie, Logik-Programmierung, zum Übersetzerbau und zur Künstlichen Intelligenz aufbauen.

Literatur:

(Zur Vertiefung gedacht; genauere Angaben in der Vorlesung):

• Hopcroft, J.E., Motwani, R., Ullman, J.D.: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison-Wesley, 2002 (zur Vertiefung)
• Kelly, J.: Logik im Klartext, Pearson Studium, 2003 (viele Beispiele!)
• Lewis, H.R., Papadimitriou, C.H.: Elements of the theory of computation. Englewood Cliffs, N.J.: Prentice Hall, 1981 (zur Vertiefung)
• Schöning, U.: Theoretische Informatik kurz gefaßt. (2. Auflage) Heidelberg: Spektrum Akademische Verlag, 1995
• Schöning, U.: Logik für Informatiker (4. Aufl.). Heidelberg: Spektrum Akdademischer Verlag, 1995 (in Auszügen)
• Sipser, M.: Introduction to the theory of computation. PWS Publishing Company, 1996 (wird wegen guter Didaktik gelobt)
• Wegener, I.: Kompendium Theoretische Informatik - eine Ideensammlung. Stuttgart: Teubner, 1996 (zur Ergänzung)

Übungen zu Theoretische Informatik

Beleg-Nr.: 392004

Veranstalter: Timo Sowa

Beginn:

 

---

Agentensysteme - Eine Einführung

Beleg-Nr.: 39 2014

Veranstalter: Christian Becker , Alf Kranstedt , Nadine Leßmann

Beginn: 20.4.2004, Di 14-16

Voraussetzungen/Vorkenntnisse:

Explizite Vorkenntnisse werden nicht verlangt, erwünscht ist allerdings ein aktives Interesse an der Thematik der künstlichen Intelligenz.

Inhalt/Kommentar:

Im Bereich der künstlichen Intelligenz spielen sowohl Softwareagenten als auch Multiagentensysteme eine wichtige Rolle. Erstere stellen ein flexibles Softwaredesignparadigma dar, welches im Rahmen der verteilten künstlichen Intelligenz Anwendung findet. Durch Multiagentensysteme fanden Konzepte der kollektiven Intelligenz und der Entstehung von Strukturen durch Interaktion Eingang in die Informatik.

In diesem Seminar wird der Schwerpunkt auf Multiagentensysteme gelegt, wozu als erstes der Begriff des "Agenten" genauer untersucht wird, um danach die theoretischen Fundamente von (Multi-)Agentensystemen gemeinsam zu erarbeiten.

Die Thematik wird anhand eines aktuellen Buches, ergänzt durch aktuelle Forschungsliteratur, aufgearbeitet. Der Lernstoff soll in Form von ausgearbeiteten Vorträgen präsentiert und diskutiert werden und richtet sich an Studierende des Grundstudiums.

Literatur:

• Jacques Ferber: Multiagentensysteme - Eine Einführung in die Verteilte Künstliche Intelligenz, Addison-Wesley Verlag, 2001
• Gerhard Weiss, Multiagent Systems - A Modern Approach to Distributed Artificial Intelligence, MIT Press, Cambridge Massachusetts, London, England, 1999
• Franziska Klügl, Multiagentensimulation, Konzepte Werkzeuge, Anwendungen, Addison-Wesley Verlag, 2001
• Michael Wooldridge, Introduction to Multi-Agent Systems, John Wiley and Sons, 2002
  

Spezielle Themen der KI

Beleg-Nr.: 39 21 13

Veranstalter: Marc Latoschik

Beginn: 22. 4. 2004, Do 14-16, U2-205

Voraussetzungen/Vorkenntnisse:

Methoden der Künstlichen Intelligenz

Inhalt/Kommentar:

Literatur:

• S. Russell & P. Norvig: Artificial Intelligence: A Modern Approach. Prentice Hall, 2nd Edition, 2003.
• G. Görz (Hrsg). Einführung in die Künstliche Intelligenz. 3. Auflage. 2000.

XHTML, CSS und JavaScript

Beleg-Nr.: 39 21 25

Veranstalter: Prof. Dr. Karl-Heinrich Schmidt

Beginn: Block,

 

Voraussetzungen/Vorkenntnisse:

Inhalt/Kommentar:

Arbeitsgemeinschaft Wissensbasierte Systeme

Beleg-Nr.: 39 21 80

Veranstalter: Ipke Wachsmuth , Marc Latoschik , Christian Becker , Timo Sowa

Beginn: 20.4.2004 Vorbesprechung, Di 16-18, M4-126

 

 

Die Forschungsschwerpunkte der Arbeitsgruppe Wissensbasierte Systeme liegen auf der intelligenten Mensch-Maschine-Kommunikation in virtuellen Welten unter Einbezug natürlicher Sprache und Körpergestik. Interessante Fragestellungen ergeben sich dabei aus den Gebieten multimodale Systeme, dynamische Wissensrepräsentationen, Virtual Reality, wissensbasierter Computergrafik und -animation sowie Agententechnologien.

In diesem Diplomanden- und Doktorandenseminar werden aktuelle Arbeiten und neueste Ergebnisse aus den Forschungskontexten der Arbeitsgruppe vorgetragen und diskutiert.

 

Interessierte Studierende sind herzlich zur Teilnahme eingeladen.

 

Zurück zur ...

Startseite der Technischen Fakultät

Margret Barner, 2004-03-24