#minimalnegationoperators — Public Fediverse posts

@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

#ThemeOneProgram • #JetsAndSharks 1.5
• https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/

Reference —

#McClelland, J.L. (2015),
Explorations in #ParallelDistributedProcessing :
A Handbook of Models, Programs, and Exercises, 2nd ed. (draft),
#StanfordParallelDistributedProcessingLab.
• https://web.stanford.edu/group/pdplab/
#PDPHandbook Online —
• https://web.stanford.edu/group/pdplab/pdphandbook/
Section 2.3 —
• https://web.stanford.edu/group/pdplab/pdphandbook/handbookch3#x7-320002.3
Figure 2.1 —
• https://web.stanford.edu/group/pdplab/pdphandbook/jetsandsharkstable.png

#Logic #LogicalGraphs #Peirce
#CactusSyntax #LogicalCacti
#MinimalNegationOperators

#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

#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

#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