Oesterreichisches Forschungsinstitut fuer Artificial Intelligence (OeFAI)
Schottengasse 3, A-1010 Wien
Tel.+43-1-53532810,5336112
-------------------------------------------------------------------------
VORTRAG
*******
Dipl.-Ing.MMag.Dr.Herbert Wiklicky
Marie Curie Fellow
City University
London
Probabilistische Berechnungsmodelle und deklarative Programmierung
------------------------------------------------------------------
Probabilistische Algorithmen, zum Beispiel Simulated Annealing Tech-
niken, erfreuen sich seit einiger Zeit einer regen Popularitaet etwa
im Bereich der kombinatorischen Optimierung oder zur Loesung von
Problemen im Bereich der mikrobiologischen Strukturanalyse.
Waehrend die Untersuchung dieser Algorithmenklasse im Rahmen der
Komplexitaetstheorie Fortschritte gemacht hat, gibt es nur relativ
wenige Ansaetze zu einer semantischen Modellierung, welche aber zu
einer Verifizierung oder abstrakten Analyse solcher Programme noetig
waere.
Derartige semantische Fragestellungen werden anhand einer von uns
entwickelten konkreten Modellsprache, Probabilistic Concurrent
Constraint Programming (PCCP), in welcher probabilistische Elemente
im Rahmen einer deklarativen Programmiersprache implementiert wurden,
erlaeutert und untersucht. Darueber hinaus soll auch ein Ausblick auf
andere quantitative, insbesondere ressourcenabhaengige, Berechnungs-
modelle gegeben werden.
Zeit: Mittwoch, 29.Oktober 1997, 18:30 Uhr pktl.
Ort: OeFAI, Schottengasse 3, 1010 Wien 1.