← Mathematical handbook

def Aesop.unificationGoalPenalty : Percent

Equations

• Aesop.unificationGoalPenalty = { toFloat := 0.8 }

def Aesop.postponedSafeRuleSuccessProbability : Percent

Equations

• Aesop.postponedSafeRuleSuccessProbability = { toFloat := 0.9 }