On Mon, Apr 17, 2017 at 1:34 AM, Alex <[email protected]> wrote: > To be honest, I am a bit afraid to include in my thesis project that uses > term logic - it is just fragment of monadic predicate logic and it was > decided some 150 years ago that more extensive logics (full predicate logic) > are necessary for more expressivity...
Yes, term logic in its simple form does not have adequate expressivity for everything an AGI needs to do However, for a lot of simple reasoning that an AGI needs to do, term logic provides a concise and effective approach... As for Pei Wang's book a moment's search shows that it is easily downloadable from libgen if you want to read it... ben -- Ben Goertzel, PhD http://goertzel.org "I am God! I am nothing, I'm play, I am freedom, I am life. I am the boundary, I am the peak." -- Alexander Scriabin -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CACYTDBdQG_3v1p_EWGW3TBoO0qHRyZ00ZkLcbbOQZbyc7MmbzQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
