The problem, ID, is two-fold: 1) People are deeply confused by the likes of Popper about model selection, and have been so-confused ever since his noise about "falsification" overwhelmed Solomonoff's rigorous signal (indeed proof) about "information" and its implications for scientific induction from observations, hence prediction of observations via computation.* 2) Although one can reduce any computer's (UTM's) instruction set to any of a number of Directed Cyclic Graphs of (n-input) NOR nodes, the mathematics of such graphs have not been properly addressed. I suspect Matt is joking about doing an enwik9-scale contest based on DCGonNORs as that would obviously be impractical, even with the requirement that the graphs be Acyclic between the "problematic" (DCG) circuits. But I'm deadly serious about the importance of getting down to brass-tacks about Solomonoff Induction with a more rigorous metric for what we call "algorithmic information" than "number of bits in the program that outputs the data". It really boils down to the mathematics of combinational logic (SAT) but with the added "novelty" of being generalized to the "logic" of "This sentence is false." ie: DCGonNORs.
* I'll not derail this "causal" metaphysics (reality as computer simulation) with my own speculations that get into "final causation" although that is where I think things must _ultimately_ go to deal with the SDT half of AIXI. That's an Even Bigger Fish dwelling in one of the marine trenches and it has barely begun nibbling on my meditative bait. It's important to get people to become serious about their premises. At present that means getting serious about their causal metaphysics. On Fri, Oct 15, 2021 at 10:42 PM <[email protected]> wrote: > Then why would I do this contest instead of the Hutter Prize / LC contest > if I *still need to make an ANN* ? How does this contest change my ANN, > is not my ANN still exactly the SAME algo ???? This contest is making no > sense.... Can one use GPT on this contest and if not how do you expect them > to start over their AGI algo? And that makes no sense therefor, you need > GPT/ PPM/ CM, so it is the same algo no matter if use these NOR wire stuff > or not you mention... > *Artificial General Intelligence List <https://agi.topicbox.com/latest>* > / AGI / see discussions <https://agi.topicbox.com/groups/agi> + > participants <https://agi.topicbox.com/groups/agi/members> + > delivery options <https://agi.topicbox.com/groups/agi/subscription> > Permalink > <https://agi.topicbox.com/groups/agi/T728994814c1a40a0-M714bf8eb648f8f099f03ad41> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T728994814c1a40a0-Me334eb0c92db15911005b1a5 Delivery options: https://agi.topicbox.com/groups/agi/subscription
