SLIDE 21 St Stru ructu ctured red Mol
ecules: : Mol
ecular EA EA
- Embodied evolution: Using molecules as substrate for
Evolutionary Algorithms
- Rule-based implementation (even Selection and
Reproduction)
15.09.2011 Nürnberg, OC
- G. Escuela, P. Kreyssig, P. Dittrich
[G. Gruenert, G. Escuela, P. Dittrich, T. Hinze. Morphological Algorithms: Membrane Receptor-ligand Interactions and Rule-based Molecule Graph Evolution for Exact Set Cover Problem. CMC 2011]
T(x~a,t!1).Trans(f!1~a,t!11~a,t!12~b,t!13~c,t,dock~p1).T(x~a,t!11).T(x~b,t!12).T(x~c,t!13) 30 T(x~b,t!1).Trans(f!1~b,t!11~d,t!12~e,t!13~f,t,dock~p1).T(x~d,t!11).T(x~e,t!12).T(x~f,t!13) 30 T(x~c,t!1).Trans(f!1~c,t!11~g,t!12~h,t,t,dock~p1).T(x~g,t!11).T(x~h,t!12) 30 T(x~d,t!1).Trans(f!1~d,t!11~i,t!12~j,t,t,dock~p1).T(x~i,t!11).T(x~j,t!12) 30 T(x~e,t!1).Trans(f!1~e,t!11~a,t,t,t,dock~p1).T(x~a,t!11) 30 T(x~f,t!1).Trans(f!1~f,t!11~d,t,t,t,dock~p1).T(x~d,t!11) 30 1 Sol(test~ok,t~a,eval!+) + T(x~a,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~a!1,eval!+).T(x~a!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~b,eval!+) + T(x~b,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~b!1,eval!+).T(x~b!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~c,eval!+) + T(x~c,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~c!1,eval!+).T(x~c!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~d,eval!+) + T(x~d,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~d!1,eval!+).T(x~d!1,t!5).Trans(f!5,dock~p1) kFastBind 1 Sol(test~ok,t~e,eval!+) + T(x~e,t!5).Trans(f!5,dock~p1) -> Sol(test~ok,t~e!1,eval!+).T(x~e!1,t!5).Trans(f!5,dock~p1) kFastBind # dissociate, if dock~bad 1 Sol(t!1).T(x!1,t!5).Trans(f!5,dock~bad) -> Sol(t) + T(x,t!5).Trans(f!5,dock~bad) kTDissociate # bind evaluation components: (if not bound to copyTo) 2 Sol(test~ok,eval!2).Eval(t~a,sol!2) + T(x~a,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~a!1,sol!2).T(x~a!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~b,sol!2) + T(x~b,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~b!1,sol!2).T(x~b!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~c,sol!2) + T(x~c,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~c!1,sol!2).T(x~c!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~d,sol!2) + T(x~d,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~d!1,sol!2).T(x~d!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~e,sol!2) + T(x~e,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~e!1,sol!2).T(x~e!1,t!5).Trans(t!5,dock~p1) kFastBind 2 Sol(test~ok,eval!2).Eval(t~f,sol!2) + T(x~f,t!5).Trans(t!5,dock~p1) -> Sol(test~ok,eval!2).Eval(t~f!1,sol!2).T(x~f!1,t!5).Trans(t!5,dock~p1) kFastBind # dissociate if dock~bad 2 Eval(t!1).T(x!1,t!5).Trans(t!5,dock~bad) -> Eval(t) + T(x,t!5).Trans(t!5,dock~bad) kTDissociate