Logik-Sem., 27.04.06, V. Sorge
Uwe Waldmann
Einladung zum Vortrag
Zeit: Donnerstag, 27.04.06, 16.15 Uhr
Ort: Hörsaal 023, MPI Saarbrücken (Geb. E1.4)
Volker Sorge (The University of Birmingham, UK):
Integrating AI Systems for Mathematical Discovery
(joint work with Andreas Meier, Roy McCasland, and Simon Colton)
Zusammenfassung:
The automatic construction of mathematical theorems is a challenging
task for Artificial Intelligence systems, which has pushed many
research boundaries in different branches of AI. In particular in
combinatorially intensive mathematical domains automated reasoning
techniques can lead to results beyond the scope of human
mathematicians.
In my talk I shall describe the construction of classification
theorems in the algebraic domain of quasigroups and loops. This work
has driven research not only on individual mathematical reasoning
techniques, but also on the integration of a range of diverse techniques.
We have developed a bootstrapping algorithm for the automatic
generation of classification theorems with respect to different
equivalence relations, which relies on the power of model generation,
first order theorem proving, computer algebra, machine learning and
satisfiability solving. In particular, the construction of algebraic
invariants demands an intricate interplay of these techniques. We
could demonstrate the effectiveness of our approach by generating
novel theorems, which have so far been beyond the reach of automated
reasoning systems.
______________________________________________________________________
Das Logikseminar ist eine gemeinsame Veranstaltung des DFKI, des MPI
und der Fachrichtungen Informatik, Philosophie und Rechtswissenschaft.
Vortragswünsche bitte an Uwe Waldmann, MPI, Tel.: (0681) 9325-205,
uni-intern: 92205, E-Mail: u...@mpi-sb.mpg.de