rowan.a.tl/propeller
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Reformulate rate normalization for autoconstruction hypervariability

Browse Source
This commit is contained in:
Lee Spector 2023-10-29 00:25:20 -04:00
parent cfbba8cbc4
commit a8045357fd
2 changed files with 44 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/propeller/problems/boolean/mul3.cljc
View File

@ -315,8 +315,9 @@
;:max-batch-size [1 2 4 8 16 32 64 128 256] ;:max-batch-size [1 2 4 8 16 32 64 128 256]
;:tournament-size 5 ;:tournament-size 5
;:umad-rate 0.09 ;:umad-rate 0.09
:ah-umad-protection 10 ;; ah-umad :ah-umad-min 0.01
:ah-umad-rate 0.1 ;; ah-umad :ah-umad-max 0.5
:ah-umad-mean 0.05
;:umad-rate [1/2 ;:umad-rate [1/2
; 1/4 1/4 ; 1/4 1/4
; 1/8 1/8 1/8 ; 1/8 1/8 1/8

59
src/propeller/variation.cljc
View File

@ -202,24 +202,46 @@ The function `new-individual` returns a new individual produced by selection and
%) %)
(partition 2 plushy)))) (partition 2 plushy))))
(defn with-mean (defn ah-normalize
"Returns numeric vector v scaled so that the mean value is m" "Takes a vector of :protect and :vary and returns a numeric vector
[m v] that conforms to the specified min, max, and mean."
(if (empty? v) [v ah-min ah-max ah-mean]
v (let [c (count v)
(let [initial-mean (/ (reduce + v) (count v))] protect-count (count (filter #(= % :protected) v))
(map #(* m (/ % initial-mean)) v)))) vary-count (- c protect-count)
extremes (mapv #(if (= % :protect) ah-min ah-max) v)
mean-of-extremes (/ (reduce + extremes) (count extremes))]
(cond
;; all :vary or all :protect, return all ah-mean
(or (zero? protect-count) (zero? vary-count))
(repeat (count v) ah-mean)
;; mean is too high, lower high values from max
(> mean-of-extremes ah-mean)
(let [lowered (/ (- (* ah-mean c)
(* ah-min protect-count))
vary-count)]
(mapv #(if (= % ah-max) lowered %) extremes))
;; mean is too low, raise low values from min
(> mean-of-extremes ah-mean)
(let [raised (/ (- (* ah-mean c)
(* ah-max vary-count))
protect-count)]
(mapv #(if (= % ah-min) raised %) extremes))
;; mean is just right, return extremes
:else
extremes)))
(defn ah-rates (defn ah-rates
"Returns the sequence of rates with which each element of plushy should "Returns the sequence of rates with which each element of plushy should
be mutated when using autoconstructive hypervariability." be mutated when using autoconstructive hypervariability."
[plushy protection rate] [plushy ah-min ah-max ah-mean]
(loop [i 0 (loop [i 0
protected true protected true
rates [] rates []
remainder plushy] remainder plushy]
(if (empty? remainder) (if (empty? remainder)
(with-mean rate rates) (ah-normalize rates ah-min ah-max ah-mean)
(if (and (not protected) (if (and (not protected)
(= (first remainder) :protect)) (= (first remainder) :protect))
(recur i (recur i
@ -230,24 +252,24 @@ The function `new-individual` returns a new individual produced by selection and
(if protected (if protected
(not= (first remainder) :vary) (not= (first remainder) :vary)
false) false)
(conj rates (if protected (/ 1 protection) 1)) (conj rates (if protected :protect :vary))
(rest remainder)))))) (rest remainder))))))
(defn ah-uniform-addition (defn ah-uniform-addition
"Returns plushy with new instructions possibly added before or after each "Returns plushy with new instructions possibly added before or after each
existing instruction. Rates are autoconstructively hypervariable." existing instruction. Rates are autoconstructively hypervariable."
[plushy instructions protection rate] [plushy instructions ah-min ah-max ah-mean]
(apply concat (apply concat
(mapv #(if (< (rand) %2) (mapv #(if (< (rand) %2)
(shuffle [%1 (utils/random-instruction instructions)]) (shuffle [%1 (utils/random-instruction instructions)])
[%1]) [%1])
plushy plushy
(ah-rates plushy protection rate)))) (ah-rates plushy ah-min ah-max ah-mean))))
(defn ah-uniform-deletion (defn ah-uniform-deletion
"Randomly deletes instructions from plushy at some rate. "Randomly deletes instructions from plushy at some rate.
Rates are autoconstructively hypervariable." Rates are autoconstructively hypervariable."
[plushy protection rate] [plushy ah-min ah-max ah-mean]
(mapv first (mapv first
(remove (fn [[_ rate]] (remove (fn [[_ rate]]
(< (rand) (< (rand)
@ -256,7 +278,7 @@ The function `new-individual` returns a new individual produced by selection and
(/ 1 (+ 1 (/ 1 rate)))))) (/ 1 (+ 1 (/ 1 rate))))))
(mapv vector (mapv vector
plushy plushy
(ah-rates plushy protection rate))))) (ah-rates plushy ah-min ah-max ah-mean)))))
(defn new-individual (defn new-individual
"Returns a new individual produced by selection and variation of "Returns a new individual produced by selection and variation of
@ -313,12 +335,13 @@ The function `new-individual` returns a new individual produced by selection and
(uniform-deletion rate))) (uniform-deletion rate)))
; ;
:ah-umad ;; autoconstructive hypervariability UMAD :ah-umad ;; autoconstructive hypervariability UMAD
(let [protection (utils/onenum (:ah-umad-protection argmap)) (let [ah-min (utils/onenum (:ah-umad-min argmap))
rate (utils/onenum (:ah-umad-rate argmap)) ah-max (utils/onenum (:ah-umad-max argmap))
ah-mean (utils/onenum (:ah-umad-mean argmap))
parent-genome (:plushy (selection/select-parent pop argmap))] parent-genome (:plushy (selection/select-parent pop argmap))]
(-> parent-genome (-> parent-genome
(ah-uniform-addition (:instructions argmap) protection rate) (ah-uniform-addition (:instructions argmap) ah-min ah-max ah-mean)
(ah-uniform-deletion protection rate))) (ah-uniform-deletion ah-min ah-max ah-mean)))
; ;
:uniform-addition :uniform-addition
(-> (:plushy (selection/select-parent pop argmap)) (-> (:plushy (selection/select-parent pop argmap))