[Club2] Einladung: Formalization of the Semantics of Temporal Planning - Mi 3. Mär. 2021 14:30 - 15:00 (MEZ) (club2 at mailbroy.informatik.tu-muenchen.de)

[piller at in.tum.de]

Sie wurden zum folgenden Termin eingeladen.

Titel: Formalization of the Semantics of Temporal Planning
Speaker:  Lukas KollerType: Bachelor's Thesis PresentationAbstract:  
This thesis is an extension of the work of Abdulaziz and Lammich (2018).  
In(Abdulaziz and Lammich 2018) the semantics of classical planning  
wereformalized in Isabelle/HOL. A plan validator for the STRIPS  
PDDL-fragment wasimplemented and proven correct w.r.t. the formalized  
semantics. In this thesis,I formalize the semantics of discrete and  
deterministic temporal planning inthe Higher-Order-Logic theorem prover  
Isabelle/HOL. The semantics for temporalplanning in PDDL (Fox and Long  
2003) are the basis for my formalization. I givean alternative  
characterization of the semantics and prove the equivalencebetween the  
original semantics and my alternative characterization. Myalternative  
characterization of the  semanticsomits the complicated induced  
happening sequence and thus is more concise andintuitive. Using stepwise  
refinement (Wirth 1971; Back 1978), I implement anexecutable plan validator  
for a temporal PDDL fragment, which is proven correctw.r.t. the formalized  
semantics. I compare the validation result and theruntime of my plan  
validator with the well-known plan validator VAL (Howey etal. 2004). My  
validator is implemented with arbitrary precision numbers andtherefore the  
plan validation with my validator does not depend on a fixed  value.
Wann: Mi 3. Mär. 2021 14:30 – 15:00 Mitteleuropäische Zeit - Berlin
Wo: https://tinyurl.com/ls21coffee
Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
     * piller at in.tum.de- Veranstalter
     * lukas.koller at tum.de
     * club2 at mailbroy.informatik.tu-muenchen.de

Termininformationen:  
https://calendar.google.com/calendar/event?action=VIEW&eid=NGF1cmNzNWswMmpxY2FhaW9rdGNnazhkaTcgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTg2NGVlZmMyMWIzNjBhODkxYzdhMDcxOTQyMDRhZGZiY2EwYWY4NDM&ctz=Europe%2FBerlin&hl=de&es=0

Einladung von Google Kalender: https://calendar.google.com/calendar/

Sie erhalten diese E-Mail unter club2 at mailbroy.informatik.tu-muenchen.de,  
da Sie ein Gast bei diesem Termin sind.

Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem  
Termin zu erhalten. Sie können auch unter  
https://calendar.google.com/calendar/ ein Google-Konto erstellen und Ihre  
Benachrichtigungseinstellungen für Ihren gesamten Kalender steuern.

Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an  
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem  
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere  
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210226/9db94a61/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2949 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210226/9db94a61/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 3003 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20210226/9db94a61/attachment.bin>