> > Would a GSOC proposal along the following lines make sense? > * Improve logic/boolalg.py to include Predicate logic, fuzzy logic and > useful functionality for manipulating them >
See the other thread on predicates in Sympy -- they already exist to some extent. > * Use statements in predicate logic as the external format for > assumptions and rules. Such as > ** forall x. real(x) => positive(x) > ** forall x. nonnegative(x) <=> positive(x+1) > ** forall x. nonnegative(x) <=> Abs(x) = x (I'm dubious about this one > since it's effectively expressing a rewrite rule) > These examples are already covered -- everything is assumed to be universally quantified, and the assumption system handles things of the sort you're proposing there. > * Implement a deduction system that can be the backend to Q.ask() (how > exactly we do this depends on what sort of rules we allow) > Again, this is already mostly complete. The deduction is done using the prototype SAT solver, but is waiting to be hooked up with the changes currently being worked on for the assumptions subsystem (see https://github.com/sympy/sympy/pull/1162 ). Cheers -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
