Jon Awbrey · @Inquiry
85 followers · 291 posts · Server mathstodon.xyz
#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 and that proposition embodies 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
#logicalcacti #cactussyntax #Peirce #LogicalGraphs #logic #database #logicalconstraints #PropositionalCalculus #logicalformula #datastructure #cactusgraph #JetsAndSharks #ThemeOneProgram
Jon Awbrey · @Inquiry
82 followers · 269 posts · Server mathstodon.xyz
#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 and this proposition embodies all the #LogicalConstraints defining the Jets and Sharks #DataBase.
#Logic #LogicalGraphs #Peirce
#CactusSyntax #LogicalCacti
#MinimalNegationOperators
#MinimalNegationOperators #logicalcacti #cactussyntax #Peirce #LogicalGraphs #logic #database #logicalconstraints #PropositionalCalculus #logicalformula #datastructure #cactusgraph #traversalstring #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