This time some of the MIRI (Singularity Institute) guys have discovered a fairly cool mathematical nugget, that relates a bit to OpenCog...
http://intelligence.org/files/DefinabilityTruthDraft.pdf What they show here is basically that some paradoxes of "reflection" in logical systems go away if one considers only statements with (open) interval truth values, rather than single-point truth values... This has direct implications for PLN, which uses imprecise (i.e. interval) truth values.... It shows that, in a sense, PLN can be reflective without spawning nasty Godel paradoxes.... It shows that one can define "truth within PLN" within PLN, without running into Godelian/Tarskian limitations.... Kinda cool... -- Ben -- Ben Goertzel, PhD http://goertzel.org "In an insane world, the sane man must appear to be insane". -- Capt. James T. Kirk "Emancipate yourself from mental slavery / None but ourselves can free our minds" -- Robert Nesta Marley ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
