State of the art machine translation tools use statistical inference instead of vast rulesets and I shudder to think what that would mean for CEV.
It would mean using Bayesian (probabilistic) logic instead of Aristotelian logic.
It would mean using Bayesian (probabilistic) logic instead of Aristotelian logic.