#minimalnegationoperators — Public Fediverse posts

#ThemeOneProgram • #JetsAndSharks 2
• https://inquiryintoinquiry.com/2022/08/30/theme-one-program-jets-and-sharks-2/

As we saw last time, Theme One reads the text file shown below and constructs a #CactusGraph #DataStructure in computer memory. The cactus graph represents a single #LogicalFormula in #PropositionalCalculus which embodies all the #LogicalConstraints defining the Jets and Sharks #DataBase.

Jets and Sharks • Log File
• https://inquiryintoinquiry.files.wordpress.com/2022/08/theme-one-guide-e280a2-jets-and-sharks-e280a2-log-file.png

#Logic #LogicalGraphs #Peirce
#CactusSyntax #LogicalCacti
#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.4
• https://inquiryintoinquiry.com/2022/08/25/theme-one-program-jets-and-sharks-1/

Displayed below is the text expression of a #TraversalString which Theme One parses into a #CactusGraph #DataStructure in computer memory. The cactus graph represents a single #LogicalFormula in #PropositionalCalculus which embodies all the #LogicalConstraints defining the Jets & Sharks #DataBase.

Log File
• https://inquiryintoinquiry.files.wordpress.com/2022/08/theme-one-guide-e280a2-jets-and-sharks-e280a2-log-file.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