Implementing an SMT solver in MeTTa for Hyperon would be a fun and rewarding exercise. If Greg Meredith's acceleration of MeTTa execution via rholang works out as planned, this could yield a fast as well as elegant way to get SMT solving done.
Of course what one could hopefully get this way would be something that is rapid in the average case encountered in practice, there is nothing special about implementation in (any version of) OpenCog that's going to automagically prove P equals NP as a side-effect ;) ben On Wed, Jul 19, 2023 at 7:33 AM Ivan V. <[email protected]> wrote: > > Respected OC community, > > If I understood correctly, OpenCog can be used an an SMT solver. Considering > this feature, how far OpenCog is from solving satisfiability problem for > propositional logic in polynomial time complexity? > > In explanation, I'm having a hunch about anti-axioms which derive all the > contradictory anti-theorems. If, and only if a propositional logic formula > belongs to such a set of anti-theorems, then it is not satisfiable. Can such > anti-axioms be defined in OpenCog, maybe in URE? > > Did anyone try to measure actual processing time of such an approach? If not, > what obstacles do you see in this approach? > > Any thoughts would be greatly appreciated. > > Finest regards, > ivan v. > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/f40317fb-fbe1-41d7-bf19-c2c4fa48d1d8n%40googlegroups.com. -- Ben Goertzel, PhD [email protected] "My humanity is a constant self-overcoming" -- Friedrich Nietzsche -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CACYTDBfEKj1%3DRV1HQOsse%2B70L9Fsh%2BL6YnwT9x6FoCAgdQibOQ%40mail.gmail.com.
