Hello,
Having briefly checked out Alexey Beshenov's logic.mac package (discussed
here earlier:
http://www.math.utexas.edu/pipermail/maxima/2008/010825.html), I started
wondering how difficult it would be to implement probability theory rules
(sum and product rule) to allow the calculation of probabilities of
related logical propositions, Bayesian-style? I have absolutely no prior
experience with Maxima and CAS, so I can't estimate whether it is a piece
of cake or a big project, especially for someone who's already "been there
done that".
Best regards,
Jan Ploski