Yes, you understand correctly that time matters. I have a colleague who will help me to fully form a model. Of course, no one has conducted such studies yet. I need a visa to the USA so that I can open a legal entity in the USA and start a startup. +79019067791 @radomskii - telegram
ср, 19 июл. 2023 г., 20:10 Ben Goertzel <[email protected]>: > 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 > . > -- 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/CAAT0KVYre%2B1E6UVSThfJ%2B3SeuttB2nPqHbTHRo%2BHtSXPVfScWA%40mail.gmail.com.
