Atomspace is more of a meta level framework that can be used to implement different sorts of formal systems, including different logics ... it does not enforce logical consistency and thus can achieve logical completeness (given arbitrarily much resources)
In OpenCog Hyperon we are aiming to formalize this aspect more precisely using gradual typing and paraconsistent logic, but the current Atomspace/Atomese achieves this simply by not requiring any particular type system or associated set of restrictions on the nodes/links... So basically, consistency and such exist on the level of particular sets of node/link types with associated rules, not on the level of the underlying infrastructure... On Mon, Oct 26, 2020 at 12:32 AM Ivan V. <[email protected]> wrote: > > Does anyone have a general opinion on Gödel's incompleteness theorem? The > question that rises is: "Is Atomspace a consistent formation, or is it an > incomplete formation, assuming it is an embodiment of a kind of logical > system?" > > I ask this question because I suspect it is possible to define different rule > sets in URE, applying to different areas of knowledge contained within AGI's > memory, thus overcoming limitations of Gödel's incompleteness proof of a > logical system while retaining overall knowledge relative consistency. > > Does OpenCog support this kind of rule divergence? > > -- > 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/CAB5%3Dj6XvNt5yaXcpkTQXjFmpfxTaV_KxFFozHyJx5BnbuojHyg%40mail.gmail.com. -- Ben Goertzel, PhD http://goertzel.org “Words exist because of meaning; once you've got the meaning you can forget the words. How can we build an AGI who will forget words so I can have a word with him?” -- Zhuangzhi++ -- 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/CACYTDBdtVXHFNhsbYSJGjkzxGLZgapNQkhBq7JhO4_Y7YpOBHw%40mail.gmail.com.
