W3C home > Mailing lists > Public > public-sws-ig@w3.org > September 2006

Re: AW: Discussion on Modelling Effects

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Thu, 7 Sep 2006 13:30:35 -0400
Message-ID: <17664.22331.70000.866399@gargle.gargle.HOWL>
To: public-sws-ig@w3.org

> [Jan Ortmann]

> There is another question this raises to me. If we have complex
> processes with concurrency, conditionals and loops, how can we get a
> description that PDDL can work with? Wouldn't it be more useful to
> consider planning as Model Checking as some approaches suggest (e.g.
> [1])? 

PDDL is meant to be neutral with regard to planning _methods_, and
various researchers have in fact used model checking to solve problems
expressed in PDDL.  However, for various historical reasons the
planning community has been reluctant to commit to a notation for
representing processes.  (An early version of such a notation has been
essentially abandoned.)

What sort of concurrency did you have in mind that might be important
for semantic-web services?

                                                -- Drew McDermott
                                                   Yale Computer Science Department
Received on Thursday, 7 September 2006 17:28:49 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:32:57 UTC