Compare commits

...

6 Commits

Author SHA1 Message Date
Johannes Merl
c07326bbfd german with cost matrix 2024-05-12 07:47:52 +02:00
Johannes Merl
98b15c8cfd fix fittness 2024-05-11 19:45:03 +02:00
Johannes Merl
fc4d8b8625 fix Iris 2024-05-09 10:54:08 +02:00
Johannes Merl
86f3099622 reduce population to fix memory issues in higher depth case 2024-05-09 10:15:56 +02:00
Johannes Merl
f8f7084bf2 variation 4 2024-05-09 09:28:10 +02:00
Johannes Merl
fe74d7dc35 variation 3 2024-05-09 09:28:10 +02:00
4 changed files with 25 additions and 22 deletions

View File

@@ -86,13 +86,13 @@ lE =
((Ref.SomeTypeRep (Ref.TypeRep @(Job))), [(fmap show (enumUniform UnemployedOrUnskilledNonResident HighlySkilled ))]) ((Ref.SomeTypeRep (Ref.TypeRep @(Job))), [(fmap show (enumUniform UnemployedOrUnskilledNonResident HighlySkilled ))])
], ],
targetType = (Ref.SomeTypeRep (Ref.TypeRep @(AccountStatus -> Int -> CreditHistory -> Purpose -> Int -> Savings -> EmploymentStatus -> Int -> StatusAndSex -> OtherDebtors -> Int -> Property -> Int -> OtherPlans -> Housing -> Int -> Job -> Int -> Bool -> Bool -> GermanClass))), targetType = (Ref.SomeTypeRep (Ref.TypeRep @(AccountStatus -> Int -> CreditHistory -> Purpose -> Int -> Savings -> EmploymentStatus -> Int -> StatusAndSex -> OtherDebtors -> Int -> Property -> Int -> OtherPlans -> Housing -> Int -> Job -> Int -> Bool -> Bool -> GermanClass))),
maxDepth = 5, maxDepth = 9,
weights = weights =
ExpressionWeights ExpressionWeights
{ lambdaSpucker = 1, { lambdaSpucker = 10,
lambdaSchlucker = 2, lambdaSchlucker = 1,
symbol = 30, symbol = 20,
variable = 10, variable = 100,
constant = 5 constant = 5
} }
} }
@@ -151,6 +151,7 @@ data LamdaExecutionEnv = LamdaExecutionEnv
data FittnesRes = FittnesRes data FittnesRes = FittnesRes
{ total :: R, { total :: R,
fitnessTotal :: R, fitnessTotal :: R,
costAccordingToDataset :: N,
fitnessGeoMean :: R, fitnessGeoMean :: R,
fitnessMean :: R, fitnessMean :: R,
accuracy :: R, accuracy :: R,
@@ -189,8 +190,9 @@ evalResults ex trs = do
evalResult :: LamdaExecutionEnv -> TypeRequester -> (AccountStatus -> Int -> CreditHistory -> Purpose -> Int -> Savings -> EmploymentStatus -> Int -> StatusAndSex -> OtherDebtors -> Int -> Property -> Int -> OtherPlans -> Housing -> Int -> Job -> Int -> Bool -> Bool -> GermanClass) -> (TypeRequester, FittnesRes) evalResult :: LamdaExecutionEnv -> TypeRequester -> (AccountStatus -> Int -> CreditHistory -> Purpose -> Int -> Savings -> EmploymentStatus -> Int -> StatusAndSex -> OtherDebtors -> Int -> Property -> Int -> OtherPlans -> Housing -> Int -> Job -> Int -> Bool -> Bool -> GermanClass) -> (TypeRequester, FittnesRes)
evalResult ex tr result = ( tr, evalResult ex tr result = ( tr,
FittnesRes FittnesRes
{ total = score, { total = (biasSmall - 1) - (fromIntegral costAccordingToDS),
fitnessTotal = fitness', fitnessTotal = fitness',
costAccordingToDataset = costAccordingToDS,
fitnessMean = meanOfAccuricyPerClass resAndTarget, fitnessMean = meanOfAccuricyPerClass resAndTarget,
fitnessGeoMean = geomeanOfDistributionAccuracy resAndTarget, fitnessGeoMean = geomeanOfDistributionAccuracy resAndTarget,
accuracy = acc, accuracy = acc,
@@ -201,7 +203,8 @@ evalResult ex tr result = ( tr,
where where
res = map (\(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) -> result a b c d e f g h i j k l m n o p q r s t) (fst (dset ex)) res = map (\(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t) -> result a b c d e f g h i j k l m n o p q r s t) (fst (dset ex))
resAndTarget = (zip (snd (dset ex)) res) resAndTarget = (zip (snd (dset ex)) res)
acc = (foldr (\ts s -> if ((fst ts) == (snd ts)) then s + 1 else s) 0 resAndTarget) / fromIntegral (length resAndTarget) acc = (foldr (\(actual,predicted) s -> if (actual == predicted) then s + 1 else s) 0 resAndTarget) / fromIntegral (length resAndTarget)
costAccordingToDS = (foldr (\(actual,predicted) s -> if ((actual) == (predicted)) then s else (if actual == Deny then s+5 else s+1)) 0 resAndTarget)
biasSmall = exp ((-(fromIntegral (countTrsR tr))) / 1000) -- 0 (schlecht) bis 1 (gut) biasSmall = exp ((-(fromIntegral (countTrsR tr))) / 1000) -- 0 (schlecht) bis 1 (gut)
fitness' = meanOfAccuricyPerClass resAndTarget fitness' = meanOfAccuricyPerClass resAndTarget
score = fitness' + (biasSmall - 1) score = fitness' + (biasSmall - 1)

View File

@@ -53,13 +53,13 @@ lE =
((Ref.SomeTypeRep (Ref.TypeRep @(IrisClass))), [(fmap show (enumUniform Setosa Versicolor :: RVar IrisClass))]) ((Ref.SomeTypeRep (Ref.TypeRep @(IrisClass))), [(fmap show (enumUniform Setosa Versicolor :: RVar IrisClass))])
], ],
targetType = (Ref.SomeTypeRep (Ref.TypeRep @(Float -> Float -> Float -> Float -> IrisClass))), targetType = (Ref.SomeTypeRep (Ref.TypeRep @(Float -> Float -> Float -> Float -> IrisClass))),
maxDepth = 5, maxDepth = 9,
weights = weights =
ExpressionWeights ExpressionWeights
{ lambdaSpucker = 1, { lambdaSpucker = 10,
lambdaSchlucker = 2, lambdaSchlucker = 1,
symbol = 30, symbol = 20,
variable = 10, variable = 100,
constant = 5 constant = 5
} }
} }
@@ -68,7 +68,7 @@ lEE :: LamdaExecutionEnv
lEE = lEE =
LamdaExecutionEnv LamdaExecutionEnv
{ -- For now these need to define all available functions and types. Generic functions can be used. { -- For now these need to define all available functions and types. Generic functions can be used.
imports = ["LambdaDatasets.IrisDataset"], imports = ["LambdaDatasets.IrisDefinition"],
training = True, training = True,
trainingData = trainingData =
( map fst (takeFraktion 0.8 irisTrainingData), ( map fst (takeFraktion 0.8 irisTrainingData),
@@ -89,7 +89,7 @@ shuffledLEE = do
itD <- smpl $ shuffle irisTrainingData itD <- smpl $ shuffle irisTrainingData
return LamdaExecutionEnv return LamdaExecutionEnv
{ -- For now these need to define all available functions and types. Generic functions can be used. { -- For now these need to define all available functions and types. Generic functions can be used.
imports = ["LambdaDatasets.IrisDataset"], imports = ["LambdaDatasets.IrisDefinition"],
training = True, training = True,
trainingData = trainingData =
( map fst (takeFraktion 0.8 itD), ( map fst (takeFraktion 0.8 itD),
@@ -155,7 +155,7 @@ evalResults ex trs = do
evalResult :: LamdaExecutionEnv -> TypeRequester -> (Float -> Float -> Float -> Float -> IrisClass) -> (TypeRequester, FittnesRes) evalResult :: LamdaExecutionEnv -> TypeRequester -> (Float -> Float -> Float -> Float -> IrisClass) -> (TypeRequester, FittnesRes)
evalResult ex tr result = ( tr, evalResult ex tr result = ( tr,
FittnesRes FittnesRes
{ total = score, { total = acc * 100 + (biasSmall - 1),
fitnessTotal = fitness', fitnessTotal = fitness',
fitnessMean = meanOfAccuricyPerClass resAndTarget, fitnessMean = meanOfAccuricyPerClass resAndTarget,
fitnessGeoMean = geomeanOfDistributionAccuracy resAndTarget, fitnessGeoMean = geomeanOfDistributionAccuracy resAndTarget,

View File

@@ -74,13 +74,13 @@ lE =
((Ref.SomeTypeRep (Ref.TypeRep @(Health))), [(fmap show (enumUniform NotRecommendHealth PriorityHealth ))]) ((Ref.SomeTypeRep (Ref.TypeRep @(Health))), [(fmap show (enumUniform NotRecommendHealth PriorityHealth ))])
], ],
targetType = (Ref.SomeTypeRep (Ref.TypeRep @(Parents -> HasNurs -> Form -> Children -> Housing -> Finance -> Social -> Health -> NurseryClass))), targetType = (Ref.SomeTypeRep (Ref.TypeRep @(Parents -> HasNurs -> Form -> Children -> Housing -> Finance -> Social -> Health -> NurseryClass))),
maxDepth = 5, maxDepth = 9,
weights = weights =
ExpressionWeights ExpressionWeights
{ lambdaSpucker = 1, { lambdaSpucker = 10,
lambdaSchlucker = 2, lambdaSchlucker = 1,
symbol = 30, symbol = 20,
variable = 10, variable = 100,
constant = 5 constant = 5
} }
} }

View File

@@ -35,7 +35,7 @@ options =
( long "population-size" ( long "population-size"
<> short 'p' <> short 'p'
<> metavar "N" <> metavar "N"
<> value 400 <> value 100
<> help "Population size" <> help "Population size"
) )
@@ -59,7 +59,7 @@ main =
selectionType = Tournament 3, selectionType = Tournament 3,
termination = (steps (iterations opts)), termination = (steps (iterations opts)),
poulationSize = (populationSize opts), poulationSize = (populationSize opts),
stepSize = 120, stepSize = 90,
elitismRatio = 5/100 elitismRatio = 5/100
} }
pop' <- runEffect (for (run cfg) logCsv) pop' <- runEffect (for (run cfg) logCsv)