🚀 go-pugleaf

-----------------------------------------------------------------------

FORSCHUNGSKOLLOQUIUM KI           =


im Wintersemester 1997/1998

Dienstag, den 25.11.1997
16.00 - 18.00 Uhr

TU Berlin
Franklinstrasse 28/29
D-10587 Berlin
Raum FR 6007

-----------------------------------------------------------------------


ERGEBNISSE DES STUDENTISCHEN PROJEKTS =

MODERNE METHODEN DES MASCHINELLEN LERNENS II
SOMMERSEMESTER 1997


Induktion von rekursiven Programmschemata auf der Basis formaler
Sprachen

Martin M=FChlpfordt und Ute Schmid


Der Vortrag besch=E4ftigt sich mit der Induktion rekursiver
Programmschemata (RPS) aus Anfangsb=E4umen. Dabei wurde als
Herangehensweise die Umkehrung des Entfaltungsprozesses gew=E4hlt. Ein
Ergebnis des Projektes ist die Prolog-Implementierung eines
Algorithmus, welcher f=FCr entfaltete RPS mit einem Subprogramm und
beliebig vielen Rekursionspunkten eine Hypothese =FCber das
urspr=FCngliche RPS liefert.



Das Lernen der operationalen Semantik von Aktionsverben

Dirk L=FCdtke, Stephan Koch, Roland Schultes und Peter Geibel


Wir wollen zeigen, wie die operationale Semantik von Aktionsverben
automatisch inferiert werden kann. Als Eingabe verwenden wir
Beispiels=E4tze, deren Semantik in Form von Pre- und Post-Snapshots
repr=E4sentiert wird. In diesen werden die Objekte mit Zustandsrelationen=

beschrieben, f=FCr die wir eine Weltwissen-Taxonomie vorstellen. Als
Zielrepr=E4sentation f=FCr die zu inferierende Semantik verwenden wir
Produktionsregeln, die Anwendbarkeitsbedingungen beinhalten und Aktionen
als Zustandsver=E4nderungen beschreiben. Es wird die Notwendigkeit einer
Trennung in Bedeutungstypen aufgezeigt und ein Algorithmus daf=FCr
vorgestellt. Desweiteren geben wir an, wie generalisierte
Anwendbarkeitsbedingungen mit Hilfe eines Entscheidungsbaumverfahrens
ermittelt werden k=F6nnen. =



-----------------------------------------------------------------------

Technische Universit=E4t Berlin =

Fachbereich 13 - Informatik
Methoden der Kuenstlichen Intelligenz (KI)
Sekretariat FR 5-8
Franklinstr. 28/29, D-10587 Berlin, Germany

Sekretariat: =


Gabriele R=F6sler =

Mo-Do von 9:00-12:00 Uhr
Raum FR5055
Telefon +49-30-314-24941
Fax +49-30-314-24913
E-Mail cocos@cs.tu-berlin.de

-----------------------------------------------------------------------




-- =

### Peter Geibel =

### TU Berlin, KI, Sekr. FR 5-8, Franklinstr. 28/29, D-10587 Berlin
### Tel. +49-30-314-25491, Fax +49-30-314-24913
### http://www.cs.tu-berlin.de/~geibel, mailto:geibel@cs.tu-berlin.de