[gecode-users] About the parallel conditional combinator in Gecol

[Christian Schulte]

Hi,

 

There is in principle no problem with a non-deterministic construct in
Gecode: the point is that the full reduction of the construct must be
monotonic. This is no different for parallel conditionals in Mozart, say.

 

I don't feel right now that an ask combinator is of sufficient general
interest to be included in Gecode. We are quite conservative to include new
stuff into Gecode (basically, there should be an application that needs it).
If others think otherwise, please make yourself heard.

 

Cheers

Christian

 

--

Christian Schulte, www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mauricio Toro
Sent: Monday, May 05, 2008 6:33 PM
To: gecode at gecode.org; users at gecode.org
Subject: [gecode-users] About the parallel conditional combinator in Gecol

 

Hello all,

How are you doing?

 

I know that Gecode is not made for concurrent constraint programming

and there are not combinators in Gecode. But, since the ask

propagator worked very good. Now I am interested in writting

the parallel conditional combinator in Gecode. Not necessary

as a combinator, but I need something with this semantic:

 

Non deterministically choose

  if Boolean var 1 then Process 1 

  if Boolean var 2 then Process 2

  if Boolean var n then Process n

end

 

>From the n variables, I want to execute choose one process

between the variables which value is assigned true.

 

Since, it is not possible to write non-monotonic propagators in

Gecode, what can I do?

 

I tried doing the choice, after I reach a fix-point, but what happens

if I have many of this non-deterministic choices?

 

It is required to write it this using Gecode and being efficient.

 

All ideas are welcomed. Thanks

 

P.S : Gecode developers, do you want to include the ask propagator inside
Gecode? 

I have an stress example showing better performance than using Mozart-Oz.

 

Mauricio


-- 
Mauricio Toro Bermudez
Estudiante de Ingeniería de Sistemas
Pontificia Universidad Javeriana, Colombia

Stagiare à l'Ircam
1, place Igor-Stravinsky 75004 Paris, 
France de 2008 à 2009 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20080507/3104cb7e/attachment.htm>