Re: [OWL-S] Proposal for Making Progress on Process Modeling esp. Preconditons and Effects from Drew McDermott on 2004-01-15 (public-sws-ig@w3.org from January 2004)

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Thu, 15 Jan 2004 12:07:27 -0500 (EST)
To: public-sws-ig@w3.org
Message-Id: <200401151707.i0FH7RX22987@pantheon-po02.its.yale.edu>

> > [Michael Kifer]
> > But I also believe that at some level process modeling requires  
> > defaults
> > as Benjamin argued in
> > http://ebusiness.mit.edu/bgrosof/paps/beyond-mon-inh-wking-pap 
> > -081603.pdf
> 
> [Bijan Parsia]
> It's true that a non-mon approach, from what I understand, helps with,  
> e.g., the frame problem, but that can be handled with various other  
> forms of the sitcalc.
> 
The monotonic formulation due to Schubert-Haas-Davis-Reiter is much
better than the nonmonotonic approaches, which in my opinion are just
too brittle.

I'm talking just about the frame problem.   I will have to go brush up
on CTL and Ben's paper.

-- 
                                   -- Drew McDermott
                                      Yale Computer Science Department

Received on Thursday, 15 January 2004 12:07:29 UTC