Thank you for an answer. I never thoroughly investigated it, but from what I know about it, paraconsistent logic seems like it may be a good option to consider. I never thought of it like putting it at the roots of deductive systems, but when I look at it in that light, it certainly rings some inspirative bells.
Thanks again, ivan v. pon, 26. lis 2020. u 15:33 Ben Goertzel <[email protected]> napisao je: > 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 > . > -- 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%3Dj6Whj%2B4DeLVbJX2FYj44k%2BNvcZx_Cx8bCRW0X_Ym9_%2B2gg%40mail.gmail.com.
