Article View: bln.sci.informatik
Article #14[VORTRAG] INTEGRATION VON FUNKTIONSANWENDUNGEN BEIM ZUSTANDSBASIERTEN PLANEN
From: Peter Geibel
Date: Fri, 26 May 2000 00:00
Date: Fri, 26 May 2000 00:00
72 lines
3200 bytes
3200 bytes
--------------------------------------------------------------------------
F O R S C H U N G S K O L L O Q U I U M
KUENSTLICHE INTELLIGENZ
im Sommersemster 2000
Dienstag, den 30. Mai 2000
16.00 - 18.00 Uhr
Raum FR 0513
Franklinstr. 28/29
D-10587 Berlin
--------------------------------------------------------------------------
INTEGRATION VON FUNKTIONSANWENDUNGEN BEIM ZUSTANDSBASIERTEN PLANEN
Marina Müller
Technische Universität Berlin
Das Planen mit Funktionen ist einerseits von Bedeutung, wenn man
realitätsnähere Domänen betrachten will, und andererseits, wenn man, so
wie in unserem Fall, Planung zur Generierung initialer Programme für
die Programmsynthese verwendet.
Typische Programmierprobleme können ohne die Anwendung von Funktionen
gar nicht oder nur sehr umständlich geplant werden. Gerade solche
Probleme sind für die Programmsynthese interessant.
Eine allgemeine Verwendung von Funktionen ist bisher in keinem
Planungssystem zufriedenstellend realisiert.
Daher wird in dieser Arbeit eine operationale Semantik für das Planen
mit Funktionen entwickelt und die Integration von Funktionen in einen
Planer am Beispiel des universellen Rückwärtsplaners DPlan
implementiert.
------------------------------------------------------------------------
TU Berlin
FG Methoden der Künstlichen Intelligenz
Franklinstr. 28/29, FR 5-8
10587 Berlin
--------------------------------------------------------------------------
--------------------------------------------------------------------------
Das aktuelle Kolloquiumsprogramm finden Sie im WWW unter
http://ki.cs.tu-berlin.de/col.html
--------------------------------------------------------------------------
--------------------------------------------------------------------------
--
### 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
Technical Details
Message-ID:
<392E5702.443F62DD@cs.tu-berlin.de>Path:
arc1-ca.pugleaf.net!unknown!not-for-mailShow Full Headers
Complete Article Headers
X-Google-Language: GERMAN,ASCII X-Google-Thread: 10d38e,f7b3a9c273bd639b,start X-Google-Attributes: gid10d38e,public X-Google-Thread: 10af11,f7b3a9c273bd639b,start X-Google-Attributes: gid10af11,public X-Google-Thread: 10fc04,f7b3a9c273bd639b,start X-Google-Attributes: gid10fc04,public From: Peter Geibel <geibel@cs.tu-berlin.de> Subject: [VORTRAG] INTEGRATION VON FUNKTIONSANWENDUNGEN BEIM ZUSTANDSBASIERTEN PLANEN Date: 2000/05/26 Message-ID: <392E5702.443F62DD@cs.tu-berlin.de> X-Deja-AN: 627533218 Content-Transfer-Encoding: quoted-printable X-Accept-Language: German/Germany, de-DE, en Content-Type: text/plain; charset=iso-8859-1 X-Complaints-To: news@cs.tu-berlin.de X-Trace: news.cs.tu-berlin.de 959338243 9103 130.149.29.49 (26 May 2000 10:50:43 GMT) Organization: TU Berlin Mime-Version: 1.0 NNTP-Posting-Date: 26 May 2000 10:50:43 GMT Newsgroups: bln.sci.informatik,bln.lehre.informatik,bln.lehre.misc