Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Forschungsbereich
Computeralgebra,
Wissensrepräsentation
Computer-Algebra
Institut für Kryptographie und Sicherheit
Institut für Kryptographie und Sicherheit
Leiter i.R.: Prof. Dr. J. Calmet
Stipendiat: T. Mie
(J. Calmet)
In diesem Jahr lag der Schwerpunkt auf differentieller Algebra. Ein Ziel war es, die
Beziehungen der historischen Arbeit des Jacobi zu neueren Ansätzen der französischen
Gruppe von Boulier et al. über differentielle Ideale und zu der russischen Gruppe von
Kondriatova und Pankratiev über Systeme von algebraischen partiellen
Differentialgleichungen aufzuzeigen. Jacobi war der letzte Mathematiker, der seine Papiere
in Latein geschrieben hat. Die entsprechenden Papiere wurden nie ins Englische übersetzt.
Die Arbeit von Boulier et al. wurde nie veröffentlicht, aber sehr oft zitiert. Die russische
Arbeit war nur im Original verfügbar. Mit F. Ollivier haben wir beschlossen, einen
Sonderband der Zeitschrift AAECC herauszugeben, um die oben angeführten Papiere in
englischer Sprache zugänglich zu machen. Neuere Entwicklungen werden in der zweiten
Ausgabe erscheinen.
Abstraktionsbasierte Informationstheorie
(J. Calmet)
Ziel dieses Projektes ist es, einen formalen Rahmen zu definieren, der dafür geeignet ist,
kulturelle Überlegungen zu betrachten. Er beruht auf Grundsätzen, die in der Integration
von Computer-Algebra-Systemen und Theorembeweisern verwendet wurden. Sie werden
zu multidisziplinären Aufgaben erweitert, die Systeme zur Entscheidungsfindung werden
für die verschiedensten Bereiche wie Soziologie, Jura oder Physik benötigt.
Das übergeordnete Ziel ist es, kulturelle Schlussfolgerungen zu einem Ziel der künstlichen
Intelligenz zu machen. Ein erster Schritt ist es, die Machbarkeit zu zeigen.
Vertrauen und kulturelle Unterschiede
(J. Calmet)
Kulturelle Unterschiede sind der Ursprung der offensichtlichen Vertrauens-Probleme in virtuellen
Unternehmen oder bei jeder internationalen Zusammenarbeit. Wir entwickeln
Werkzeuge, um solche Probleme mit einem Konzept der virtuellen Wissensgemeinschaften,
die durch eine Zusammenarbeit mit Pierre Maret in den letzten Jahren eingeführt wurden,
zu lösen. Das Ziel des Projektes ist es, ein System für Kunden mit wenig oder gar keinen
Kenntnissen der Informationstechnologie umzusetzen. Es muss auf tragbaren Geräten
207
3