🚀 go-pugleaf

This is a multi-part message in MIME format.
--------------083EA9D8E5A29A1B3C73C102
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Eine Ankuendigung fuer das Forschungskolloquium KI.

Peter Geibel

-- 
### 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
--------------083EA9D8E5A29A1B3C73C102
Content-Type: message/rfc822
Content-Transfer-Encoding: 8bit
Content-Disposition: inline

Received: from ki.cs.tu-berlin.de (mki@lehar.cs.tu-berlin.de [130.149.29.42])
	by mail.cs.tu-berlin.de (8.8.8/8.8.8) with ESMTP id OAA28686;
	Tue, 12 May 1998 14:45:34 +0200 (MET DST)
Received: from mail.cs.tu-berlin.de (root@mail.cs.tu-berlin.de [130.149.17.13])
	by ki.cs.tu-berlin.de (8.8.8/8.8.5) with ESMTP id OAA26758
	for <fkki@ki.cs.tu-berlin.de>; Tue, 12 May 1998 14:45:09 +0200 (MET DST)
Received: from vivaldi.cs.tu-berlin.de (clippke@vivaldi.cs.tu-berlin.de [130.149.29.44])
	by mail.cs.tu-berlin.de (8.8.8/8.8.8) with ESMTP id OAA28247
	for <fkki@ki.cs.tu-berlin.de>; Tue, 12 May 1998 14:40:09 +0200 (MET DST)
From: Cordula Lippke <clippke@cs.tu-berlin.de>
Received: (from clippke@localhost)
	by vivaldi.cs.tu-berlin.de (8.8.8/8.8.8) id OAA08477;
	Tue, 12 May 1998 14:40:04 +0200 (MET DST)
Date: Tue, 12 May 1998 14:40:04 +0200 (MET DST)
Message-Id: <199805121240.OAA08477@vivaldi.cs.tu-berlin.de>
To: fkki@ki.cs.tu-berlin.de
Subject: KOLLOQUIUM 


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

					   	      K        K  I
F O R S C H U N G S K O L L O Q U I U M		      KK     KK   II
						      KKK  KKK    III
im Sommersemester 1998				      KKK KKK     III
						      KKKKKK      III
						      KKK  KKK    III
						      KKK   KKK   III
						      KK      KK   II
						      K         K   I
Dienstag, den 19. Mai 1998
16.00 - 18.00 Uhr
Raum  FR 6007
--------------------------------------------------------------------------


                     WISSENSBASIERTES BEWEISPLANEN

             Erica Melis, Universitaet des Saarlandes

Beweisplanen ist ein neuer Ansatz zum automatischen Theorembeweisen,  der
u.a. das Ziel verfolgt, die Suche intelligent zu steuern. Im Gegensatz zum
klassischen  automatischen  Beweisen, in  dem ein Beweis im  wesentlichen 
durch Suche auf der Ebene eines logischen Kalkuels gefunden wird, erfolgt die
Suche auf (verschiedenen) abstrakteren Ebenen und erzeugt einen Beweisplan.

Ein Schl"ussel  zum Erfolg  des Beweisplanens ist die Anwendung wissensba-
sierter Techniken, wie sie aus dem KI-Planen bekannt sind, beispielsweise die
M"oglichkeit,  dom"anen-spezifische  Methoden und Steuerungswissen zu nutzen, 
wie sie in etablierten mathematischen Disziplinen existieren. Verglichen mit
dem klassischen KI-Planen wirft das Beweisplanen  jedoch  auch  neue Probleme 
auf,  zu deren L"osung  ein Beitrag  vorgestellt werden  soll.  Die Techniken 
werden am Beispiel des Planens f"ur Limes-theoreme vorgestellt.


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

TU Berlin
FG Methoden der K�nstlichen Intelligenz
Franklinstr. 28/29, FR 5-8
10587 Berlin

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



--------------083EA9D8E5A29A1B3C73C102--