Just a wild notion from me as a novice. By relying on probability for decision making, aren't you essentially confusing relationship with association? Point being; is association probabilistic, and if so, based on what criteria? If 'function of', therefore relationship?
________________________________ From: Ben Goertzel <[email protected]> Sent: Wednesday, 24 February 2021 11:25 To: AGI <[email protected]> Subject: [agi] Patterns of Cognition "Patterns of Cognition: Cognitive Algorithms as Galois Connections Fulfilled by Chronomorphisms On Probabilistically Typed Metagraphs" https://arxiv.org/abs/2102.10581 New draft paper that puts various OpenCog cognitive algorithms in a common mathematical framework, and connects them with implementation strategies involving chronomorphisms on metagraphs... **** It is argued that a broad class of AGI-relevant algorithms can be expressed in a common formal framework, via specifying Galois connections linking search and optimization processes on directed metagraphs whose edge targets are labeled with probabilistic dependent types, and then showing these connections are fulfilled by processes involving metagraph chronomorphisms. Examples are drawn from the core cognitive algorithms used in the OpenCog AGI framework: Probabilistic logical inference, evolutionary program learning, pattern mining, agglomerative clustering, pattern mining and nonlinear-dynamical attention allocation. The analysis presented involves representing these cognitive algorithms as recursive discrete decision processes involving optimizing functions defined over metagraphs, in which the key decisions involve sampling from probability distributions over metagraphs and enacting sets of combinatory operations on selected sub-metagraphs. The mutual associativity of the combinatory operations involved in a cognitive process is shown to often play a key role in enabling the decomposition of the process into folding and unfolding operations; a conclusion that has some practical implications for the particulars of cognitive processes, e.g. militating toward use of reversible logic and reversible program execution. It is also observed that where this mutual associativity holds, there is an alignment between the hierarchy of subgoals used in recursive decision process execution and a hierarchy of subpatterns definable in terms of formal pattern theory. **** -- Ben Goertzel, PhD http://goertzel.org “He not busy being born is busy dying" -- Bob Dylan ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/Ta5ed5d0d0e4de96d-Macaa619c4cd683c6d0336f7b Delivery options: https://agi.topicbox.com/groups/agi/subscription
