mastouille.fr est l'un des nombreux serveurs Mastodon indépendants que vous pouvez utiliser pour participer au fédiverse.
Mastouille est une instance Mastodon durable, ouverte, et hébergée en France.

Administré par :

Statistiques du serveur :

582
comptes actifs

#dynamicsystems

0 message0 participant0 message aujourd’hui

New blog post! I review a dynamic systems model of pursuing happiness. Zerwas and Ford find that the system of happiness and goal pursuit can potentially lead to paradoxical effects. Pursuing happiness too intensely can make you less happy!

psychologytoday.com/us/blog/ho

@psychology
@socialpsych

Psychology TodaySystems Thinking and How Pursuing Happiness BackfiresWhat can flows and feedback teach us about chasing happiness?
Suite du fil

Differential Logic and Dynamic Systems • Review and Transition 1
oeis.org/wiki/Differential_Log

This note continues a previous discussion on the problem of dealing with change and diversity in logic-based intelligent systems. It is useful to begin by summarizing essential material from previous reports.

Table 1 outlines a notation for propositional calculus based on two types of logical connectives, both of variable \(k\)-ary scope.

• A bracketed list of propositional expressions in the form \(\texttt{(} e_1 \texttt{,} e_2 \texttt{,} \ldots \texttt{,} e_{k-1} \texttt{,} e_k \texttt{)}\) indicates that exactly one of the propositions \(e_1, e_2, \ldots, e_{k-1}, e_k\) is false.

• A concatenation of propositional expressions in the form \(e_1 ~ e_2 ~ \ldots ~ e_{k-1} ~ e_k\) indicates that all of the propositions \(e_1, e_2, \ldots, e_{k-1}, e_k\) are true, in other words, that their logical conjunction is true.

All other propositional connectives can be obtained in a very efficient style of representation through combinations of these two forms. Strictly speaking, the concatenation form is dispensable in light of the bracketed form but it is convenient to maintain it as an abbreviation of more complicated bracket expressions.

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
#BooleanFunctions #BooleanDifferenceCalculus #QualitativeChange
#MinimalNegationOperators #NeuralNetworkSystems #Semiotics

Differential Logic and Dynamic Systems • Overview
oeis.org/wiki/Differential_Log

❝Stand and unfold yourself.❞
— Hamlet • Francisco • 1.1.2

In modeling intelligent systems, whether we are trying to understand a natural system or engineer an artificial system, there has long been a tension or trade-off between dynamic paradigms and symbolic paradigms. Dynamic models take their cue from physics, using quantitative measures and differential equations to model the evolution of a system’s state through time. Symbolic models use logical methods to describe systems and their agents in qualitative terms, deriving logical consequences of a system’s description or an agent’s state of information. Logic-based systems have tended to be static in character, largely because we have lacked a proper logical analogue of differential calculus. The work laid out in this report is intended to address that lack.

This article develops a differential extension of propositional calculus and applies it to the analysis of dynamic systems whose states are described in qualitative logical terms.

The work pursued here is coordinated with a parallel application focusing on neural network systems but the dependencies are arranged to make the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DynamicSystems
#BooleanFunctions #BooleanDifferenceCalculus #QualitativeChange
#MinimalNegationOperators #NeuralNetworkSystems #Semiotics

oeis.orgDifferential Logic and Dynamic Systems • Overview - OeisWiki

Good evening #Fediverse :fediverse: ! It's time for my not-quite-daily #ConnectionList #Introduction #FollowFriday post, where I use my large number of followers to more closely connect the Fediverse together, and help people find their people in the #TwitterMigration.

Please meet:

@effye does #DevOps and #DuctTape, connecting together various systems. I've followed their work for a long time, huge fan.

@davidasboth is one half of the #HalfStackDataScience #podcast and is into #DataScience and #SoftwareEngineeering

@ConserveChange is a human #ecologist and #StoryTeller at #Guelph, and is host of the #SecondTransition #podcast. Interests in #Food #FoodSystems #ClimateAction #Science and #Sustainability

@ststefany is from 🇺🇦 and is into #epistemology, #ethics and #feminism. Writes in en and ua, for any #Ukrainian #українська speakers in your network.

@futilityfunc is a #DataScientist and interested in #ComplexityScience #Complexity and does #research on stochastic #GraphModels #DynamicSystems and #Cybernetics

@CIT is Carolin and they toot in both 🇩🇪 and 🇬🇧. Carolin studies #systems and #OrganisationDevelopment, #Anthropology and #Psychology #researcher

@monad is #Professor Paul Feigelfeld who works in #KnowledgeCultures at HBK #Braunschweig, Uni Vienna and Uni Basel. Researches 🇨🇳

That's it for tonight, don't forget to curate your own #ConnectionList ❤️

Good evening #Fediverse :fediverse:! In tonight's #Introduction #ConnectionList #TwitterMigration post, where I help to more richly connect the Fediverse, I'd like you to meet:

@unsw_ai is #UNSW #AI research centre 👋

@oj_gstrein is the Director of #DataScience and society at the University of #Groningen #researcher #academic 👋

@hollie is enthusiastic about #nature, #puns, the #IndieWeb, #reading, #sewing and #knitting (me, too Hollie! 🧶 👋 )

@futilityfunc is a #DataScience person who is interested in #complexity, #DynamicSystems, #systems and #cybernetics 👋

@mythopoetica is a Senior #Lecturer #researcher in #Literature and #CreativeWriting and is into #CriticalTheory 👋

@peridragon designs colourful #knitting patters and is into #history #biology and #StarTrek Knit long and prosper, Peridragon! 👋

@HackingDave is the #founder of Binary Defense and TrustedSec and works in #infosec and is a #hacker 👋

@Ellopunk is into #Linux 🐧, #infosec and is into #ThreatModeling 👋

@ErikC is an #academic #researcher at UniSA and is into #DigitalHumanities, #VirtualHeritage and #SeriousGames 👋

Don't forget to build your own #ConnectionList #FollowFriday so we can more richly connect the Fediverse ❤️