Ron Petrick's Webpages

Presentation

An Overview of the Linear Dynamic Event Calculus (LDEC) and STRIPS-style Planning, R. Petrick, slides from a short presentation I gave in Göttingen, Germany, 2006-11-23.

[ slides ]

Abstract

The Linear Dynamic Event Calculus (LDEC) is a logical formalism for modelling actions and change, based on ideas from the event calculus, situation calculus, STRIPS planning representation, as well as dynamic and linear logic. In this talk I will give a brief overview of LDEC and show how it can be used to encode simple planning domains. I will then provide a short introduction to STRIPS and describe how a set of restricted LDEC axioms can easily be compiled into STRIPS-style planning operators, usable by many modern planning systems.