Jon Awbrey · @Inquiry
96 followers · 407 posts · Server mathstodon.xyz@albertcardona @NicoleCRust @complexsystems @cogneurophys @PessoaBrain @SussilloDavid @carlosbrody @Neurograce @neuralreckoning @tyrell_turing @DrYohanJohn @cian @WiringtheBrain @tdverstynen @neuralengine
I'll just tag this for later when I've had a chance to collect my thoughts.
#WinnerTakeAll #Grossberg #CompetitionCooperation
#McClelland #Rumelhart #ParallelDistributedProcessing
#CactusLanguage #LogicalGraphs #MinimalNegationOperators
#MinimalNegationOperators #LogicalGraphs #CactusLanguage #paralleldistributedprocessing #Rumelhart #McClelland #competitioncooperation #grossberg #winnertakeall
Jon Awbrey · @Inquiry
87 followers · 306 posts · Server mathstodon.xyz#ThemeOneProgram • #JetsAndSharks 3
• https://inquiryintoinquiry.com/2022/09/03/theme-one-program-jets-and-sharks-3/
Given a representation of the Jets & Sharks universe in computer memory, we naturally want to see if the memory serves to supply the facts a well-constructed #DataBase should.
In their #PDPHandbook presentation of the Jets & Sharks example, #McClelland & #Rumelhart give several exercises for exploring the use of their #NeuralPool #MemoryModel on tasks of #Retrieval & #Generalization.
Exercise 2.1
• https://web.stanford.edu/group/pdplab/pdphandbook/handbookch3#x7-330001
#logic #generalization #retrieval #memorymodel #neuralpool #Rumelhart #McClelland #PDPHandbook #database #JetsAndSharks #ThemeOneProgram
Jon Awbrey · @Inquiry
81 followers · 259 posts · Server mathstodon.xyz
#ThemeOneProgram • #JetsAndSharks 1.3
• https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/
The manner of representation may be illustrated by transcribing a well-known example from the #ParallelDistributedProcessing literature (#McClelland and #Rumelhart 1988) and working through a couple of the associated exercises as translated into #LogicalGraphs.
#Logic #Peirce #Semiotics #Semiosis
#Grossberg #CompetitionCooperation
#GraphTheory #ModelTheory #ProofTheory
#LogicalCacti #MinimalNegationOperators
#MinimalNegationOperators #logicalcacti #ProofTheory #modeltheory #graphtheory #competitioncooperation #grossberg #Semiosis #semiotics #Peirce #logic #LogicalGraphs #Rumelhart #McClelland #paralleldistributedprocessing #JetsAndSharks #ThemeOneProgram
Jon Awbrey · @Inquiry
81 followers · 258 posts · Server mathstodon.xyz#ThemeOneProgram • #JetsAndSharks 1.2
• https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/
One way to do this is to interpret the blank or #UnmarkedState as the #RestingState of a #NeuralPool, the bound or #MarkedState as its #ActivatedState, and to represent a mutually inhibitory pool of #Neurons \(a,b,c\) by the proposition \(\texttt{(}a\texttt{,}b\texttt{,}c\texttt{)}.\)
#Logic #LogicalGraphs #Peirce
#Grossberg #McClelland #Rumelhart
#GraphTheory #ModelTheory #ProofTheory
#LogicalCacti #MinimalNegationOperators
#MinimalNegationOperators #logicalcacti #ProofTheory #modeltheory #graphtheory #Rumelhart #McClelland #grossberg #Peirce #LogicalGraphs #logic #neurons #activatedstate #markedstate #neuralpool #restingstate #unmarkedstate #JetsAndSharks #ThemeOneProgram
Jon Awbrey · @Inquiry
80 followers · 256 posts · Server mathstodon.xyz#ThemeOneProgram • #JetsAndSharks 1.1
• https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/
Example 5. Jets and Sharks
The #PropositionalCalculus based on #MinimalNegationOperators can be interpreted in a way resembling the logic of #ActivationStates and #CompetitionConstraints in one class of #NeuralNetwork models.
#Logic #LogicalGraphs
#Peirce #Semiotics #Semiosis
#Grossberg #McClelland #Rumelhart
#ParallelDistributedProcessing #PDP
#GraphTheory #ModelTheory #ProofTheory
#ProofTheory #modeltheory #graphtheory #pdp #paralleldistributedprocessing #Rumelhart #McClelland #grossberg #Semiosis #semiotics #Peirce #LogicalGraphs #logic #neuralnetwork #competitionconstraints #activationstates #MinimalNegationOperators #PropositionalCalculus #JetsAndSharks #ThemeOneProgram
Jon Awbrey · @Inquiry
22 followers · 51 posts · Server mathstodon.xyz
#ThemeOneProgram • #JetsAndSharks 1
• https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/
In developing the Theme One Program I tested successive versions of its #InferenceEngine for #PropositionalCalculus #ConstraintSatisfaction on examples of #Logic problems current in the literature of the day. #McClelland & #Rumelhart 's #PDPHandbook set one of the wittiest gems ever to whet one’s app-titude so I could hardly help but take it on. The linked text is a light revision of the way I set it up in the program’s User Guide.
#PDPHandbook #Rumelhart #McClelland #logic #ConstraintSatisfaction #PropositionalCalculus #InferenceEngine #JetsAndSharks #ThemeOneProgram