Dear All,
Sorry for troubling you with a newbie question on ECJ.
My problem is similar to common GP problems. Say, finding a
solution like 'A+B*C/D'. One thing special is that valid individuals need
to satisfy two constraints:
1) Certain variables can only appear in the individual if certain other
variables appear. For example, X can appear in the individual if only Y
appears. Then 'X+A/Y' and "CY" are valid individuals, while 'B+X' is not.
2) An individual shall always be monotonic with respect to each
variable. For example, "X/Y + X" is a valid individual because it is
monotonic to both X and Y, while "(X+1)/(X+2)" is not a valid individual
because it is not monotonic to X.
I have searched the archieve of this mailing list and find an old post
called "Scope constraints". The typebased solution provided in this
post, however, is insufficient to implement these two constraints in my
understanding. I have also thought about using fitness value to
penalize invalid individuals in order to discourage them from being bred,
but I wonder whether this will really mess with ECJ and hurt its
effectiveness.
Any suggestion is highly appreciated.
Thanks
regards
Yours
Rubin
