



Hi Rune,


On Mon, Sep 16, 2002 at 09:18:01PM -0400, Rune M. Jensen wrote:
> Hi Piergiorgio,
> 
> How is life in Trento ?
> 

...busy as usual (and more).... 

> I'm writing because I'm interested in investigating various non-deterministic
> planning algorithms. However, in order to make things a little more interesting
> I would like to focus on something a little closer to the real-world than the
> bomb-in -the-toilet and other weird artificial problems. It seems like Sylvie's

good choice. Working for removing bomb from toilets doesn't make one
proud of himself, isn't it. PSR is a nice problem indeed.

> Power Supply Restoration problem is suitable. However, she still haven't made a
> precise description of this problem available. I guess the various AR
> descriptions you developed when investigating the PSR problem are the only
> precise around. Would it be possible for you to make some of these AR models
> available to me in order to write a correct model of the domain ? It would be a
> great help. 
> 

Enclosed as attachment you find a directory with a couple of AR models
that may be helpful (I hope):
- a "linear" model: one breaker feeds a sequence of 4 lines.
  This is very simple, but because some definitions are trivial 
  in this structure you may not get a clear idea of their modeling
  in more general cases.
- a "toy" model, whose topology you can see 
  in the enclosed simplenet.eps figure.
  This is slightly more complicated, but you have a more complete 
  instantiation of every concept.

The definitions in the files reflect closely those presented in the
ECAI paper (also enclosed), and are (I hope) clear.
Let me just add that:
- a device is "bad" iff closing it you cause a cycle
- a device is a "bad_feed" iff closing it you cause a connection
  between two breakers.
...these we did not have space to mention in the paper...
 If you have any questions about the
models, let me know, I'll try and support you.


  Have fun - best, Pg


> best,
> //rune
> 
> -- 
> Rune M. Jensen   http://www.cs.cmu.edu/~runej/



    PSR_stuff_for_rune.tar.gz

                              Name: 
                                     PSR_stuff_for_rune.tar.gz
                               Type: 
                                     Unix Tape Archive (application/x-tar)
                           Encoding: 
                                     base64