FedSearch - Federated network search engine

Using #CactusGraphs or #MinimalNegations to implement pools of #MutuallyInhibitoryNeurons builds #NeuralArchitectures on substantially different foundations from current connectionist models. At a high level of abstraction, though, there is enough homology between the two orders to compare their performance on many of the same tasks. Thus I was able to try the program on several examples suggested by McClelland & Rumelhart.

#Logic

#logic #neuralarchitectures #mutuallyinhibitoryneurons #minimalnegations #CactusGraphs #JetsAndSharks #ThemeOneProgram

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

28 followers · 97 posts · Server mathstodon.xyz

Inquiry Into Inquiry - Differential Propositional Calculus • 3

#Differential Propositional Calculus • 3.4
• https://inquiryintoinquiry.com/2020/02/24/differential-propositional-calculus-3/

Table 7 summarizes the notations needed to describe ordinary propositional calculi in a systematic fashion.

Table 7. Propositional Calculus • Basic Notation
• https://inquiryintoinquiry.files.wordpress.com/2020/02/propositional-calculus-basic-notation.png

Applications —
#Cybernetics #SystemsTheory
#QualitativeDynamics
#DiscreteDynamics

#MinimalNegationOperators #CactusGraphs #BooleanFunctions #PropositionalCalculus #DifferentialLogic #LogicalGraphs #semiotics #logic #Peirce #DiscreteDynamics #QualitativeDynamics #systemstheory #cybernetics #differential

Last updated 2 years ago

Original post

Jon Awbrey · @Inquiry

27 followers · 90 posts · Server mathstodon.xyz

#DifferentialPropositionalCalculus • 3
• https://inquiryintoinquiry.com/2020/02/24/differential-propositional-calculus-3/

Formal Development —

The preceding discussion outlined the ideas leading to the #DifferentialExtension of #PropositionalLogic. The next task is to lay out the concepts and terminology needed to describe various orders of differential propositional calculi.