"Bisumulation" would seem related to Solomonoff induction in that the induced Kolmogorov Complexity program is intended reproduce not only the history of observed states, but program that runs the universe (ie, the program that generating those observed states). Of course, in the case of the universe, it is simulating the simulator by containment (ie, as a submodel or subprocess).
The reason I bring this up should be obvious: If you intend on applying MeTTa to the "I" in "AGI", you need some sort of model selection criterion to prefer one MeTTa program over another (ie, a prior of come kind), which in the case of Solomonoff induction, is the size (complexity) of the induced program. Since MeTTa seems geared toward cyclic graphs, a measure of graph complexity seems to be in order. Of course, merely describing a graph is insufficient since there needs to be some minimal computation done at the nodes such as, oh, I don't know.... what about n-Input NOR gates? On Fri, Apr 22, 2022 at 8:15 AM Ben Goertzel <[email protected]> wrote: > > Reminder .... > > April 22, 2022, 7AM-8:30AM Pacific time: Alexey Potapov on "OpenCog > Hyperon's MeTTa Language as a Tool for Creating DSLs" ... > https://singularitynet.zoom.us/my/benbot . > > > On Fri, Apr 8, 2022, 00:05 Ben Goertzel <[email protected]> wrote: > >> AGI DIscussion Forum Session in 7 hours ... >> >> https://wiki.opencog.org/w/AGI_Discussion_Forum#Sessions >> >> April 8, 2022, 7AM-8:30AM Pacific time: Jonathan Warrell on "A >> meta-probabilistic-programming language for bisimulation of >> probabilistic and non-well-founded type systems" (aka an elegant >> general math formulation underlying MeTTa language) ... >> https://singularitynet.zoom.us/my/benbot . Background material: >> https://arxiv.org/abs/2203.15970 >> >> >> -- ben >> >> -- >> Ben Goertzel, PhD >> [email protected] >> >> "My humanity is a constant self-overcoming" -- Friedrich Nietzsche >> >> >> -- >> Ben Goertzel, PhD >> [email protected] >> >> "My humanity is a constant self-overcoming" -- Friedrich Nietzsc >> > *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/T3897b0a093d56727-Ma964694198bc6c35ddee268c> > ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T3897b0a093d56727-M4db850dcdc11ad603967cbf2 Delivery options: https://agi.topicbox.com/groups/agi/subscription
