Logic Models

These models and simulations have been tagged “Logic”.

 An overview of Thomas A Goudge's Book on The Thought of CS Peirce Dover NY 1950 and Thomas Knight's Book Charles Peirce NY 1965. See also  causality insight

An overview of Thomas A Goudge's Book on The Thought of CS Peirce Dover NY 1950 and Thomas Knight's Book Charles Peirce NY 1965. See also causality insight

 Peircean process approach to Causation from Menno Hulswit's  article . See also Peirce thought  insight  

Peircean process approach to Causation from Menno Hulswit's article. See also Peirce thought insight 

 TRIVIAL TOY MODEL  How to transfer a environment value into an agent via acting and learning without loss. This is intuitively related to the Free Energy Principle -- where acting and perception are viewed as two sides of the same coin.     The desired behavior is for the agent to somehow perceive
TRIVIAL TOY MODEL
How to transfer a environment value into an agent via acting and learning without loss. This is intuitively related to the Free Energy Principle -- where acting and perception are viewed as two sides of the same coin.

The desired behavior is for the agent to somehow perceive via action -- undoing in some way the loss of information in the environment it caused.

Surely sensing the environment directly is the easiest approach, but we avoid it to explore other possibilities where an agent needs to act optimally on an environment but in so doing changes it as well. 
True = 1 (anything less than 1 is false) False = 0
True = 1 (anything less than 1 is false)
False = 0
Toy, to help understand what a conveyor store does.
Toy, to help understand what a conveyor store does.
Cette simulation est une version optimisée de l'eaurdinateur, dans laquelle on a utilisé l'influence d'un flux sur un autre pour économiser les réservoirs utilisés pour diviser par deux les flux de sortie des portes AND.   Nous n'avons malheureusement pas réussi à changer la couleur de l'état en fon
Cette simulation est une version optimisée de l'eaurdinateur, dans laquelle on a utilisé l'influence d'un flux sur un autre pour économiser les réservoirs utilisés pour diviser par deux les flux de sortie des portes AND.

Nous n'avons malheureusement pas réussi à changer la couleur de l'état en fonction de sa valeur. Celle-ci peut être changée dans le panneau de configuration, afin de tester des valeurs différentes.

On notera que pour obtenir un résultat correct, deux conditions sont nécessaires:
1°) Il faut attendre que les flux dans les portes se stabilisent, ce qui prend pas moins de 10 secondes (et qui reflète le délai de latence inhérent à tout circuit, qui correspond environ au nombre maximum de portes logiques traversées entre l'entrée et la sortie du circuit.
2°) Il faut utiliser la méthode de simulation basée sur une approximation de Runge-Kutta, sous peine de voir apparaître des oscillations parasites dans certaines portes qui rendent le résultat instable.


Le but de cette simulation est de montrer comment on peut utiliser un circuit hydraulique à effet de seuil (en l'occurrence un mécanisme de siphon) pour implémenter des fonctions logiques basées sur des flux hydrauliques     Nous allons utiliser ces fonctions pour construire un circuit arithmétique
Le but de cette simulation est de montrer comment on peut utiliser un circuit hydraulique à effet de seuil (en l'occurrence un mécanisme de siphon) pour implémenter des fonctions logiques basées sur des flux hydrauliques

Nous allons utiliser ces fonctions pour construire un circuit arithmétique capable de calculer en binaire la somme de deux nombres de 3 bits chacun, ce qui donne un résultat sur 4 bits.

Le circuit est basé sur un assemblage tout à fait classique de briques élémentaires, à savoir un demi-additionneur suivi de 2 additionneurs. pleins. Au cœur du circuit, on trouve une porte logique un peu particulière, capable de calculer en même temps le XOR et le AND des deux entrées. La retenue est obtenue en OR-ant la sortie des deux portes AND, dont le flux doit être réduit en introduisant un réservoir intermédiaire qui permet de diviser le flux en 2 parties égales.
Le résultat sur chaque bit est utilisé pour activer (par l'intermédiaire d'une action) un état en sortie.

Nous n'avons malheureusement pas réussi à changer la couleur de l'état en fonction de sa valeur. Celle-ci peut être changée dans le panneau de configuration, afin de tester des valeurs différentes.

On notera que pour obtenir un résultat correct, deux conditions sont nécessaires:
1°) Il faut attendre que les flux dans les portes se stabilisent, ce qui prend pas moins de 10 secondes (et qui reflète le délai de latence inhérent à tout circuit, qui correspond environ au nombre maximum de portes logiques traversées entre l'entrée et la sortie du circuit.
2°) Il faut utiliser la méthode de simulation basée sur une approximation de Runge-Kutta, sous peine de voir apparaître des oscillations parasites dans certaines portes qui rendent le résultat instable.


L'idée est de simuler le fonctionnement d'un siphon (vidange brusque d'un réservoir lorsqu'un certain seuil est atteint). Le flux de remplissage est basé sur une sinusoïde dont on peut régler l'amplitude et la fréquence (seule la partie positive de l'oscillation est utilisée).    Dans un second temp
L'idée est de simuler le fonctionnement d'un siphon (vidange brusque d'un réservoir lorsqu'un certain seuil est atteint). Le flux de remplissage est basé sur une sinusoïde dont on peut régler l'amplitude et la fréquence (seule la partie positive de l'oscillation est utilisée).

Dans un second temps, nous utiliserons ensuite l'idée du siphon pour construire un circuit logique hydraulique non trivial (en l'occurrence un additionneur).
Le but de cette simulation est de montrer comment on peut implémenter de manière hydraulique les différentes portes logiques (à 2 entrées)  susceptibles d'être utilisées pour construire des circuits logiques.    Les entrées sont alimentées par deux oscillateurs rectangulaires dont le second à une fr
Le but de cette simulation est de montrer comment on peut implémenter de manière hydraulique les différentes portes logiques (à 2 entrées)  susceptibles d'être utilisées pour construire des circuits logiques.

Les entrées sont alimentées par deux oscillateurs rectangulaires dont le second à une fréquence moitié du premier, de sorte à générer de manière cyclique les différentes combinaisons de bits en entrée.

Les résultats de la simulation montrent le fonctionnement des différentes portes, avec chaque fois un décalage temporel d'une unité entre l'état des entrées et la sortie.
Le but de cette simulation est de montrer comment on peut utiliser les portes logiques hydrauliques pour implémenter une bascule T (utilisable comme diviseur de fréquence par deux, comme nous allons l'illustrer).
Le but de cette simulation est de montrer comment on peut utiliser les portes logiques hydrauliques pour implémenter une bascule T (utilisable comme diviseur de fréquence par deux, comme nous allons l'illustrer).
Le but de cette simulation est de mettre en place des primitives qui génèrent des flux de diverses formes (sinusoïdales, rectangulaires,  triangulaires et en dent de scie) qui pourront ensuite être utilisées dans d'autres circuits hydrauliques plus complexes.
Le but de cette simulation est de mettre en place des primitives qui génèrent des flux de diverses formes (sinusoïdales, rectangulaires,  triangulaires et en dent de scie) qui pourront ensuite être utilisées dans d'autres circuits hydrauliques plus complexes.