<mod-ki 0774> Zwei KI-Stellen in Konstanz
Hans-Werner Hein
To: mod...@unido.informatik.uni-dortmund.de
Date: Fri, 11 Oct 91 17:11:44 +0100
Subject: <mod-ki 0774> Zwei KI-Stellen in Konstanz
Keywords: Stellen
mod-ki message 0774
************************************************************************
Prof. Dr. Alfred Kobsa
AG Wissensbasierte Informationsysteme
FG Informationswissenschaft
Universitaet Konstanz
7750 Konstanz 1
Tel.: 07531/88-3593
E-mail: ko...@lindau.inf-wiss.ivp.uni-konstanz.de
MITARBEITERSTELLEN IM BEREICH
WISSENSREPRAESENTATION - BENUTZERMODELLIERUNG
An der Universitaet Konstanz sind ab 1.10.1991 die folgenden beiden
Stellen im Rahmen des DFG-Projekts "BGP-MS: Werkzeugsystem fuer
Benutzermodellierung' zu besetzen:
1) Wissenschaftliche(r) Mitarbeiter(in) BAT IIa
Im Rahmen dieser Stelle soll der in der Benutzermodellierung verwendete
Partitionsansatz zur Glaubensrepraesentation mit modallogischer
Repraesentation verbunden werden. Insbesondere sollen
Verbindungsmoeglichkeiten zwischen dem Partitionsverwaltungssystem
SB-PART und Ohlbach's "Context Logic" untersucht und implementiert
werden. Mitwirkung in der Lehre nach Absprache wird ebenfalls erwartet.
Der/die "Idealkandidat(in)" sollte gute Kenntnisse im automatischen
Beweisen, Modallogik, Wissensrepraesentation, UNIX und Commonlisp (evtl.
CLOS und CLIM)) sowie SB-ONE haben.
2) Wissenschaftliche(r) Mitarbeiter(in) BAT IIa
Im Rahmen dieser Stelle soll das Benutzermodellierungs-Shell-System
BGP-MS mit Inferenzfaehigkeiten ausgestattet werden. Es sollen
Stereotypenvererbung sowie die Einbindung von Regeln und Prolog naeher
untersucht und implementiert werden. Interesse fuer Default-Logik oder
Truth Maintenance kann bei der Aufgabenbeschreibung beruecksichtigt
werden. Mitwirkung in der Lehre nach Absprache wird ebenfalls erwartet.
Der/die "Idealkandidat(in)" sollte gute Kenntnisse in
Wissensrepraesentation, Prolog, Benutzermodellierung, UNIX und
Commonlisp (evtl. CLOS und CLIM) und SB-ONE haben sowie Erfahrung mit
der Entwicklung groesserer KI-Software-Systeme mitbringen.
Beide Stellen sind ab 1.1.1992 zu besetzen (evtl. auch frueher) und
vorerst auf zwei Jahre befristet. Promotionsmoeglichkeit ist gegeben.
Die Arbeiten sollen auf SPARCstations durchgefuehrt werden. Es existiert
bereits ein SUN-Netz mit Internet-Verbindung. Vorhandene Macs und
MS-DOS-Rechner koennen mitbenutzt werden. Hervorzuheben ist auch die
gute Qualitaet der zentralen Universitaetsbibliothek. Auf die attraktive
Lage sowohl der Universitaet als auch der Stadt Konstanz braucht ja
nicht eigens hingewiesen zu werben.
Naehere Informationen koennen gerne bei mir angefordert werden.
************************************************************************